播面

在 Rust 中，宏（Macro）主要分为两大类：声明式宏（Declarative Macros） 和 过程宏（Procedural Macros）。其中，过程宏又细分为三种具体的类型。

以下是详细的分类和解释：

1. 声明式宏 (Declarative Macros)

这是 Rust 中最常见、使用最广泛的宏类型，通常被称为 "Macros by Example"（通过示例定义的宏）。

• 定义方式：使用 macro_rules! 构造。
• 工作原理：类似于 match 表达式。它将用户编写的宏代码与预定义的模式（Pattern）进行匹配，一旦匹配成功，就将代码替换为宏定义中对应的代码块。
• 特点：
  • 相对简单，不需要编写复杂的 Rust 代码来解析语法树。
  • 卫生性（Hygienic）：通常不会意外污染外部作用域的变量名。
• 常见例子：vec!, println!, format!。

示例：

macro_rules! say_hello {
    () => {
        println!("Hello!");
    };
    ($name:expr) => {
        println!("Hello, {}!", $name);
    };
}

fn main() {
    say_hello!();        // 匹配第一个模式
    say_hello!("Rust");  // 匹配第二个模式
}

2. 过程宏 (Procedural Macros)

过程宏比声明式宏更强大，但也更复杂。它们像是一个编译器插件。

• 工作原理：过程宏接收 Rust 代码作为输入（以 TokenStream 的形式），对其进行操作（通常是解析、修改或生成新代码），然后产生新的 TokenStream 作为输出。
• 定义要求：必须定义在独立的 Crate 中，且该 Crate 类型必须标记为 proc-macro。

过程宏分为以下三种类型：

A. 自定义派生宏 (Custom Derive Macros)

• 用途：用于结构体（struct）和枚举（enum）。允许用户通过 #[derive(TraitName)] 自动为类型实现特定的 Trait。
• 特点：只能追加代码，不能修改原始数据结构的定义。
• 常见例子：#[derive(Debug)], #[derive(Serialize)] (serde)。

示例：

// 使用方式
#[derive(MyTrait)]
struct User {
    name: String,
}
// 宏会在编译时自动生成 impl MyTrait for User { ... } 的代码

B. 属性宏 (Attribute-like Macros)

• 用途：可以定义自定义的属性，附加到任何条目上（如函数、结构体、模块等）。
• 特点：它可以获取被修饰的条目，并将其完全替换为宏生成的代码（这意味着它可以修改、删除或包装原始代码）。
• 常见例子：Web 框架中的路由定义（如 Rocket 或 Actix-web）。

示例：

// 使用方式
#[route(GET, "/")]
fn index() {
    // ...
}
// 宏可以将这个函数转换成包含路由注册逻辑的复杂代码

C. 类函数宏 (Function-like Macros)

• 用途：看起来像函数调用，但实际上是宏。
• 特点：比声明式宏更灵活。声明式宏只能进行简单的模式匹配，而类函数宏可以接收任意的 TokenStream，你可以编写任意复杂的逻辑来解析这些 Token。
• 常见例子：sql! (用于编写原生 SQL 并检查语法), html! (Yew 框架中用于编写 HTML)。

示例：

// 使用方式
let sql = sql!("SELECT * FROM posts WHERE id = 1");
// 宏可以在编译期间解析字符串，检查 SQL 语法错误，然后生成对应的 Rust 代码

总结对比表