嘿，我完全懂你啃《On Lisp》时卡在“绑定”这块的纠结——Graham的书总是把Lisp的核心概念挖得很深，初读确实容易绕晕。咱们一步步拆解你提到的点：

核心：词法变量的绑定是源代码层面的 #

词法变量的作用域和绑定关系，是由它在源代码里的位置决定的，而非运行时的求值结果。Lisp的特殊操作符（比如setq、let）会直接识别源代码里的符号作为变量，而不是对这些符号求值。

为什么setq不能用函数封装？ #

先看一个反例：如果你试着写一个封装setq的函数：

(defun bad-setq (var val)
  (setq var val))

当你调用(bad-setq x 42)时，函数的形参var会被绑定到符号x的求值结果——如果x没定义，直接报错；就算x有值，setq var val其实是给函数内部的局部变量var赋值，和你想修改的外部x半毛钱关系都没有。

这是因为函数调用时，所有参数都会被求值，setq拿到的只是函数里的局部变量var，不是你源代码里的x。而宏是在编译期展开代码的，比如：

(defmacro good-setq (var val)
  `(setq ,var ,val))

当你调用(good-setq x 42)，宏会直接展开成(setq x 42)——这时候x就是源代码里的词法变量，setq能正确识别它的绑定关系。

let和do的同理逻辑 #

• let是特殊操作符，它的变量列表参数不会被求值，直接以源代码里的符号创建词法环境。比如(let ((x 10)) ...)里的x就是直接从源代码里取的符号，绑定到当前词法作用域。
• do是宏，它会展开成包含let（或类似结构）的代码，所以do里的变量也是在编译期就确定了源代码层面的绑定，同样不能用函数来模拟——函数调用会求值参数，破坏词法绑定的源代码确定性。

一句话总结 #

涉及词法变量绑定的操作，必须依赖编译期的源代码分析（宏）或者不求值参数的特殊操作符，普通函数做不到，因为函数是运行时求值，会丢失源代码层面的符号绑定信息。

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