如何让Rust macro_rules的嵌套重复实现笛卡尔积匹配而非拉链匹配

你遇到的问题是Rust macro_rules的默认重复行为导致的——它默认采用拉链式匹配，也就是把$Struct和$Method的重复序列按位置一一对应，当两者数量不匹配时就会报错。要实现每个结构体对应所有方法的笛卡尔积式重复，我们可以通过辅助宏规则来解耦两个重复维度。

问题原因分析 #

你当前的宏代码：

macro_rules! impled_structs {
    ( $($Struct:ident),* ; $($Method:ident),* ) => {
        $(
            struct $Struct {}
            impl $Struct {
                $( fn $Method(&self) {} )*
            }
        )*
    };
}

这里的嵌套重复$( ... $(...)* )*会被macro_rules解释为：每个$Struct对应一个$Method，当Struct有2个而Method有3个时，数量不匹配，自然抛出错误。

解决方案：使用辅助宏解耦重复维度 #

我们可以定义一个内部辅助规则，专门负责处理单个结构体 + 所有方法的组合，然后在主宏中遍历每个结构体，调用这个辅助规则来生成对应代码。这样就能实现每个结构体都遍历所有方法的笛卡尔积效果。

修改后的宏代码如下：

macro_rules! impled_structs {
    // 主入口：匹配结构体列表和方法列表
    ( $($Struct:ident),* ; $($Method:ident),* ) => {
        $(
            // 对每个结构体，调用辅助规则生成所有方法的实现
            impled_structs!(@impl_methods $Struct; $($Method),*);
        )*
    };

    // 辅助规则：处理单个结构体的所有方法实现
    ( @impl_methods $Struct:ident ; $($Method:ident),* ) => {
        struct $Struct {}
        impl $Struct {
            $( fn $Method(&self) {} )*
        }
    };
}

// 调用测试：会为A、B分别生成f、g、h三个方法的实现
impled_structs!(A, B; f, g, h);

工作原理 #

1. 主宏遍历每一个$Struct，将单个结构体和完整的方法列表传递给辅助规则@impl_methods；
2. 辅助规则接收单个结构体和所有方法，为该结构体生成包含所有方法的impl块；
3. 这样每个结构体都会对应所有方法，完美实现笛卡尔积式的嵌套重复。

扩展到你的原始需求（实现MyTrait） #

回到你最初的宏需求——为结构体自动实现MyTrait（包含默认方法和自定义方法），同样可以用这个思路扩展：
比如我们可以调整宏来识别结构体是否带有自定义方法，然后合并默认方法和自定义方法（注意：Rust不允许同一impl块内有同名方法，如果你需要合并逻辑，可能需要后续用proc-macro处理，但macro_rules可以先实现“默认方法+自定义方法”的代码生成，即使暂时编译报错，后续再用proc-macro合并）。

示例扩展宏（简化版）：

// 假设MyTrait已定义
trait MyTrait {
    fn f(&self, arg: i32) {
        println!("f default implementation: {}", arg);
    }
    fn g(&self) {
        println!("g default implementation");
    }
}

macro_rules! impl_my_trait {
    // 匹配无自定义方法的结构体
    ( struct $Struct:ident {} ) => {
        struct $Struct {}
        impl MyTrait for $Struct {}
    };

    // 匹配带有自定义方法的结构体
    ( struct $Struct:ident { fn $CustomMethod:ident($($args:tt)*) $body:block } ) => {
        struct $Struct {}
        impl MyTrait for $Struct {
            // 先生成所有默认方法
            fn f(&self, arg: i32) {
                println!("f default implementation: {}", arg);
            }
            fn g(&self) {
                println!("g default implementation");
            }
            // 再生成自定义方法（后续需要proc-macro合并同名方法）
            fn $CustomMethod($($args)*) $body
        }
    };

    // 批量处理多个结构体
    ( $($struct_def:tt)* ) => {
        $( impl_my_trait!($struct_def); )*
    };
}

// 调用测试
impl_my_trait! {
    struct A {}
    struct B {
        fn g(&self) {
            println!("g custom implementation");
        }
    }
}

这个扩展宏利用辅助匹配规则，分别处理有无自定义方法的结构体，为每个结构体生成包含默认方法和自定义方法的impl块，完全符合你的原始需求。

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