Common Lisp运行时修改词法环境的方法及相关技术疑问

核心问题 #

能否通过编程方式在运行时操作词法环境？比如用《LOL-book》里的let-over-lambda方式创建闭包后，如何给函数的词法环境添加新变量绑定(bar "bar")和新函数print-bar？示例代码如下：

(use-package :sb-cltl2)

(let ((foo "foo"))
  (defun print-foo ()
    (format t "Foo: ~a~%" foo)))

后续疑问 #

词法闭包仅在执行期间存在于栈中（类似C语言的激活记录），还是作为堆上的真实对象在应用生命周期内持久存在？求通用指引。

尝试过的方法与困惑 #

1. CLTL2环境扩展：研究过相关工具，但几乎所有函数/宏都要求传入环境参数，却找不到获取现有环境的途径；测试define-declaration时，无法理解其返回的alist与环境、处理程序的关联逻辑。
2. augment-environment与enclose测试：
   创建了一个词法环境：

   (defvar myenv (augment-environment nil :variable '(foo bar)))
   

   尝试用它封装lambda时，发现修改的是全局环境而非词法环境：

   (defun print-bar ()
     (funcall
      (enclose '(lambda ()
                 (setf bar "bar")
                 (format t "Bar: ~a~%" bar)) myenv)))
   

   调用print-bar后，全局的bar也被修改了。
3. cl-environments库测试：
   代码如下，同样修改了全局环境而非目标词法环境：

   (defun print-foo ()
     (in-lexical-environment (myenv)
       (setf foo "Foo!")
       (format t "Foo: ~a~%" foo)))
   

4. 查看SBCL源码：function-information和variable-information的实现非移植且不可靠。

1. 运行时修改现有闭包词法环境的可行性 #

标准Common Lisp不支持在运行时修改或扩展已存在闭包的词法环境。闭包的词法环境是在创建它的那一刻就固定的，属于编译/创建时的产物，运行时无法动态给已有闭包添加新绑定。你用let-over-lambda创建的print-foo，其词法环境仅包含foo，无法事后添加bar或print-bar。

2. 闭包的存储位置 #

通用规则：闭包是堆上的持久对象，只要有引用指向它，就不会被垃圾回收。它不是栈上的激活记录——栈帧仅在函数执行期间存在，而闭包会捕获所需的词法变量（若变量原本在栈上，实现会自动将其移到堆上，即“逃逸分析”后的装箱），因此闭包本身的生命周期和普通堆对象一致。

3. 为什么你的CLTL2尝试没生效 #

CLTL2的环境工具（augment-environment、enclose等）是给编译期工具用的，比如编写宏时构造编译环境，而非修改运行时的闭包环境。你创建的myenv是编译期的符号信息集合，没有实际的运行时存储位置；当enclose处理字面量lambda时，未找到bar的词法绑定，就会默认将其当作全局变量处理，导致修改了全局环境。

4. 替代方案：显式模拟可扩展环境 #

如果需要动态扩展“环境”，不要依赖词法环境，而是用显式对象模拟，比如哈希表、plist或自定义结构体：

(let ((env (list :foo "foo")))
  (defun print-foo ()
    (format t "Foo: ~a~%" (getf env :foo)))

  (defun add-bar ()
    (setf (getf env :bar) "bar"))

  (defun print-bar ()
    (format t "Bar: ~a~%" (getf env :bar))))

这种方式可以随时给env添加新绑定，所有操作该env的函数都能访问到，是Common Lisp实现动态可扩展环境的常规方式。

5. CLTL2的正确用法 #

CLTL2环境主要用于宏展开阶段，比如编写宏时获取当前绑定信息，或构造新环境编译代码：

(defmacro with-foo (value &body body)
  (let ((new-env (augment-environment nil :variable '((foo)))))
    `(let ((foo ,value))
       ,(enclose `(progn ,@body) new-env))))

这是编译期操作，用于指导宏展开后的代码编译，而非运行时修改已有函数的环境。

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