规则宏代码的“卫生保健”

规则宏mbe即是由macro_rules!宏所定义的宏。它的英文全称是Macro By Example。相比近乎“徒手攀岩”的Cpp模板·元编程，rustc提供了有限的编译时宏代码检查功能（名曰：Mixed Hygiene宏的混合保健）。因为rust宏代码·被展开于·编译过程中的语法分析阶段（请见下图），所以rustc相较于g++/gcc拥有更多可用作“代码静态分析”的信息。

• 本地变量
• 标签
• 当前包引用

名词解释

• 宏规则Rule
• 匹配模式Syntax Rule
• 元变量Meta-variable / 捕获Capture
• 元变量的概念更宽泛，因为它还包括了rustc预置占位符。比如，$crate。
• 而【捕获】仅指·宏规则·的“形参”。
• 捕获类型Fragment Specifier
• 宏展开式Transcriber
• 宏调用
• 宏展开代码Expansion

宏保健之本地变量

• 宏展开式内定义的“土著”变量local variable

• 由元变量传入宏的“外来”变量alien variable

• 宏展开式·语法上下文 —— 限定“土著”变量
• 元变量·语法上下文 —— 限定“外来”变量

• 元变量语法上下文·与·宏展开式语法上下文·不互通。
• 具体于上例，宏展开代码的第二条变量绑定语句let a = 22;并不能遮蔽其上一条语句let a = 42;对变量a的赋值结果。因此，最后参与表达式(a + 10) / six求值的变量a的值还是42。
• 宏展开式语法上下文·与·宏调用语句语法上下文·相融合，当且仅当它们共处于同一作用域时。若宏被跨模块（甚至跨包） 调用，那么这条原则就不成立了 — 文章的后半程会专门讲到这类场景。具体于上例，
• 在宏定义前绑定的变量six能够参与宏展开式内(a + 10) / six表达式的求值运算。
• 而，在宏定义后绑定的变量four就不能参与宏展开式内表达式的计算。
• 注意 + 强调：外部绑定变量是否可被用于宏内·是取决于“宏定义”的位置，而不是“宏调用”的位置。即，变量绑定既得出现于宏定义之前，它还得与宏（定义 + 调用）同在一个作用域内。这和脚本编程语言（比如，javascript）的惯例有所不同。
• 在宏展开代码里，由元变量$e代换入的表达式a + 10有着更高的执行优先级。具体于上例，
• 请注意表达式a + 10两侧的圆括号。这是因为a + 10整体·作为一个AST表达式结点·被注入宏展开代码，而不是被当作三个没有任何语义与关联的token。后者是Cpp模板元编程的作法，因为Cpp模板是在编译过程中的词法分析阶段被展开。

在宏展开式内，代表同一个变量的多个【识别符】identifier必须

• 既要，具备完全一样的“词法”名称，
• 还要，共处于同一个“语法”上下文中，

而不论这些识别符是源于宏内定义的“土著”，还是经由元变量代换而入的“外来者”。

嵌套的语法上下文

1. 先在·元变量语法上下文·内寻找变量eight的定义
2. 发现没有，再到·宏展开式语法上下文·内寻找
3. 还是没有，再去·宏调用语句语法上下文·内寻找
4. 最后，找到let eight = 8;绑定语句。其位于宏定义之后与宏调用之前。

宏保健之当前包引用

• 要么，rustc编译失败和报怨：“从当前作用域，找不到被引用的项”。如下例
  
  
• 
• 要么，虽然没有编译错误，但从·宏调用语句上下文·引入同名却不匹配的项。如下例
  
  
• 

• 要么，找不到B::logger::log2db
• 要么，找到不正确的B::logger::log2db

就宏而言，

• crate::总是引用宏调用端包的根模块
• $crate::总是引用宏定义端包的根模块

#![crate_type = "lib"]
#![crate_name = "A"]
// 导出宏
#[macro_export]
macro_rules! helper {
    ($text: expr) => ($crate::logger::log2db($text))
}
/// 宏展开式的外部项
pub mod logger {
pub fn log2db(text: String) {
println!("写 {} 进入数据库", text);
    }
}
/// 单元测试
mod tests {
#[test]
fn log2db(){
        helper!("1122".to_string());
    }
}

结束语