列出 gensym 符号不在宏内部评估

Question

我正在尝试编写一个宏，它采用变量列表和代码体，并确保在代码体执行后变量恢复到其原始值（Paul Graham 的 ANSI Common Lisp 中的练习 10.6)。

但是，我不清楚为什么我的 gensym 会按照我的预期在一个地方进行评估，而不是另一个类似的地方（注意：我知道有更好的解决方案。我只是想弄清楚为什么评估的差异）。

这是lst gensym 计算为传递给mapcar 的lambda 内的列表的第一个定义：

(defmacro exec-reset-vars-1 (vars body)
  (let ((lst (gensym)))
    `(let ((,lst ,(reduce #'(lambda (acc var) `(cons ,(symbol-value var) ,acc))
                          vars
                          :initial-value nil)))
         ,@body
         ,@(mapcar #'(lambda (var) `(setf ,var (car ,lst)))
                   vars))))

虽然它完全按照我的预期工作，但它不是练习的正确解决方案，因为我在尝试重置值时总是抓住lst 的第一个元素。我真的想映射超过 2 个列表。所以现在我写：

(defmacro exec-reset-vars-2 (vars body)
  (let ((lst (gensym)))
    `(let ((,lst ,(reduce #'(lambda (acc var) `(cons ,(symbol-value var) ,acc))
                          vars
                          :initial-value nil)))
         ,@body
         ,@(mapcar #'(lambda (var val) `(setf ,var ,val))
                   vars
                   lst))))

但现在我收到一条错误消息，提示 #:G3984 不是列表。如果我用(symbol-value lst) 替换它，我会收到一条错误消息，说变量没有价值。但为什么不呢？为什么它在lambda 中的setf 内有一个值，而不是作为传递给mapcar 的参数？

Answer 1

在宏扩展时，您尝试映射 lst 的值，这是当时的符号。所以这是没有意义的。

试图获取符号值也是没有意义的，因为lst 的绑定是词法的，而symbol-value 不是访问它的方法。其他绑定当时不可用。

显然lst 在宏扩展时有一个值：一个符号。这就是您在 lambda 中看到的内容。

您需要明确在宏展开时计算哪些值以及在运行时计算哪些值。

关于命名的建议：

• lst 在 Lisp 中是个糟糕的名字，使用 list
• 名称lst 没有意义，因为它的值不是一个列表，而是一个符号。我称之为list-variable-symbol。看起来很长，不是吗？但这要清楚得多。您现在会认为它是一个符号，用作保存列表的变量的名称。

Answer 2

我很确定你想多了。想象一下：

(defparameter *global* 5)
(let ((local 10))
  (with-reset-vars (local *global*)
    (setf *global* 20)
    (setf local 30)
    ...))

我想扩展很简单：

(defparameter *global* 5)
(let ((local 10))
  (let ((*global* *global*) (local local))
    (setf *global* 20)
    (setf local 30)
    ...)
  (print local)) ; prints 10
(print *global*)  ; prints 5 

let 自己进行重置，因此您会看到宏应该非常简单，只需使用 let 进行影子绑定，除非我误解了分配。

您过于复杂的宏会做一些坏事。就像获取全局符号编译时间的值一样，这会将它们重置为使用 this 的函数的时间，而不是在正文之前。