Lisp-在宏中使用`'`和`list`

Question

我正在努力学习 Elisp，所以我正在阅读 Elisp 的 GNU 手册。到目前为止，一切都很容易理解，但是当我阅读宏部分时，我遇到了一些我很难理解的东西。我也找不到合适的解释：

例如，一个简单的将变量加 1 的宏程序：

(defmacro inc (var)
   (list 'setq var (list '1+ var)))

我不知道为什么setq 和1+ 前面有' 符号？这不会使它们成为文字元素列表吗？ （例如一个包含三个元素的列表（setq var (1+ var)）

为什么我不能写：

; this seems more reasonable to me
(defmacro inc (var)
   (setq var (1+ var))

我不太确定 list 在这里是如何工作的，在这里使用 list 对我来说似乎很奇怪。谁能给我解释一下？

Answer 1

这不会使它们成为文字元素列表吗？ （例如一个包含三个元素的列表(setq var (1+ var))

正是如此（如果我们用实际参数替换var）。

宏生成/返回代码。

这是宏的“扩展”阶段，通常发生在 elisp 文件的字节编译期间。

因此，就字节编译的 .elc 文件的内容而言，您在 .el 源文件中使用这些内容没有区别：

• (inc foo)
• (setq foo (1+ foo))

即在这两种情况下，字节编译的代码都是(setq foo (1+ foo))

在字节编译之外，当 .el 文件为 loaded 时，宏可能会被扩展，或者，如果失败，则在需要评估扩展代码之前按需扩展（但您应该始终假设扩展发生完全独立于后续评估）。