如何泛化Rust的macro_rules!匹配以消除重复分支？

核心思路是利用Rust宏的重复模式，将所有前置参数统一收集为一个序列，再直接传递给do_things——既然do_things!本身支持多参数展开为多个独立调用，我们完全不需要为单参数/多参数分别写分支。

示例实现 #

假设你原本的宏是类似这样的重复分支：

// 原始存在重复分支的宏
macro_rules! do_more_things {
    ($x:expr, simple) => {
        do_things!($x);
        // 可能包含simple模式的专属逻辑
    };
    ($x:expr, $y:expr, complex) => {
        do_things!($x, $y);
        // 可能包含complex模式的专属逻辑
    };
}

泛化后的宏可以写成：

// 消除重复分支的泛化宏
macro_rules! do_more_things {
    ($($args:expr),*, $mode:ident) => {
        // 统一传递所有参数给do_things，自动展开为多个独立调用
        do_things!($($args),*);
        
        // 若不同模式有专属逻辑，在此统一处理即可
        match $mode {
            simple => { /* simple模式的额外操作 */ },
            complex => { /* complex模式的额外操作 */ },
            _ => panic!("不支持的模式类型")
        }
    };
}

调用示例 #

• 单参数场景：do_more_things!(foo, simple) 会展开为 do_things!(foo); 加上simple模式的专属逻辑
• 多参数场景：do_more_things!(foo, bar, complex) 会展开为 do_things!(foo, bar);（等价于do_things!(foo); do_things!(bar);）加上complex模式的专属逻辑

关键说明 #

• 重复模式$($args:expr),*可以匹配任意数量（至少1个）的表达式参数，完美覆盖单/多参数的场景
• 所有参数统一传递给do_things!，利用它本身的多参数展开特性，彻底避免分支间的重复代码
• 若不同模式存在差异逻辑，只需在统一分支内通过match或宏条件匹配处理，无需拆分独立分支

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