为什么这个 Common Lisp 宏不起作用？书上的答题卡错了吗？

Question

我正在尝试通过Common Lisp：符号计算的简单介绍这本书来学习Common Lisp。此外，我正在使用 SBCL、Emacs 和 Slime。

在第 14 章，最后一章，作者介绍了宏。出现以下问题：

编写一个名为 VARIABLE-CHAIN 的宏，它接受任意数量的 输入。表达式(VARIABLE-CHAIN A B C D) 应该扩展为 将A 设置为’B、B 设置为’C 并将C 设置为’D 的表达式。

答题卡是：

从pdf复制并粘贴到这里：

(defmacro variable-chain (&rest vars)
 ‘(progn 
    ,@(do ((v vars (rest v))
           (res nil))
          ((null (rest v)) (reverse res))
        (push ‘(setf ,(first v) ’,(second v))
               res))))

在 Emacs 中，我使用了 hack 来删除智能引号。将它粘贴到 Emacs 中，我得到：

(defmacro variable-chain (&rest vars)
  '(progn
     ,@(do ((v vars (rest v))
            (res nil))
           ((null (rest v)) (reverse res))
         (push '(setf ,(first v)
                      ',(second v))
                res))))

很遗憾，我无法将其编译为 Slime 的 REPL，它会引发错误：

> READ error during COMPILE-FILE: Comma not inside a backquote.

我尝试将'(progn 更改为：

`(progn

但它也不起作用："comma not inside a backquote"。

我做错了吗？还是答题卡不对？

谢谢。

Answer 1

您还需要更改另一个：

(defmacro variable-chain (&rest vars)
  `(progn
 ;; this one you did change
     ,@(do ((v vars (rest v))
            (res nil))
           ((null (rest v)) (reverse res))
         (push `(setf ,(first v)
           ;; ^^^ also need to change this one
                      ',(second v))
                res))))

‘ 是反引号，而 ’ 是常规引号，但是您的“hack”错误地将它们都变成了常规引号 ' 字符：

(defmacro variable-chain (&rest vars)
 ‘(progn 
 ;; backquote
    ,@(do ((v vars (rest v))
           (res nil))
          ((null (rest v)) (reverse res))
        (push ‘(setf ,(first v) ’,(second v))
          ;; backquote         quote
               res))))