common-lisp - Common Lisp 中 `set` 、 `setq` 和 `setf` 之间的区别？

Question

Common Lisp 中的“set”、“setq”和“setf”有什么区别？

Answer 1

最初，在 Lisp 中，没有词法变量——只有动态变量。和没有 SETQ 或 SETF，只有 SET 函数。

现在写成:

(setf (symbol-value '*foo*) 42)

写为:

(set (quote *foo*) 42)

最终缩写为 SETQ(SET 引用):

(setq *foo* 42)

然后出现了词法变量，SETQ 也开始用于对它们进行赋值——因此它不再是 SET 的简单包装。

后来，有人发明了 SETF(SET Field)作为给数据结构赋值的通用方法，以反射(reflect)其他语言的左值:

x.car := 42;

会写成

(setf (car x) 42)

为了对称性和通用性，SETF还提供了SETQ的功能。在这一点上，可以正确地说 SETQ 是低级原语，而 SETF 是高级操作。

然后符号宏发生了。为了使符号宏可以透明地工作，人们意识到，如果分配给的“变量”确实是符号宏，则 SETQ 必须像 SETF 一样工作:

(defvar *hidden* (cons 42 42))
(define-symbol-macro foo (car *hidden*))

foo => 42

(setq foo 13)

foo => 13

*hidden* => (13 . 42)

所以我们来到了今天:SET 和 SETQ 是旧方言的萎缩遗骸，并且可能会从 Common Lisp 的最终继承者中被淘汰。