CLISP与SBCL闭包及词法变量处理差异的疑问解析

核心原因：变量的特殊化（Specialization） #

问题出在你之前定义的全局变量x——当你用defparameter定义x时，它被声明为特殊变量（动态作用域变量），而非常量词法变量。

在Common Lisp中：

• 用defparameter/defvar定义的全局变量默认是特殊变量，会启用动态作用域。
• 当闭包中的变量名与某个特殊变量同名时，Lisp会优先绑定到动态作用域的特殊变量，而不是词法作用域的局部变量——除非你显式声明局部变量为词法变量。

为什么CLISP看起来“正常”？

CLISP在REPL中对未声明的全局变量处理略有不同：如果你只是直接使用x而没通过defparameter/defvar定义它，它会被当作词法变量。但一旦你用defparameter定义了x，CLISP也会和SBCL一样，闭包会引用动态作用域的x。你之前在CLISP测试时，可能还没定义过全局的x哈希表，所以闭包正常捕获了let中的词法x。

验证与修复方法

1. 验证全局x的特殊属性：

   (specialp 'x) ; 返回T，说明x是特殊变量
   

2. 显式声明局部x为词法变量：

   (defparameter *foo* (let ((x 5))
                         (declare (notspecial x))
                         (lambda ()
                           x)))
   

   此时调用(funcall *foo*)会返回5，因为闭包明确绑定了词法作用域的x。
3. 避免全局与局部变量同名：

   (defparameter *foo* (let ((y 5))
                         (lambda ()
                           y)))
   

闭包与作用域关键知识点 #

• 词法作用域：闭包捕获的是定义它时所在环境中的变量，变量绑定由代码文本结构决定，与调用时的环境无关。
• 动态作用域：特殊变量的绑定由调用时的环境决定，闭包会使用当前动态环境中的值，而非定义时的词法值。
• 全局变量默认是特殊变量，这是Common Lisp的设计规则，用于支持动态作用域场景（如全局配置、上下文切换）。

内容的提问来源于stack exchange，提问作者Tina Russell