Clojure宏内使用eval意外解析全局变量的问题咨询

你的认知冲突本质是对Clojure的执行阶段拆分、宏函数的执行上下文认知不清晰，核心原因确实是全局var在宏展开阶段即可访问，还有几个细节需要明确：

• 读取阶段：将源码文本解析为符号、列表等S表达式数据结构
• 宏展开阶段：遍历S表达式，遇到宏则调用对应的宏函数，将宏调用替换为展开后的代码，宏函数的逻辑是在当前JVM进程的全局上下文中同步执行的
• 运行阶段：执行展开后编译完成的字节码

你给出的第一个示例代码：

(def list-of-things (range 10))

(defmacro force-eval [args]
  (apply + (eval args)))

(macroexpand-1 '(force-eval list-of-things))

; => 45

逐行的执行顺序如下：

1. 输入(def list-of-things (range 10))后，REPL会立即走完读取、展开、编译、运行全流程，在当前命名空间下创建名为list-of-things的全局var，绑定值为(range 10)的结果，该var直接存在于当前JVM进程的上下文中
2. 输入defmacro定义宏的代码后，force-eval作为全局var创建完成，其绑定的宏函数逻辑已经可用
3. 调用macroexpand-1时进入宏展开阶段，force-eval的宏函数被调用，参数args绑定为传入的符号list-of-things
4. 宏函数内执行(eval args)，eval在宏展开阶段的全局上下文中解析符号，找到已经存在的list-of-things全局var，拿到对应的值完成求和计算，最终宏展开结果为45，和你观察到的输出一致

你给出的第二个、第三个示例，核心差异在于let创建的本地绑定属于运行阶段上下文，仅在对应的let代码块运行时生效，宏展开阶段的执行优先级远高于let块的运行，eval完全看不到这些本地绑定的存在：

• 第二个示例中不存在list-of-things的全局var，eval解析符号失败抛出错误
• 第三个示例中存在list-of-things的全局var，eval直接读取全局值求和得到145，完全忽略let块内拼写相近的本地绑定

• 所有已经完成定义的全局var（包括def声明的普通变量、宏、多方法等）
• 当前JVM进程已经加载的Java类、类路径资源
• 以下资源在宏展开阶段的eval中无法访问：
  • 尚未执行到的def语句声明的全局var
  • 所有let、loop等创建的本地绑定
  • 运行阶段才会通过binding创建的动态绑定

这种宏内调用eval的模式属于典型反模式，非常容易出现顺序依赖问题：如果将def list-of-things的声明放在宏调用之后，宏展开阶段找不到对应var就会直接报错，且这类代码完全无法享受编译期检查，可维护性极差。

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