Rust 片段说明符—模式的种类
示例
在中$e:expr,expr称为片段说明符。它告诉解析器该参数$e期望什么样的令牌。Rust提供了多种片段说明符,使输入非常灵活。
请注意,文档注释///comment的处理方式与#[doc="comment"]宏相同。
macro_rules! declare_const_option_type { ( $(#[$attr:meta])* const $name:ident: $ty:ty as optional; ) => { $(#[$attr])* const $name: Option<$ty> = None; } } declare_const_option_type! { ///一些文档评论 const OPT_INT: i32 as optional; } //以上内容将扩展为: #[doc="some doc comment"] const OPT_INT: Option<i32> = None;
按照设定
某些片段说明符要求标记,它后面必须是一个受限制的集合之一,称为“跟随集合”。这为Rust的语法发展提供了一定的灵活性,而又不会破坏现有的宏。
macro_rules! invalid_macro { ($e:expr + $f:expr) => { $e + $f }; //^ //+不在expr的跟随集中, //因此编译器将不接受此宏定义。 ($($e:expr)/+) => { $($e)/+ }; //^ //分隔符`/`不在`expr`的跟随集中 //因此编译器将不接受此宏定义。 }