宏（Macro）是 Clojure 最强大的语言特性之一，它允许你在编译期操作代码本身，将「代码即数据」这一 Lisp 哲学推向极致。与函数只能在运行期处理数据不同，宏在编译期接收代码片段（S-表达式），生成新的代码片段后交给编译器执行。这种能力使开发者能够扩展语言语法、消除重复代码、甚至构建全新的领域特定语言（DSL）。
1. 为什么需要宏
1.1 宏与函数的本质区别
| 特性 | 函数（Function） | 宏（Macro） |
|---|---|---|
| 执行阶段 | 运行期（Runtime） | 编译期（Compile-time） |
| 接收参数 | 已求值的值 | 未求值的代码形式（form） |
| 返回值 | 运行期数据 | 新的代码形式（被编译执行） |
| 惰性 | 否（立即求值） | 可控制求值时机与次数 |
| 副作用 | 直接可见 | 可能产生意想不到的求值顺序 |
经典示例 when 实际上就是宏：
;; 宏：when 只执行条件为真时的代码
(when (some-condition?)
(do-something)
(do-more))
;; 展开后等价于：
(if (some-condition?)
(do
(do-something)
(do-more)))
如果用函数实现 when，其参数会在调用前全部求值，破坏了「条件为真才执行后续代码」的语义。
1.2 宏的典型适用场景
- 控制流定制：
when、cond、->（线程宏）等标准宏 - 资源管理自动化：
with-open、with-out-str等自动完成清理 - 语法糖构建：
doto、->>、as->等可读性增强 - DSL 设计：查询语言、配置语言、规则引擎
- 编译期优化：自定义代码生成与内联展开
2. 宏的基础语法
2.1 quote 与 unevaluated form
quote（或 ' 简写）让代码保持为数据而不被求值：
(+ 1 2) ; => 3（求值结果）
'(+ 1 2) ; => (+ 1 2)（S-表达式列表）
(type '(+ 1 2)) ; => clojure.lang.PersistentList
quote 是宏的基础——宏接收参数时，这些参数天然就是 quoted 的。
2.2 defmacro 定义宏
(defmacro unless [condition & body]
`(if (not ~condition)
(do ~@body)))
;; 使用
(unless (= 1 2)
(println "当然不相等")
(println "继续执行"))
;; 展开结果（查看编译期生成的代码）
(macroexpand-1 '(unless (= 1 2) (println "当然不相等")))
; => (if (not (= 1 2)) (do (println "当然不相等")))
语法要素：
defmacro：定义宏的关键字`（syntax-quote）：类似quote，但支持 unquote~（unquote）：从 syntax-quoted 形式中「撤出」求值~@（unquote-splicing）：将列表「展开」嵌入（避免嵌套一层列表）
2.3 syntax-quote 符号自动解析
syntax-quote 会自动为符号添加完全限定名（namespace-qualified），防止意外捕获：
;; `let` 会被解析为 clojure.core/let
`(let [x# 10] x#)
; => (clojure.core/let [x__1234__auto__ 10] x__1234__auto__)
;; # 后缀自动生成唯一符号，避免名字冲突
2.4 unquote 与 unquote-splicing 对比
| 操作符 | 用途 | 示例输入 | 输出 |
|---|---|---|---|
~ | 提取单个值插入 | `(+ ~x)（x=5） | (+ 5) |
~@ | 平铺列表元素插入 | `(+ ~@lst)（lst=[1 2]） | (+ 1 2)（非 (+ (1 2))） |
(defmacro my-or [& forms]
(if (empty? forms)
nil
(let [first-form (first forms)
rest-forms (rest forms)]
`(let [result# ~first-form]
(if result# result# (my-or ~@rest-forms))))))
(my-or nil false :found)
; => :found
3. 实战：构建自定义控制流宏
3.1 安全的资源管理宏
(defmacro with-resource
"自动获取、使用和释放资源的宏，类似 with-open 的泛化版"
[[binding resource] close-fn & body]
`(let [~binding ~resource]
(try
(do ~@body)
(finally
(~close-fn ~binding)))))
;; 使用示例
(with-resource [conn (create-connection "db://localhost")]
close-connection
(query conn "SELECT * FROM users")
(process-results))
;; 展开后：
;; (let [conn (create-connection "db://localhost")]
;; (try
;; (do (query conn "SELECT * FROM users")
;; (process-results))
;; (finally
;; (close-connection conn))))
3.2 带计时的 do 宏
(defmacro timed
"执行 body 并打印耗时，返回计算结果"
[label & body]
`(let [start# (System/nanoTime)
result# (do ~@body)
elapsed# (/ (- (System/nanoTime) start#) 1e6)]
(println (str ~label " 耗时: " elapsed# " ms"))
result#))
(timed "斐波那契计算"
(reduce + (take 1000000 (fib-seq))))
;; => 输出: "斐波那契计算耗时: 45.23 ms"
4. 构建领域特定语言（DSL）
4.1 SQL 查询 DSL
(defmacro select
"构建 SQL SELECT 查询的微型 DSL"
[columns & {:keys [from where order-by limit]}]
`(str "SELECT " ~(clojure.string/join ", " columns)
" FROM " ~from
~@(when where [`" WHERE " ~(str where)])
~@(when order-by [`" ORDER BY " ~order-by])
~@(when limit [`" LIMIT " ~limit])))
;; 使用
(select ["name" "age"] :from "users" :where "age > 18")
;; => "SELECT name, age FROM users WHERE age > 18"
4.2 状态机 DSL
(defmacro defsm
"声明式状态机定义"
[name states transitions]
`(defn ~name [current-state# event#]
(let [trans# ~transitions]
(if-let [next-state# (get-in trans# [current-state# event#])]
(do
(println (str "状态转移: " current-state# " + " event# " -> " next-state#))
next-state#)
(do
(println (str "无效转移: " current-state# " + " event#))
current-state#)))))
(defsm door
[:open :closed :locked]
{:closed {:open :open, :lock :locked}
:open {:close :closed}
:locked {:unlock :closed}})
(door :closed :open) ; => :open
(door :open :lock) ; => 无效转移，返回 :open
5. 宏的调试与展开分析
5.1 macroexpand 系列工具
;; macroexpand-1：只展开一次
(macroexpand-1 '(when true (println "hi")))
; => (if true (do (println "hi")))
;; macroexpand：递归展开直到不再是宏
(macroexpand '(-> x (f y) (g z)))
; => (g (f x y) z)
;; clojure.walk/macroexpand-all：展开所有宏（包括嵌套）
5.2 调试技巧：打印展开结果
(defmacro debug-macro [& body]
(doseq [form body]
(println "展开:" (macroexpand-1 form)))
`(do ~@body))
;; 更好的调试方式：在 REPL 中使用 macroexpand
5.3 宏的常见陷阱
| 陷阱 | 说明 | 解决方案 |
|---|---|---|
| 多次求值 | 宏参数在展开体中出现多次会导致重复求值 | 用 let 绑定到局部变量 |
| 变量捕获 | 宏生成的代码与调用处变量名冲突 | 使用 gensym（x# 语法） |
| ** hygiene 问题** | 宏内部引用的符号被外部覆盖 | 使用 fully-qualified symbol 或 syntax-quote |
| 意外求值 | 不该求值的参数被求值 | 注意 quote 和 list 的使用 |
多次求值修复示例：
;; ❌ 错误：condition 会被求值两次
(defmacro bad-if-twice [condition body]
`(if ~condition
~body
(when (not ~condition) ;; condition 再次求值！
(println "条件为假"))))
;; ✅ 正确：只用 let 绑定一次
(defmacro safe-if-twice [condition body]
`(let [condition-result# ~condition]
(if condition-result#
~body
(when (not condition-result#)
(println "条件为假")))))
6. 线程宏：Clojure 的语法创新
6.1 ->（Thread-first）
将结果作为第一个参数传入下一个表达式：
(-> data
(assoc :key "value")
(update :count inc)
(str/split-lines))
;; 等价于：
(str/split-lines (update (assoc data :key "value") :count inc))
6.2 -»（Thread-last）
将结果作为最后一个参数传入下一个表达式，适合集合操作：
(->> (range 100)
(filter odd?)
(map #(* % %))
(reduce +))
;; 等价于：
(reduce + (map #(* % %) (filter odd? (range 100))))
6.3 as->（Thread-as）
自定义参数插入位置：
(as-> data $
(assoc $ :x 1)
(conj [] $)
(str/join "," $))
6.4 cond-> 和 cond-»
条件式管道：
(cond-> {:name "app"}
debug? (assoc :log-level "debug")
production? (assoc :env "prod")
(:port opts) (assoc :port (:port opts)))
| 线程宏 | 参数插入位置 | 适用场景 |
|---|---|---|
-> | 第一个参数 | 数据结构操作（map、record） |
->> | 最后一个参数 | 集合变换（序列处理） |
as-> | 自定义位置 | 混合场景 |
cond-> | 条件式第一个 | 条件性数据转换 |
cond->> | 条件式最后一个 | 条件性集合变换 |
some-> | 短路第一个 | 可能返回 nil 的链式调用 |
7. 宏与函数的设计选型指南
| 优先考虑函数的场景 | 必须使用宏的场景 |
|---|---|
| 纯数据转换 | 控制求值时机（延迟/条件求值） |
| 纯计算逻辑 | 引入新的绑定语法（let 风格） |
| 高阶操作 | 生成代码模板（代码生成） |
| 可组合抽象 | 优化编译期行为 |
| 可传递作为值（函数是一等公民） | DSL 语法扩展 |
黄金法则：先用函数实现，只有遇到「参数必须先求值」的限制时，才考虑使用宏。宏增加了认知复杂度和调试难度。
8. 总结与延伸阅读
Clojure 的宏系统让语言本身成为可塑的材料。通过掌握 syntax-quote、unquote 和 gensym，你能够安全地扩展语言语法而不引入变量污染。从简单的控制流宏到完整的 DSL 构建，宏将「代码即数据」的理念从理论变为工程实践。
| 学习阶段 | 推荐实战 |
|---|---|
| 入门 | 重写 if/when/cond 等标准宏 |
| 进阶 | 构建 with-* 资源管理系列宏 |
| 高级 | 设计完整 DSL（查询语言/配置语言） |
延伸阅读可参考 Clojure 多方法与协议 深入理解 Clojure 的多态机制，以及 Clojure spec 与测试 了解如何用 spec 为宏生成的 DSL 添加数据验证层。
继续阅读
探索更多技术文章
浏览归档，发现更多关于系统设计、工具链和工程实践的内容。