Rust macro_rules宏传递&/&mut类型匹配失效如何解决

问题复现 #

使用Rust声明宏开发时，出现外层宏接收的引用/可变引用类型传入内层宏后无法被正确匹配的问题，最小复现代码如下：

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

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

fn main() {
    // 预期输出 (0, 3, 2, 1)
    println!("{:?}", test!(0, f64, &f64, &mut f64));
}

代码实际运行输出为：

(0, 3, 3, 3)

所有类型参数都命中了内层宏的普通类型兜底分支，和预期输出不符。

问题原因 #

对Rust声明宏的片段捕获传递机制的理解存在偏差，核心规则如下：

• 声明宏中使用$:ty片段捕获内容时，捕获到的是已经被解析完成的独立类型AST节点，不是组成类型的原始token序列。
• 外层test!宏用$t:ty捕获&f64、&mut f64这类引用类型后，再把$t传入内层test_impl!时，内层宏接收到的是单个不可拆分的完整类型token，无法识别到开头的&或&mut标记，因此永远无法命中前两个专门匹配引用类型的分支，只会走到第三个兜底分支返回3。

修复方案 #

外层宏不要使用ty片段捕获待传递的类型参数，改用tt（token树）片段捕获即可保留原始token结构，传入内层宏后可以正常按token序列匹配分支。修复后代码如下：

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

macro_rules! test {
    // 将原捕获规则中的$t:ty替换为$t:tt
    ($val: literal, $($t:tt), *) => { ($val $(, test_impl!($t))*) }
}

fn main() {
    println!("{:?}", test!(0, f64, &f64, &mut f64));
}

修复后运行输出为(0, 3, 2, 1)，完全符合预期。

补充说明：如果需要传递带泛型、带模块路径的复杂类型，可以根据实际场景结合递归宏、多token捕获规则调整匹配逻辑，上述方案可以覆盖基础类型、引用、可变引用的常规匹配需求。

内容的提问来源于stack exchange，提问作者mattlangford