能否在Common Lisp中定义供defmacro使用的syntax-rules宏？

完全可以在Common Lisp中实现一个模仿Scheme syntax-rules 行为的宏，让它生成能被defmacro直接读取的代码列表。Scheme的syntax-rules基于模式匹配定义宏展开规则，而Common Lisp的defmacro本身支持返回任意合法的代码列表，因此我们可以通过编写一个解析模式与模板的宏来实现这一需求。

核心思路 #

要实现目标，我们的syntax-rules宏需要完成两个核心工作：

• 匹配传入的宏参数结构，对应Scheme中syntax-rules的模式部分
• 根据匹配到的模式，生成对应的展开代码，对应Scheme中的模板部分

对于基础场景（比如你示例中的and宏），可以先实现一个简化版的syntax-rules，处理基本的模式匹配和...可变参数展开。

示例实现与使用 #

首先是一个简化的syntax-rules宏实现：

(defun expand-template (template args)
  ;; 处理模板中的...展开逻辑
  (cond
    ((eq template '...) args)
    ((atom template) template)
    (t (cons (expand-template (car template) (when (listp args) (car args)))
             (expand-template (cdr template) (when (listp args) (cdr args)))))))

(defmacro syntax-rules ((&rest literals) &rest clauses)
  (let ((macro-args (gensym "ARGS")))
    `(let ((,macro-args &rest))
       (cond
         ,@(loop for ((pattern . template)) in clauses
                 for pattern-with-name = (cons '_ pattern)
                 collect `((equal ',pattern-with-name (cons '_ ,macro-args))
                           ',(expand-template template (cdr pattern-with-name))))))))

然后就可以按照你预期的方式定义and宏：

(defmacro and (&rest args)
  (syntax-rules ()
    ((_) t)
    ((_ x) x)
    ((_ x y) (if x (if y y nil) nil))
    ((_ x y ...) (if x (and y ...) nil))))

说明 #

这个简化版实现仅处理了基础的模式匹配和...展开，如果需要支持Scheme syntax-rules的全部特性（比如 hygienic宏、字面量匹配、更复杂的模式嵌套），则需要更复杂的代码逻辑，但对于大多数小型宏定义场景，这个简化版本已经足够使用。

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