当宏控制流在elisp中时

Question

when从subr.el获取宏的代码

(defmacro when (cond &rest body)
  (declare (indent 1) (debug t))
  (list 'if cond (cons 'progn body)))

在这里，最后一种形式很复杂，

(list 'if cond (cons 'progn body))

构造列表时，它已经对cond和body形式进行了评估吗？ 为什么程序员在一个地方使用list ，而在另一个地方使用cons ？ 他们都不都采用多种形式并列出清单吗？

(list 'if cond (.......))
(cons 'progn body)

Answer 1

宏对代码进行操作。 因此，当宏when展开时（即，调用了宏展开功能），符号cond和body绑定到您编写的表达式（符号或列表）上。

例如，如果您写

(when (plusp 1)
  (print 'yes)
  (+ 1 2 3))

使用绑定到以下参数的宏扩展调用：

cond = (plusp 1)
body = ((print 'yes) (+ 1 2 3))

因此表达

(list 'if cond (cons 'progn body))

体现为

(let ((cond '(plusp 1))
      (body '((print 'yes) (+ 1 2 3))))
  (list 'if cond (cons 'progn body)))
==> (if (plusp 1) (progn (print (quote yes)) (+ 1 2 3)))

这正是您想要的。

最后， list和cons完全不同，请阅读其文档（ 清单RET ＆c）和高级手册 。

Answer 2

list和cons之间的区别：

(list 'progn '((foo) (bar)))
;;=> (progn ((foo) (bar)))

(cons 'progn '((foo) (bar)))
;;=> (progn (foo) (bar))