使用“setf”创建特殊变量是否有效？

Question

看来我可以使用setf 来创建特殊变量。例如，如果我启动 REPL 并输入(setf x 123)，则会创建一个特殊变量x。 CLISP 和 ECL 没有错误。 SBCL 发出警告 (undefined variable: COMMON-LISP-USER::X)，但无论如何都会创建特殊变量。 setf 是创建特殊变量的有效方法吗？

Answer 1

使用setf 创建新变量无效。 HyperSpec 非常清楚setf 是only intended to update existing variables：

setf 将place 的值更改为newvalue。

(setf place newvalue) 扩展为一个更新表单，将评估newvalue 的结果存储到place 引用的位置。

setf 用于更新地点。没有指定尝试使用 setf 更新不存在的地点的值的行为。

在讨论分配的部分，CLTL2 说了更多：

这种更改不同于建立新的绑定。用于建立新的变量绑定的构造在第 7.5 节中描述。​​

虽然这似乎可行，但您不能依赖它。它通常在 REPL 中有效，如果您想在 REPL 中使用setf 这种方式也可以，但您不应该在任何程序中这样做。

Answer 2

其实有点棘手。

这是 Common Lisp 中未指定的内容之一。很遗憾。

LispWorks：

CL-USER 61 > (setf foo 1)
1

CL-USER 62 > (defun bar () foo)
BAR

CL-USER 63 > (bar)
1

CL-USER 64 > (let ((foo 2))
               (bar))
1

let 中的最后一个 foo 使用词法绑定，因此不认为它是特殊的。

在(setf foo 1) 和(defun bar () foo) 的形式中，变量foo 被特定的Lisp 实现假定 是特殊的，它甚至可以被setf 声明为特殊的（- > 大多数实现都没有）。

以上let 形式返回1 还是2 在Common Lisp 语言标准中未指定。不过，大多数实现都会返回 1。

下一步：

CL-USER 65 > (let ((foo 2))
               (declare (special foo))
               (bar))
2

上面我们看到foo里面bar的使用其实是在let里面使用foo的动态绑定。

基本上未指定设置未定义变量的确切效果。可以假设变量是否特殊。大多数实现都喜欢NOT 声明它特殊，这样变量的进一步使用必须是特殊的。

但变量是否特殊，以及使用它的确切效果，实际上在 Common Lisp 语言标准中是未定义的。

大多数实现都同意

1. setf 设置一个未定义的变量只会改变符号的符号值

2. 设置和检索变量是假设一个特殊变量

3. 通过let（或类似方法）重新绑定变量不会创建特殊变量

4. 编译器（如果使用）将警告未定义变量和/或假设特殊变量。

默认不同意的一个实现是 CMUCL -> setf 也将变量声明为特殊的，类似于 defparameter 所做的。

有关一般样式规则，请参阅ad absurdum 答案的最后一段。