能否在运行时根据情况重新绑定部分词法变量？

词法变量的核心设计是静态绑定，运行时动态修改其值的子集确实属于非常规操作，但有几种比手动构建setf表达式更直接的办法：

1. 用符号宏映射到动态容器 #

把词法变量绑定到哈希表（或结构体）的条目上，通过操作容器实现动态修改，这是最简洁高效的方案：

(let ((var-container (make-hash-table)))
  (symbol-macrolet ((A (gethash 'A var-container))
                    (B (gethash 'B var-container))
                    (C (gethash 'C var-container))
                    (D (gethash 'D var-container))
                    (E (gethash 'E var-container)))
    ;; 初始化变量（可选，哈希表未定义键默认返回nil）
    (setf A nil B nil C nil D nil E nil)
    ;; 动态修改指定子集
    (mapc (lambda (sym val)
            (setf (gethash sym var-container) val))
          '(B E) '(1 2))
    ;; 正常使用变量
    (format t "~A~%" (list A B C D E)))) ; 输出 (NIL 1 NIL NIL 2)

这种方式既保留了原代码中直接使用A/B/C的语法，又能通过哈希表在运行时动态修改任意变量的值，完全避免了动态构建表达式的开销。

2. 改用特殊变量（谨慎使用） #

如果能接受放弃词法绑定的特性，将变量声明为特殊变量后，可以直接用symbol-value动态修改：

(let (A B C D E)
  (declare (special A B C D E)
           (ignorable A B C D E))
  (mapc (lambda (sym val)
          (setf (symbol-value sym) val))
        '(B E) '(1 2))
  (format t "~A~%" (list A B C D E))) ; 输出 (NIL 1 NIL NIL 2)

注意：特殊变量是动态绑定的，可能会引入意外的作用域副作用，仅在你明确知晓风险的情况下使用。

3. 优化动态setf表达式方案 #

如果你坚持要用原思路，可以提前编译修改逻辑，避免重复构建表达式的开销：

(let (A B C D E)
  (declare (ignorable A B C D E))
  (let ((setter (compile nil
                         `(lambda (syms vals)
                            (mapc (lambda (s v)
                                    (setf ,@(loop for s in syms collect s collect v)))
                                  syms vals)))))
    (funcall setter '(B E) '(1 2)))
  (format t "~A~%" (list A B C D E)))

但这种方案依然比符号宏的方法复杂，仅作为备选。

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