为什么这个函数每次都返回不同的值？

Question

有人可以解释以下行为吗？具体来说，为什么函数每次都返回不同的列表？为什么每次调用函数时都没有将some-list初始化为'(0 0 0)？

(defun foo ()
  (let ((some-list '(0 0 0)))
    (incf (car some-list))
    some-list))

输出：

> (foo)
(1 0 0)
> (foo)
(2 0 0)
> (foo)
(3 0 0)
> (foo)
(4 0 0)

谢谢！

编辑：

另外，假设我希望函数每次都输出'(1 0 0)，那么推荐的实现这个函数的方法是什么？

Answer 1

'(0 0 0) 是一个文字对象，它被假定为一个常量（尽管不受修改保护）。因此，您每次都在有效地修改同一个对象。要在每个函数调用中创建不同的对象，请使用 (list 0 0 0)。

因此，除非您知道自己在做什么，否则您应该始终仅将文字列表（如 '(0 0 0)）用作常量。

Answer 2

附带说明，在 sbcl REPL 中定义此函数会收到以下警告：

  caught WARNING:
    Destructive function SB-KERNEL:%RPLACA called on constant data. 
    See also: 
      The ANSI Standard, Special Operator QUOTE 
      The ANSI Standard, Section 3.2.2.3

这很好地暗示了手头的问题。

Answer 3

'(0 0 0) 在代码中是文字数据。修改此数据具有未定义的行为。 Common Lisp 实现可能不会在运行时检测到它（除非数据例如放置在某些只读内存空间中）。但它可能会产生不良影响。

• 您会看到，这些数据可能（并且经常）在同一函数的各种调用之间共享

• 一个更微妙的可能错误是：Common Lisp 已经定义了各种优化，这些优化可以由编译器完成。例如允许编译器重用数据：

例子：

(let ((a '(1 2 3))
      (b '(1 2 3)))
  (list a b))

在上面的代码 sn-p 中，编译器可能会检测到a 和b 的文字数据是EQUAL。然后它可能使两个变量都指向相同的文字数据。修改它可能会起作用，但是从 a 和 b 可以看到更改。

总结： 文字数据的修改是几个细微错误的来源。如果可能的话，避免它。然后你需要cons 新的数据对象。 Consing 通常意味着在运行时分配新的、新的数据结构。

Answer 4

想自己写一篇，但在网上找到了一篇不错的：

CommonLisp 具有一流的函数，即函数是对象 可以在运行时创建，并作为参数传递给其他函数。 --AlainPicard 这些一流的函数也有自己的状态，所以它们是函子。所有 Lisp 函数都是函子；没有 “只是代码”和“函数”的函数之间的分离 对象”。状态采用捕获的词法变量的形式 绑定。您不需要使用 LAMBDA 来捕获绑定；一种 顶级的 DEFUN 也可以做到：(let ((private-variable 42)) (defun 富 () ...))

代替 ... 的代码在其词法中看到私有变量 范围。此变量的一个实例与该变量相关联 并且只有全局绑定到符号 FOO 的函数对象；这 在计算 DEFUN 表达式时捕获变量。 然后，此变量的作用类似于 C 中的静态变量。或者， 或者，您可以将 FOO 视为具有 “实例变量”。 --KazKylheku

参考 http://c2.com/cgi/wiki?CommonLisp