Lisp：报价的评估

Question

以下哪个表达式的 Lisp 语法是正确的？

(+ 1 (quote 1))
==> 1 (???)
(+ 1 (eval (quote 1))
==> 2

我目前正在编写自己的 lisp 解释器，不太确定如何正确处理引号。我见过的大多数 Lisp 解释器都将这两个表达式计算为“2”。但是，难道不应该根本不评估引用，从而只有第二个才是合法的表达式吗？那为什么它还能起作用呢？这是某种语法糖吗？

Answer 1

除非有特殊形式，大多数 Lisp 首先计算参数，然后应用函数（因此出现了 eval-and-apply 短语）。

您的第一个表单 (+ 1 '1) 将首先评估其参数 1 和 '1。常量数字计算自身，而引用计算其引用的内容，因此您需要将 + 应用于 1 和 1，产生<代码>2。

eval: (+ 1 (quote 1))
eval 1st arg:  1 ==> 1
eval 2nd arg: '1 ==> 1
apply: (+ 1 1) ==> 2

第二种形式类似，不带引号的 1 只会执行一次 eval ，再次产生 1：

eval: (+ 1 (eval '1))
eval 1st arg: 1 ==> 1
eval 2nd arg: (eval '1)
  eval arg:    '1 ==> 1
  apply: (eval 1) ==> 1
apply: (+ 1 1) ==> 2

Answer 2

数字会自行求值，因此 (quote 1) 与 1 相同。