通过宏匹配类型传递和传递&和

Question

我已经把我在这个片段上看到的一个问题写下来了

macro_rules! test_impl {
    (&mut $_:ty) => { 1 };
    (&$_:ty) => { 2 };
    ($_:ty) => { 3 };
}

macro_rules! test {
    ($val: literal, $($t:ty), *) => { ($val $(, test_impl!($t))*) }
}

fn main() {
    // I'm expecting (0, 3, 2, 1) here...
    println!("{:?}", test!(0, f64, &f64, &mut f64));
}

当印刷结束时：

(0, 3, 3, 3)

似乎没有传递t类型的引用和可变部分。我明白这是怎么回事了吗？是否有办法通过外部test!宏传递“引用/哑值”并在test_impl!中进行匹配？

Answer 1

是。引用参考文献

当将匹配的片段逐例转发到另一个宏时，第二个宏中的匹配器将看到片段类型的不透明AST。第二个宏不能使用文字标记来匹配匹配器中的片段，只能使用相同类型的片段说明符。ident、lifetime和tt片段类型是异常，可以由文字标记进行匹配。

您不能使用声明性宏来解决这个问题: proc宏能够删除那些不可见的片段(它们用群组表示为无形定界符)，但是macro_rules!不能。唯一的方法是不从一开始就捕获它们，并将它们与tt匹配。匹配复杂的片段，比如ty，可能很难，并且需要tt咀嚼。