!。

实际上这些宏都是声明式宏#xff08;也叫示例宏或macro_rules!#xff09;#xff0c;rust

rust

!。

实际上这些宏都是声明式宏也叫示例宏或macro_rules!rust

声明式宏

匹配。

它可以将表达式的结果与多个模式进行匹配。

一旦匹配成功那么该模式相关联的代码将被展开。

和

match

源代码。

所有这些都发生在编译期并没有运行期的性能损耗。

下面是一个例子

声明一个add宏

的方式来查看一下预处理阶段之后的代码。

cargo-expand

cargo

的右边都被展开了并且如果传入的参数是一个表达式则会将整个表达式作为一个整体传递给宏。

这就是某些地方提到的“Hygienic

Macros”有些地方也翻译为卫生宏翻译的很抽象。

最后一行代码中传入的b3被当做了一个整体。

如果是在C/C中不会自动将表达式作为整体而是直接进行字符串替换。

而

Rust

编译器会自动处理变量名和作用域确保宏展开后的代码不会引入未预料的变量冲突。

下面是一个C/C中使用宏的例子。

#includestdio.h

中编写宏要特别注意宏参数在使用的时候必须加上括号。

现在我们来修复上面

C/C

这样我们在使用宏的时候就避免了意外结果的发生。

这样展开之后的代码如下所示

int

这段代码需要用{}包裹起来因为宏需要展开这样能保证作用域正常不影响外部。

这也是rust的宏是

Hygienic

std::vec::Vec::new();$(v.push($el);)*v}};//

my_vec![1;

}由于宏要在调用的地方展开我们无法预测调用者的环境是否已经做了相关的

expr

告诉编译器可以匹配任意多个以逗号分隔的表达式然后捕获到的每一个表达式可以用

$el

{}都是可以的。

但是一般都是按照约定成俗的方式来使用。

例如vec![1,2,3]而不是使用

let

{::std::io::_print(format_args!({0:?}\n,

v));

std::vec::Vec::new();v.push(1);v.push(2);v.push(3);v.push(4);v.push(5);v

{::std::io::_print(format_args!({0:?}\n,

v));

{::std::io::_print(format_args!({0:?}\n,

v));

std::vec::Vec::new();v.push(1);v.push(2);v.push(3);v.push(4);v.push(5);v

};它带上了我们在宏定义中的{}另外我们注意到println!

macro_rules!

{$crate::print!(\n)};($($arg:tt)*)

{{$crate::io::_print($crate::format_args_nl!($($arg)*));}};

format_args_nl!

宏。

大概可能是因为文档中说format_args_nl宏是nightly模式下的吧并没有完全展开是因为该宏是内置宏(rustc_builtin_macro)。

在使用声明宏时我们需要为参数明确类型刚才的例子都是使用的expr其实还可以使用下面这些

item比如一个函数、结构体、模块等。

block代码块。

比如一系列由花括号包裹的表达式和语句。

stmt语句。

比如一个赋值语句。

pat模式。

expr表达式。

刚才的例子使用过了。

ty类型。

比如

Vec。

ident标识符。

比如一个变量名。

path路径。

比如foo、::std::mem::replace、transmute::_,

#[...]

代码重复声明式宏可以帮助消除代码中的冗余通过将重复的代码逻辑抽象成宏从而减少代码量并提高代码的可读性和维护性。

代码模板化宏可以用于定义代码模板允许在编译时根据不同的参数生成特定的代码片段从而实现代码的泛化和重用。

实现函数重载宏可以匹配多种模式的参数来实现函数重载。

宏目前的编写无法得到IDE很好的支持另外一点就是如无必要就不要编写宏。

如果要编写那么尽量编写声明式宏而不是过程宏。

宏编写复杂过程宏的编写可能相对复杂特别是对于复杂的语法分析和代码生成任务编写和调试过程宏可能需要更多的时间和精力。

可读性下降宏可能会导致代码的可读性下降特别是在宏的展开代码复杂或嵌套层级较多时代码可读性可能变差。

不利于错误检查宏展开发生在编译期间因此错误信息可能不够明确和直观难以定位宏展开后的具体错误位置。

难以调试宏展开过程对于开发者不是透明的因此在调试过程中可能会遇到难以解决的问题。

参考资料

https://github.com/rust-lang/rust/issues/93904https://blog.logrocket.com/macros-in-rust-a-tutorial-with-examples/#:~:textDeclarative%20macros%20enable%20you%20to,Rust%20code%20it%20is%20given.rust编程第一课-陈天The

Little