基于抽象语法树的宏为何优于基于字符串预处理的宏？

嘿，这个问题问到点子上了！我刚接触Rust宏的时候，也特意对比过它和C宏的差异，核心原因就是AST宏是“懂语法”的，而字符串预处理宏只是“瞎替换”，具体优势体现在这几个方面：

• 彻底杜绝优先级陷阱
  举个经典的C宏反例：

  #define ADD(a, b) a + b
  

  要是你调用ADD(1, 2) * 3，预处理后会变成1 + 2 * 3，结果是7而不是预期的9——因为字符串替换完全不管语法结构，只是把文本原样替换，根本不知道ADD(1,2)是一个完整的表达式。而Rust的AST宏会把ADD(1,2)识别成一个独立的表达式节点，展开后会保留它的完整性，绝不会出现这种优先级错乱的问题。

• 语法错误提前预警
  字符串预处理宏是编译前的“盲操作”，不管替换后的内容合不合法，只有等预处理完进入编译阶段才会报错，而且错误信息经常混乱，你很难分清是宏本身写错了，还是替换后的代码有问题。但Rust的AST宏在展开时就会基于语法树做校验，比如你给宏传了一个语句而非表达式，编译器会直接在宏调用的位置给出清晰的提示，定位问题效率高太多。

• 支持更智能、安全的宏逻辑
  AST宏能理解Rust的语法结构：它知道什么是变量、函数、模式匹配，甚至能识别类型信息。比如Rust的vec!宏，既能处理vec![1, 2, 3]这种元素列表，也能处理vec![0; 10]这种重复初始化的形式，还能自动推断容器类型。这种灵活且智能的宏，用字符串预处理根本做不到——毕竟字符串替换没法“读懂”代码的语法含义，只能做简单的文本替换，功能受限还容易出bug。

• 避免意外的名字污染
  C宏很容易出现“名字捕获”的问题：如果宏内部用了和外部相同的变量名，替换后会直接覆盖外部变量，导致莫名其妙的bug。而Rust的AST宏会严格处理作用域和命名空间，展开时会保证宏内部的名字不会干扰外部，也不会被外部名字影响，在复杂场景下安全性拉满。

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