Common Lisp 的宏

在 Common Lisp 中，宏通过 defmacro​ 来定义。宏允许你在代码编写时生成代码，这在需要在编译时进行代码转换或生成时非常有用。以下是宏的定义和使用方法。

定义宏

使用 defmacro​ 定义宏的基本语法如下：

(defmacro macro-name (parameters)
  "Optional documentation string."
  body)

示例

下面是一个简单的示例，展示了如何定义和使用宏：

1. 定义一个宏：

   (defmacro my-when (condition &rest body)
     `(if ,condition
          (progn ,@body)))
   

   这个宏 my-when​ 实现了类似于 if​ 的行为，但只在条件为真时执行一系列表达式。

2. 使用宏：

   (my-when (> 5 3)
     (print "5 is greater than 3")
     (print "This will execute"))
   

   上述代码在条件为真时将打印两条消息。

关键点

• 反引号（`）和逗号（,） ：在宏体中，通常使用反引号来构造返回的代码，并使用逗号来插入变量的值。
• ​ ​@​ ​ 符号：在宏中，@​ 用于展开一个参数列表（如 &rest​）为多个参数。

在 Common Lisp 中，&rest​、progn​ 和逗号的用法各有其特定的含义和功能：

1. &rest​

• 含义：&rest​ 是一个参数标记，用于接收可变数量的参数。它将所有剩余的参数收集到一个列表中。
• 示例：在宏定义中，&rest body​ 表示宏可以接受任意数量的后续表达式，并将它们放入一个名为 body​ 的列表中。

2. progn​

• 含义：progn​ 是一个特殊形式，用于在一个代码块中顺序执行多个表达式。

• 功能：progn​ 会按顺序执行其所有子表达式，并返回最后一个表达式的值。

• 示例：

  (progn
    (print "First")
    (print "Second"))  ; 返回 "Second"
  

3. 逗号 (，​)

• 含义：在宏定义中，逗号用于插入变量的值。它告诉 Lisp 在生成代码时应替换为该变量的值。

• 示例：

  `(if ,condition ...)  ; 这里的 `,condition` 会在宏展开时替换为实际的条件
  

总结

• ​&rest​ 用于接收可变数量的参数。
• ​progn​ 用于顺序执行多个表达式。
• 逗号用于在宏展开时插入变量的值。

这些特性使得你可以灵活地定义和使用宏。