为什么在这种情况下，elisp局部变量会保留其值？

Question

有人可以向我解释一下这个非常简单的代码段中的情况吗？

(defun test-a ()

  (let ((x '(nil)))

    (setcar x (cons 1 (car x)))

    x))

(test-a)首次通话时，我得到了预期的结果：((1))。但让我吃惊，称这是一次，我得到((1 1))，((1 1 1))等等。为什么会这样呢？我期望(test-a)总是回来是错误的((1))吗？另请注意，在重新评估的定义之后test-a，返回结果将重置。

还请考虑此功能按我的预期工作：

(defun test-b ()

  (let ((x '(nil)))

    (setq x (cons (cons 1 (car x)) 

                  (cdr x)))))

(test-b)总是返回((1))。为什么不test-a和test-b等同？

Answer 1

我发现罪魁祸首的确是“引用”。这是它的文档字符串：返回参数，不对其求值。...警告：`quote'不会构造其返回值，而只是返回由Lisp读取器预先构造的值...报价应保留给不会被副作用修改的常量，除非您喜欢自修改代码。为了方便我也改写了(setq test-a       (lambda () ((lambda (x) (setcar x (cons 1 (car x))) x) (quote (nil)))))然后用(funcall test-a)看看'test-a是如何变化的。

Answer 2

看起来您的（let）中的'（nil）仅被评估一次。当您（设置汽车）时，每个调用都就地修改了相同的列表。如果我用（list（list））代替'（nil），则可以使（test-a）工作，尽管我认为有一种更优雅的方法。（test-b）每次都从cons单元构建一个全新的列表，这就是为什么它工作原理不同的原因。