如何优雅遍历包含混合枚举变体的Rust Vector？

你的核心需求是避免在遍历Vec<Either<T, SomeMessageType>>时反复写Either::Left/Either::Right，通过宏直接匹配内部的枚举变体。之前的宏因为规则冲突和代码结构错误无法工作，下面是修正后的实现思路和代码：

问题根源分析 #

1. 宏规则冲突：你的build_pattern宏定义了两个完全相同的匹配规则，宏只会优先匹配第一个，导致永远生成Either::Right模式，无法区分Left分支。
2. 逻辑结构错误：原宏将所有模式和处理块堆叠在一起，生成的if let和处理逻辑会导致多个处理块被依次执行，不符合匹配分支的预期行为。

正确的宏实现 #

我们可以给每个模式添加明确的标记（left:/right:），让宏知道该对应Either的哪个变体，同时生成标准的match分支结构：

#[macro_export]
macro_rules! matching_iterator {
    // 匹配带标记的模式-处理块集合，支持末尾可选逗号
    ($data:expr, { $( $tag:ident: $pattern:pat => $handler:block ),* $(,)? }) => {
        for item in $data.iter() {
            match item {
                // 为每个标记生成对应的Either变体匹配分支
                $(
                    Either::$tag($pattern) => $handler,
                )*
                // 可选：处理未匹配的情况，若不需要可移除
                _ => {}
            }
        }
    };
}

使用示例 #

结合你的代码结构，使用宏的方式如下：

enum Either<L, R> {
    Left(L),
    Right(R)
}

enum SomeMessageType {
    Foo(String),
    Baz(i32),
}

// 泛型T对应的枚举类型示例
enum MyEnum {
    Bar(bool),
    Qux,
}

fn do_something() {
    let data: Vec<Either<MyEnum, SomeMessageType>> = vec![
        Either::Left(MyEnum::Bar(true)),
        Either::Right(SomeMessageType::Foo("hello".into())),
        Either::Left(MyEnum::Qux),
        Either::Right(SomeMessageType::Baz(42)),
    ];

    matching_iterator!(data, {
        right: SomeMessageType::Foo(s) => {
            println!("收到Foo消息：{}", s);
        },
        right: SomeMessageType::Baz(n) => {
            println!("收到Baz数字：{}", n);
        },
        left: MyEnum::Bar(b) => {
            println!("收到Bar标记：{}", b);
        },
        left: MyEnum::Qux => {
            println!("收到Qux变体");
        },
    });
}

补充说明 #

• 标记的作用：left:和right:直接对应Either的变体名，宏会将标记原样替换为Either::Left/Either::Right，确保模式匹配的正确性。
• 泛型T的约束：你提到T始终是枚举变体，无需额外泛型约束——编译时Rust会自动检查模式是否与T的枚举变体匹配，若不匹配会抛出编译错误。
• 灵活性：宏支持末尾可选逗号，让代码排版更自由；若需要处理未匹配的情况，可以修改_ => {}分支的逻辑。

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