关于Common Lisp符号与全局变量的疑问：SBCL中未定义变量解析

咱们来一步步拆解你遇到的这个Common Lisp里的困惑——核心是标准定义和SBCL具体实现行为的差异，以及对“全局变量”概念的不同解读。

1. 符号value属性与SBCL的变量分类 #

先看你做的操作：

CL-USER> (intern "*X*")
*X*
NIL
CL-USER> (boundp '*x*)
NIL
CL-USER> (setf (symbol-value '*x*) 1)
1
CL-USER> (boundp '*x*)
T

按照Hyperspec的描述，此时符号*x*已经绑定了值，确实对应一个全局变量的内容。但SBCL的describe却显示它是“undefined variable”：

CL-USER> (describe '*x*)
COMMON-LISP-USER::*X*
  [symbol]
*X* names an undefined variable:
  Value: 1
; No value
CL-USER>

这里的关键是：Hyperspec对“全局变量”的定义是宽泛的，但SBCL给全局变量做了更严格的分类。Hyperspec说“全局变量是动态变量或常量变量”，而当你只通过setf (symbol-value)绑定值时，这个符号确实有了全局的value，但它既不是被声明为special的动态变量，也不是常量——SBCL就把这种状态的变量标记为“undefined variable”。

这是SBCL的实现策略：它想提醒你，这个全局绑定没有明确的作用域类型（词法/动态），因为Common Lisp默认变量是词法作用域的，但全局层面的未声明变量显然不可能是词法的，所以SBCL用这个标记来提示你可能忘记了显式声明变量的类型。

2. (proclaim '(special *x*))的作用 #

当你执行这个声明后，就明确告诉SBCL：*x*是动态作用域的特殊变量，完全符合Hyperspec里“全局变量”的定义，所以describe就会正确显示它是“special variable”：

CL-USER> (proclaim '(special *x*))
; No value
CL-USER> (describe '*x*)
COMMON-LISP-USER::*X*
  [symbol]
*X* names a special variable:
  Value: 1
; No value
CL-USER>

3. 关于“非special且非常量的全局变量”的疑问 #

你提到的“存在非special且非常量的全局变量”看起来和Hyperspec的定义冲突，其实这是标准和实现扩展的差异：

• Hyperspec里的全局变量是严格定义的：只有动态（special）或常量变量才算；
• 但像SBCL这样的实现允许存在一种“过渡态”的全局绑定：符号有value，但未被声明为special或常量。这种变量是全局的，但不符合标准里的严格定义，属于实现提供的额外行为。

Common Lisp标准并没有禁止实现提供这类扩展，只是定义了必须支持的最小集合。SBCL的这个设计是为了给开发者提供调试提示，避免不小心创建了作用域不明确的全局变量。

4. “Undefined Variable”的含义 #

Hyperspec里确实没有这个术语，这是SBCL（以及部分其他实现）自己引入的概念，用来指代：

• 符号已经通过symbol-value绑定了值（boundp返回t）
• 但既不是special动态变量，也不是constant常量
• 同时也不是局部词法变量

简单说，就是一个“身份不明确的全局绑定”，SBCL用这个标记来提醒你：这个变量的作用域没有被显式声明，可能不符合你的预期。

总结一下 #

• 标准里的“全局变量”是严格的：只有动态（special）或常量变量才算；
• SBCL允许存在“已绑定但未声明类型”的全局符号，标记为“undefined variable”；
• 这种差异是因为标准允许实现提供额外的调试提示，这类变量的处理完全依赖具体实现；
• 如果你想严格符合Hyperspec的全局变量定义，显式声明special或constant就可以了。

内容的提问来源于stack exchange，提问作者N. Böck