在 Lisp（Clojure、Emacs Lisp）中，列表和引用有什么区别？

Question

通过阅读 Lisp 的介绍性材料，我现在认为以下内容是相同的：

(list 1 2 3)

'(1 2 3)

但是，从我在 Clojure 和 Emacs Lisp 中使用引用形式时遇到的问题来看，它们不相同。你能告诉我有什么区别吗？

Answer 1

主要区别在于 quote 阻止对元素求值，而 list
不：

user=> '(1 2 (+ 1 2))
(1 2 (+ 1 2))
user=> (list 1 2 (+ 1 2))
(1 2 3)

出于这个原因（以及其他原因），在描述文字集合时使用向量是惯用的 clojure：

user=> [1 2 (+ 1 2)]
[1 2 3]

Answer 2

在Common Lisp中，引用的对象是常量文字数据。数据未进行评估。您不应修改此数据，因为后果未定义。可能的后果是：修改共享数据，尝试修改只读数据，可能会发出错误信号，它可能会正常工作，共享数据，...

文字列表：

'(1 2 3)

上面是一个常量列表，它将由读者构建并对其自身进行评估，因为它被引用了。如果它出现在 Lisp 代码中，编译器会以某种方式将该数据嵌入到 FASL 代码中。

(quote (1 2 3)) 是另一种编写方式。

(list 1 2 3)

这是对 Common Lisp 函数 LIST 的调用，带有三个参数 1、2 和 3。每个参数都会被评估。因为它们是数字，所以它们对自己进行评估。评估时，结果是一个全新的列表 (1 2 3)。

编译代码中的数据共享

想象一下在 Lisp 文件中存在以下四个定义：

(defparameter *list1* (list 1 2 3))
(defparameter *list2* (list 1 2 3))
(defparameter *list3* '(1 2 3))
(defparameter *list4* '(1 2 3))

然后我们编译并加载该文件。

! (eq *list3* *list4*) 现在可能计算为 T 或 NIL，具体取决于实现和编译器设置 !

原因：在 Common Lisp 中，如果文字列表 (!) 相似，Lisp 编译器可能会共享它们的结构。编译器检测到此处的列表相似，因此将仅分配一个列表。变量 *list1* 和 *list2* 都将指向这个列表。

上述两个列表的所有其他 EQ（对象相等）比较都将返回 NIL。

其他一些数据结构的表示法：

'(1 . 2)            and  (cons 1 2)            ; cons cell

'#(1 2 3)           and  (vector 1 2 3)        ; vector

'#S(FOO :a 1 :b 2)  and (make-foo :a 1 :b 2)   ; structure

一种是文字数据，另一种是构造此类数据结构的函数调用。

Answer 3

引用的列表（例如'(1 2 3)）应谨慎对待（通常为只读）。 （参见SO答案何时在Lisp中使用'quote和何时在 Lisp 中使用“quote”）。

(list 1 2 3) 将“cons”出一个新列表，独立于所有其他列表。

您可以在 手册中看到使用引用列表的陷阱示例nconc。

而且，您可能知道，当您调用 'list 时，参数显然会根据引用列表的内容进行评估。 'quote 采用单个参数，而 'list 则采用可变数量的参数。

(list (+ 1 2) 3)     -->  (3 3)
(quote ((+ 1 2) 3))  -->  ((+ 1 2) 3)

Answer 4

它们的关系类似于使用“函数名称”和“funcall”进行函数调用。

当您不知道在运行时将获得什么函数时，您可以使用funcall。

当您不知道在运行时可能获得什么元素时，您可以使用list。

---

对于像我这样因为反引号的存在而感到困惑并默认将其视为引用的人。

反引号不是quote，

它是一个扩展为quote、list的读取器宏或其他：

(macroexpand ''(1 2));=> '(1 2)
(macroexpand '`(1 2));=> '(1 2)
(macroexpand '`(1 ,2));=> (list 1 2)
(macroexpand '`(1 ,@foo));=> (cons 1 foo)
(macroexpand '`(1 ,@foo 2));=> (cons 1 (append foo '(2)))