3.2.2 语法宏

文档摘要

3.2.2 语法宏在 Lisp 的血脉深处，宏不是语法糖，而是语言的铸模；不是编译器的装饰，而是程序员伸向语法底层的义肢。当我们在 Rust 中写下，在 Scala 中展开，在 Julia 中调用 ——我们触摸的，正是语法宏（Syntax Macro）那冷峻而精密的金属表面。它不修改语义，却重写结构；不介入运行时，却在词法与语法的夹缝中完成一次决定性的“预演”。本节所聚焦的 3.2.2 语法宏，绝非教科书里“在编译前替换文本”的模糊比喻，而是一套具备形式化语义、可验证作用域、可推导绑定关系、可参与类型系统协同的元程序构造协议。我们将以一线实现者的视角，拆解其内核：从卫生性（hygiene）的数学本质，到过程宏（procedural macro）在 Rust 编译器流水线中的精确锚点；