当宏观控制在elisp中流动时

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)

sds.. 5

宏对代码进行操作.因此,当宏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完全不同,请阅读他们的文档(C-h f list RET&c)和精细手册.

宏对代码进行操作.因此,当宏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完全不同,请阅读他们的文档(C-h f list RET&c)和精细手册.