Common Lisp宏中动态构造lambda参数列表触发编译错误问题

日常开发中需要组合多个函数调用，其中首个调用要求传入lambda函数作为参数。计划通过编写宏封装这类高频使用场景，但在动态生成lambda函数的参数列表时遇到障碍，已有的公开讨论未提供适配该场景的解决方案。
该宏的预期调用形式如下：

(filter data (and (string= origin "USA") (> acceleration 10)))

其中origin和acceleration为传入数据的列名。

当前已实现辅助函数key-list，接收数据和查询体作为入参，返回谓词中涉及的所有变量组成的列表，调用示例：

CL-USER> (key-list vgcars '(and (string= origin "USA") (> acceleration 10)))
(ORIGIN ACCELERATION)

已验证该函数返回值格式、内容均正确。
现有宏的代码如下：

(defmacro filter (data &body body)
  (with-unique-names (variables predicate)
   `(let* ((,variables (key-list ,data ',@body))
1.         (,predicate (lambda ,variables ,@body)) ; 无法运行
2.      ;; (,predicate (lambda (origin acceleration) ,@body)) ; 可正常运行
3.         (,predicate (eval (read-from-string
                               (format nil "#.(lambda ~A ~A)" 
                                            ,variables ',@body)))
      (choose ,data
              (mask ,data ,variables ,predicate)
              t))))

三种写法的实际表现：

• 第1种为预期实现，运行时触发编译期错误
• 第2种硬编码lambda参数列表的写法可正常运行，但无法适配不同谓词的动态参数需求
• 第3种基于eval的实现可正常运行，但需要手动处理引号转义，存在代码注入风险

第1种写法触发的错误信息如下：

Compile-time error:
  The lambda expression has a missing or non-list lambda list:
  (LAMBDA #:VARIABLES1199 (AND (STRING= ORIGIN "USA") (> ACCELERATION 10)))

已验证运行期variables绑定的值确实是格式正确的列名列表，mask函数的参数替换逻辑在硬编码版本中可正常生效，尝试过,@variables等多种拼接写法均无法解决问题，该问题仅出现在通过宏替换构造lambda参数列表的场景。

报错的核心原因是对Common Lisp宏的展开时机存在认知偏差：

• 宏是编译期完成的语法转换机制，展开阶段仅能操作传入宏的语法树参数，不会执行展开结果里的运行时代码。
• 写法1里的,variables在宏展开时，只会被替换为with-unique-names生成的唯一gensym符号（即报错里的#:VARIABLES1199），不会替换为该符号在运行期被key-list赋值后的列表值。lambda是特殊操作符，要求参数列表位置必须是展开阶段就确定的字面量列表，不能是运行期才会求值为列表的变量，因此直接触发参数列表非法错误。
• 尝试的,@variables写法同样无效：宏展开阶段variables只是个独立的临时符号，不是运行期才能拿到的列名列表，拼接操作自然无法得到预期结果。

eval版本能运行的本质是把lambda的构造推迟到了运行期，等variables拿到实际值之后才拼接代码执行，但该方案存在代码注入风险、无编译期语法检查、运行性能差，不属于规范实现。

根据key-list是否需要依赖运行期的data元数据，选择对应方案即可：

方案1：宏展开期提取变量（性能最优，优先选择） #

如果key-list仅需解析传入的body语法树就能提取用到的列名（不需要读取运行期data的属性），直接把变量提取逻辑放到宏展开阶段执行，展开结果和手动硬编码参数列表的版本完全等价：

(defmacro filter (data &body body)
  (let* ((data-var (gensym "DATA"))
         ;; 宏展开阶段直接解析body语法树，拿到列名列表
         (var-list (key-list data body))
         (pred-var (gensym "PREDICATE")))
    `(let* ((,data-var ,data)
            (,pred-var (lambda ,var-list ,@body)))
       (choose ,data-var
               (mask ,data-var ',var-list ,pred-var)
               t))))

该方案没有额外运行时开销，编译器可以正常对lambda做类型检查和优化，是最符合Lisp宏设计思路的实现。

方案2：运行期动态绑定（适配需读取data元数据的场景） #

如果key-list必须读取运行期data对象的元数据（比如列顺序是data运行期才持有的属性），使用Common Lisp内置的progv做运行期动态符号绑定即可，完全不需要eval：

(defmacro filter (data &body body)
  (with-unique-names (var-list pred-var args)
   `(let* ((,var-list (key-list ,data ',@body))
           (,pred-var (lambda (&rest ,args)
                        ;; 将列名符号动态绑定到传入的对应位置参数
                        (apply #'progv ,var-list ,args
                          ',@body))))
      (choose ,data
              (mask ,data ,var-list ,pred-var)
              t))))

该方案保留了动态适配任意谓词的能力，无代码注入风险，性能远高于eval实现，行为和硬编码参数列表的版本完全一致。

内容的提问来源于stack exchange，提问作者CL-USER