Common Lisp宏编译时展开特性及运行编译差异疑问

问题背景 #

Common Lisp中的宏是否会在编译阶段完全展开？我遇到了宏展开相关问题，已将其简化为如下最简示例（非实际业务需求，但可复现错误）：

宏定义代码：

(defmacro tester (f &rest args)
  (cond
    ((not (listp args))  `(,f ,args))
    ((= (length args) 1) `(,f ,(car args)))
    (t (loop for arg in args
             collect `(tester ,f ,@arg) into results
             finally (return `(list ,@results))))))

在REPL中执行以下代码时：

(tester (lambda (a) (+ 1 a)) (1 2) 2 3)

可得到预期结果 ((2 3) 3 4)；但将该代码包裹在函数中或尝试编译时，却出现如下编译错误：

Execution of a form compiled with errors.
Form:
(TESTER (LAMBDA (A) (+ 1 A)) . 1)
Compile-time error:
(TESTER (LAMBDA (A) (+ 1 A)) . 1) is not a proper list.
[Condition of type SB-INT:COMPILED-PROGRAM-ERROR]

为何该代码在REPL中可正常运行，却无法编译或放入函数定义中？

问题原因 #

1. 宏的编译期展开特性：Common Lisp的宏确实会在编译阶段完全展开，但你的宏实现中存在逻辑漏洞，导致编译时生成了不符合语法的宏调用。
2. 不当的拼接操作：当处理非列表类型的参数（比如示例中的2或3）时，代码中使用,@arg会将单个值直接拼接到列表尾部，生成(tester #<LAMBDA> . 2)这种非规范列表（improper list）。宏调用必须是规范列表，编译阶段会严格检查这一点，因此直接报错。
3. REPL与编译的执行差异：REPL采用解释执行，宏展开与代码执行是交织进行的，当生成非规范列表的宏调用时，后续展开逻辑（cond中的(not (listp args))分支）会处理这个异常情况；但编译阶段会先完成所有宏的展开，此时非规范列表的宏调用本身就违反语法规则，直接触发错误。

修复方案 #

修改宏逻辑，判断每个参数是否为列表后再决定是否使用拼接操作：

(defmacro tester (f &rest args)
  (cond
    ((not (listp args))  `(,f ,args))
    ((= (length args) 1) `(,f ,(car args)))
    (t (loop for arg in args
             collect (if (listp arg)
                         `(tester ,f ,@arg)
                         `(tester ,f ,arg))
             into results
             finally (return `(list ,@results))))))

修改后，处理非列表参数时会生成规范的宏调用(tester ,f ,arg)，无论在REPL还是编译环境中都能正常工作。

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