Clojure开发者指南：何时应选择宏而非函数实现功能？

我在阅读《On Lisp》一书时，发现第7章关于宏的内容很有意思。我把书中的示例转换成Clojure代码并在REPL中执行，发现宏与函数的实现效果几乎一致，但仍不清楚：在可以用函数实现功能的情况下，何时应该选择用宏来编写代码？是否有指导准则能帮助开发者判断这种场景？

示例代码 #

宏实现 #

(defmacro nif [expr pos zero neg]
  `(case (Integer/signum ~expr)
     1 ~pos
     0 ~zero
     -1 ~neg))

(map #(nif % 'p 'z 'n) [0 2.5 -8])
=> (z p n)

函数实现 #

(defn nif2 [expr pos zero neg]
  (case (Integer/signum expr)
    1  pos
    0 zero
    -1 neg))

(map #(nif2 % 'p 'z 'n) [0 2.5 -8])
=> (z p n)  

核心判断准则 #

Clojure中函数和宏的核心差异在于求值时机：函数的所有参数在调用前会被全部求值，而宏是在编译期先展开为原生代码，运行时才执行展开后的逻辑，参数的求值完全由展开后的代码控制。基于这个差异，以下是选择宏的典型场景：

• 需要控制参数的条件求值：如果某些参数只在特定分支下才需要执行（比如带副作用的表达式、高开销计算），宏可以避免不必要的求值。比如把示例中的参数换成带打印副作用的表达式：

  ;; 函数版本：会打印三个分支的所有内容
  (nif2 2 (do (println "positive") 'p) (do (println "zero") 'z) (do (println "negative") 'n))
  
  ;; 宏版本：只会打印"positive"
  (nif 2 (do (println "positive") 'p) (do (println "zero") 'z) (do (println "negative") 'n))
  

• 需要扩展语言语法或构建DSL：当你需要让代码更贴近领域特定语言（DSL）的表达形式，或者实现原生语法不支持的结构时，宏是唯一选择。比如Clojure内置的->、->>、cond->等宏，它们直接操作代码结构，无法用函数实现。

• 需要捕获或操作当前上下文的符号：宏可以直接访问当前命名空间的符号、变量等上下文信息，而函数只能通过参数接收外部值。比如实现类似def的自定义绑定宏，必须在编译期处理符号的绑定逻辑。

• 极端性能需求下消除函数调用开销：在性能敏感的代码路径中，宏展开后可以消除函数调用的栈开销，直接内联逻辑。不过这通常是最后考虑的因素，Clojure的JIT编译已经能优化大部分函数调用。

总结 #

优先用函数，除非你遇到上述必须用宏的场景。函数更易测试、调试和理解，而宏会增加代码复杂度，还需要注意宏的卫生性（hygiene）问题。你的nif示例中宏和函数效果一致，是因为传入的是无副作用的字面量符号，一旦涉及条件求值或语法扩展，两者的差异就会立刻显现。

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