Common Lisp如何设置父词法作用域变量？有无类似Python的调用帧操作API？

原代码失效原因 #

Common Lisp 默认采用词法作用域规则，你代码中 let 块定义的 year 属于词法绑定变量，这类变量的名称仅在编译期用于作用域解析，运行时默认不会存储在对应符号的 value 单元中。你代码中调用的 set 函数只会修改符号的全局值或动态绑定值，无法作用到上层 let 的词法变量上，因此代码达不到预期效果。

可行实现方案 #

方案1：使用动态特殊变量（跨实现通用） #

如果你可以接受目标变量为动态作用域的特殊变量，只需要在绑定变量时添加 special 声明即可，该方案兼容所有符合Common Lisp标准的实现：

(defun var-set (var-str val)
  (let ((var-interned (intern (string-upcase var-str))))
    ;; 修改符号的动态绑定值
    (setf (symbol-value var-interned) val)))

(let ((year "1400")
      ;; 声明该变量为动态特殊变量
      (declare (special year)))
  (var-set "year" 1388)
  year) ;; 输出结果为 1388

方案2：使用实现专属栈帧API #

Common Lisp 标准没有定义类似Python sys._getframe 的统一栈帧访问API，但各大主流实现都自带调试扩展接口，可以读取、修改上层栈帧的局部变量。以SBCL为例，可以使用sb-di包的相关接口实现该需求，其他实现如Clozure CL、CLISP等也有对应的专属接口，需要查阅对应实现的开发文档。

方案3：推荐方案：使用宏实现 #

如果没有强制要求必须使用非宏函数实现，宏是Common Lisp下处理这类需求的原生最优解：宏会直接展开到调用方的作用域中，可以直接操作调用方的词法变量，不需要依赖任何实现专属扩展：

;; 支持直接传变量名
(defmacro var-set (var val)
  `(setf ,var ,val))

;; 如果需要支持传字符串形式的变量名
(defmacro var-set-str (var-str val)
  (check-type var-str string)
  `(setf ,(intern (string-upcase var-str)) ,val))

;; 调用示例
(let ((year "1400"))
  (var-set year 1388)
  (print year) ;; 输出1388
  (var-set-str "year" 1200)
  (print year)) ;; 输出1200

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