宏(macro) 是 Rust 中的一种高级特性,Java无此对应功能,Rust 中的宏分为两种:声明性宏(declarative macros)和程序宏(procedural macros)。
Rust宏的基本运作机制就是
首先匹配宏规则中定义的模式,然后将匹配结果赋值到变量,最后展开变量替换后的代码。
宏与函数的区别
函数不能接收任意多个参数,而宏可以。
函数不能操作语法单元,而宏可以。从根本上说,宏是用来生成代码的。
函数在编译之前不需要特殊处理,声明性宏需要在编译之前进行展开,展开之后代码会“膨胀”。
函数的定义简单,而宏的定义和实现比函数更复杂。
使用宏的好处 :减少重复代码。通过宏可以定义 DSL(Domain-specific languages)。
定义宏实例:
// 生成函数的宏
macro_rules! test_macro {
($func_name:ident) => (
fn $func_name() {
println!("function {:?} is called", stringify!($func_name))
}
)
}
fn main() {
// 调用定义的宏
create_macro!(test); // 也可以create_macro![foo];
test();
}
重复运算符
宏可以接收任意多个参数,这个特性,Rust 提供了重复运算符(* :任意次;+ :一次或者多次;?: 零次或者一次)。
这些运算符在 matcher 和 transcriber 都可以使用。通常的格式是:$ ( ... ) sep 重复运算符,其中需要重复的内容放在$( ... )括号内,sep 是一个可选的分隔符(比如:逗号或分号)。