Clojure技术疑问：Clojure如何识别引用实际为宏？

一、如何识别宏 #

变量绑定来源复杂确实容易混淆，你可以用几个实用方法快速判断：

• 用(macroexpand-1 '符号)测试：如果返回展开后的代码结构，那它就是宏；若返回原符号或报错，大概率是普通函数/变量。比如(macroexpand-1 'if)会输出展开后的特殊形式，(macroexpand-1 'println)则返回原符号。
• 查看符号元数据：执行(meta (var 符号))，若元数据包含:macro true标记，说明这是宏。比如(meta (var when))就能看到该标记。
• 积累常用宏：Clojure内置的if、when、let、defmacro本身都是宏，陌生符号可查官方文档分类，宏会被明确标注。

二、宏的展开时机 #

宏的展开是在编译阶段（准确说是读取源代码后、字节码生成前），而非解释阶段。Clojure编译器处理代码时，会先遍历AST（抽象语法树），遇到宏就先将其展开为普通Clojure代码，再继续编译展开后的内容。即使在REPL中执行代码，也是先完成宏展开再编译执行，所以你能在REPL里用macroexpand查看展开结果。

三、为什么宏参数不被求值 #

Clojure的宏本质是“代码生成函数”，它接收的参数是未求值的AST节点，这是编译器的规则决定的：当编译器识别到某个符号是宏时，不会对其参数做求值操作，而是直接把参数对应的AST结构传递给宏函数，由宏函数根据这些结构生成新代码，之后再编译新生成的代码。

举个例子，你写(when (> 1 0) (println "hello"))，编译器识别到when是宏后，直接把(> 1 0)和(println "hello")这两个AST节点传给when宏，宏会展开成(if (> 1 0) (do (println "hello")))，随后编译器才会编译这段展开后的代码，此时才会对(> 1 0)求值。

四、学习宏机制的资料 #

• Clojure官方文档的“宏”章节：权威讲解宏的定义、展开流程、使用场景。
• 《Clojure编程》（Programming Clojure）：有专门章节深入讲解宏的工作原理，从AST到展开过程搭配实例，适合初学者逐步理解。
• Clojure核心库源码：比如clojure.core中when、if-let的宏实现，能直观看到宏如何生成代码。

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