如何匹配 Rust 宏中的特征？

Question

我的目標是作為輸入特征類型。

my_test_macro!(Trait1, Trait2<Test1, Test2=Test3>)

到目前為止，我嘗試的是編寫這樣的解析器。

$( $ty:ident < $( $N:ident $(: $b0:ident $(+$b:ident)* )? ),*  $($tname:ident=$ttype:ident),* > )+*

但它造成了當地的歧義。

error: local ambiguity: multiple parsing options: built-in NTs ident ('N') or ident ('tname').

Answer 1

您可以使用ty或path 元變量，具體取決於您要執行的操作：

macro_rules! my_test_macro {
    ($t1:ty, $t2:path) => {};
}

fn main() {
    my_test_macro!(Trait1, Trait2<Test1, Test2 = Test3>);
}

也可以看看：

• Rust 宏接受類型與泛型參數
• 是否可以編寫 Rust 宏“has_trait,(<type>?<ident>|<expr>)”？
• 如何匹配宏中的特征邊界？
• 類型中的“dyn”是什么意思？