01-语法 on 编程那些事儿

01-指示符

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/macros/designators.html

指示符

宏的参数使用一个美元符号 $ 作为前缀，并使用一个指示符（designator）来注明类型：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41


macro_rules! create_function {
 // 此宏接受一个 `ident` 指示符表示的参数，并创建一个名为 `$func_name` 的函数。
 // `ident` 指示符用于变量名或函数名
 ($func_name:ident) => {
 fn $func_name() {
 // `stringify!` 宏把 `ident` 转换成字符串。
 println!("You called {:?}()",
 stringify!($func_name))
 }
 };
}

// 借助上述宏来创建名为 `foo` 和 `bar` 的函数。
create_function!(foo);
create_function!(bar);

macro_rules! print_result {
 // 此宏接受一个 `expr` 类型的表达式，并将它作为字符串，连同其结果一起
 // 打印出来。
 // `expr` 指示符表示表达式。
 ($expression:expr) => {
 // `stringify!` 把表达式*原样*转换成一个字符串。
 println!("{:?} = {:?}",
 stringify!($expression),
 $expression)
 };
}

fn main() {
 foo();
 bar();

 print_result!(1u32 + 1);

 // 回想一下，代码块也是表达式！
 print_result!({
 let x = 1u32;

 x * x + 2 * x - 1
 });
}

这里列出全部指示符：

02-重载

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/macros/overload.html

重载

宏可以重载，从而接受不同的参数组合。在这方面，macro_rules! 的作用类似于匹配（match）代码块：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23


// 根据你调用它的方式，`test!` 将以不同的方式来比较 `$left` 和 `$right`。
macro_rules! test {
 // 参数不需要使用逗号隔开。
 // 参数可以任意组合！
 ($left:expr; and $right:expr) => {
 println!("{:?} and {:?} is {:?}",
 stringify!($left),
 stringify!($right),
 $left && $right)
 };
 // ^ 每个分支都必须以分号结束。
 ($left:expr; or $right:expr) => {
 println!("{:?} or {:?} is {:?}",
 stringify!($left),
 stringify!($right),
 $left || $right)
 };
}

fn main() {
 test!(1i32 + 1 == 2i32; and 2i32 * 2 == 4i32);
 test!(true; or false);
}

03-重复

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/macros/repeat.html

重复

宏在参数列表中可以使用 + 来表示一个参数可能出现一次或多次，使用 * 来表示该参数可能出现零次或多次。

在下面例子中，把模式这样： $(...),+ 包围起来，就可以匹配一个或多个用逗号隔开的表达式。另外注意到，宏定义的最后一个分支可以不用分号作为结束。