Rust 宏 macro

宏

声明宏 Declarative Macro

使用acro_rules!，允许用户以声明性的(declarative)方式定义句法扩展。

每个声明宏都有一个名称和一条或多条规则。每条规则都有两部分：一个匹配器(matcher)，描述它匹配的句法；一个转码器(transcriber)，描述成功匹配后将执行的替代调用句法。

// 这是一个简单的宏，名为 `say_hello`。
macro_rules! say_hello {
    // `()` 表示此宏不接受任何参数。
    () => (
        // 此宏将会展开成这个代码块里面的内容。
        println!("Hello!");
    )
}

vec!宏原理

let v: Vec<u32> = vec![1, 2, 3];

#[macro_export]
macro_rules! vec {
    ( $( $x:expr ),* ) => {
        {
            let mut temp_vec = Vec::new();
            $(
                temp_vec.push($x);
            )*
            temp_vec
        }
    };
}

过程宏 Procedural Macro

过程宏分为三种：

• 自定义#[derive]宏：在结构体和枚举上指定通过 derive 属性添加的代码。
• 类属性宏（Attribute-like）：自定义属性，用于任意条目（Item）。
• 类函数宏（Function-like）：看起来像函数调用，但在指定为参数的token上操作。

非叶节点 (non-leaf) 的标记树：即 (...)、[...] 或 {...}。

编译器总是将语法拓展的展开结果看作完整的 AST 节点，而不是仅仅把它视为一列标记。

macro_rules! $name {
    $rule0 ;
    $rule1 ;
    // …
    $ruleN ;
}

规则里你可以使用大/中/小括号： braces {}、brackets []、parentheses ()。每条“规则”都形如：

```rust
($matcher) => {$expansion}

在规则里选择哪种括号并不会影响宏调用。

假如调用 m! 这个宏，如果该宏展开成条目，则必须使用 m! { ... } 或者 m!( ... );； 如果该宏展开成表达式，你可以使用 m! { ... } 或者 m!( ... ) 或者 m![ ... ]。