为何Elisp循环内的宏仅会展开一次？

问题描述 #

我定义了如下宏：

(defmacro macro-print (str)
  (print "hello"))

运行以下代码：

(let ((i 0))
  (while (< i 3)
    (macro-print i)
    (setq i (+ 1 i))))

得到的输出是：

"hello"
nil

我原本预期会输出3个hello，因为while特殊形式会先判断条件，条件满足3次，所以认为(macro-print i)会被执行3次，每次展开都打印"hello"，但实际仅展开一次，这是为什么？我已知正确写法应为返回(list 'print ,i)，但希望纠正对Lisp模型的误解。

关键原因：混淆宏展开阶段与代码运行阶段 #

Lisp的宏和函数完全是两回事，核心区别就在执行时机：

• 宏是在代码求值前的展开阶段就执行，而非代码运行时。当你的代码里出现(macro-print i)，Lisp会先处理这个宏：调用macro-print的定义，把i作为参数传入，执行宏体里的(print "hello")——这就是你看到的那唯一一次"hello"输出。
• 宏的本职工作是生成可执行代码，但你的宏体现在只返回了(print "hello")的执行结果"hello"（一个字符串常量），而不是一段能在运行时执行的代码。所以展开后，你的while循环实际变成了这样：

  (let ((i 0))
    (while (< i 3)
      "hello"  ; 运行时只是个无操作的字符串常量
      (setq i (+ 1 i))))
  

• 运行这段展开后的代码时，循环确实执行了3次，但每次循环里的"hello"不会产生任何输出，最后while特殊形式返回nil，这就是你看到的第二个输出。

你提到的正确写法之所以有效，是因为它让宏返回了一段运行时要执行的代码：

(defmacro macro-print (str)
  `(print ,str))  ; 反引号+逗号拼接生成代码，展开后是(print i)

这种写法下，宏展开阶段不会执行print，只是把(macro-print i)替换成(print i)，等代码运行时循环执行3次，每次都会调用print，自然能得到你预期的3次输出。

内容的提问来源于stack exchange，提问作者Isabella