Common Lisp中let变量为何在新迭代中保留修改值？

核心原理：LET的作用域与函数调用逻辑 #

在Common Lisp中，let定义的变量是函数调用级别的局部变量，正常情况下每次调用函数时都会重新创建并初始化。你遇到的变量保留上一次状态的情况，几乎都是代码中存在以下常见错误：

可能的错误场景分析 #

• 误用全局变量定义：如果checks是用defvar或defparameter定义的，那它属于全局动态变量，每次修改都会永久保留状态，和函数调用无关。示例：

  ; 错误写法：全局变量
  (defvar *checks* nil)
  (defun check-integrity ()
    (push "test" *checks*)
    *checks*)
  

  每次调用check-integrity，*checks*都会累积元素，因为它是全局作用域的变量。

• 闭包意外捕获外部变量：如果check-integrity是嵌套在其他函数内定义的，且checks是外部函数的let变量，闭包会捕获这个变量并共享同一个实例。示例：

  (defun make-checker ()
    (let ((checks nil))
      (lambda ()
        (push "test" checks)
        checks)))
  
  ; 错误用法：复用同一个闭包实例
  (defvar *checker* (make-checker))
  (defun check-integrity ()
    (funcall *checker*))
  

  这里每次调用check-integrity都会调用同一个闭包，checks自然会保留之前的修改。

• LET的位置错误：如果let不是定义在check-integrity函数的内部顶层，而是在函数定义的外部，会导致变量成为函数的闭包变量，而非每次调用都重新初始化。示例：

  ; 错误写法：LET在函数外部，变量仅初始化一次
  (let ((checks nil))
    (defun check-integrity ()
      (push "test" checks)
      checks))
  

  这种情况下，checks在check-integrity定义时就已创建，后续所有函数调用都会复用这个变量。

正确写法示例 #

要确保每次调用check-integrity都重置checks，必须把let放在函数内部的顶层：

(defun check-integrity ()
  (let ((checks nil)) ; 每次调用函数都会重新创建并初始化为nil
    (push "first-check" checks)
    (push "second-check" checks)
    checks))

这样每次调用函数时，都会生成一个全新的checks局部变量，初始值为nil，不会保留上一次的状态。

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