rust - "no rules expected the token ` < `"将类型作为标识传递给 macro_rules

Question

玩具示例:

macro_rules! boo {
    ($T:ident) => {
        let x: $T;
    };
}

fn main() {
    boo!(i32);         // WORKS
    boo!(Option<i32>); // PROBLEM
}

boo!(Option<i32>);导致错误:

error: no rules expected the token `<`
 --> src/main.rs:9:16
  |
9 |     boo!(Option<i32>);
  |                ^

我可以解决这个问题:

type Opti32 = Option<i32>;
boo!(Opti32);

但是每次使用宏都加一个别名太无聊了。是否可以使用像boo!(Option<i32>);这样的宏并隐藏里面的难点macro_rules ？

Answer 1

$T:ident 只能匹配一个identifier。

如果您希望 $T 匹配任何类型，即使它不是单个标识符，您也应该使用 $T:ty :

macro_rules! boo {
    ($T:ty) => {
        let x: $T;
    }
}

ident 和 ty 被称为“片段说明符”，因为它们指定元变量 $T 可以匹配什么样的代码片段。 Rust 书的第一版有 a chapter on macros ，包括可能的片段说明符列表；在尝试编写宏之前，您一定要熟悉本章的内容。