如何在Rust中实现支持带关联值枚举的通用匹配委托函数？

问题核心是要区分枚举的变体类型而非具体实例（带关联值的变体无法创建“不含具体关联值”的实例）。以下是实现通用take_value函数的具体步骤：

1. 定义变体标记枚举 #

先创建一个仅用于标记枚举变体类型的枚举，不带任何关联值：

#[derive(PartialEq, Eq, Debug)]
enum MyEnumVariant {
    ValueOne,
    ValueTwo,
    Integer,
    Text,
}

2. 给MyEnum添加变体判断方法 #

为MyEnum实现一个方法，返回当前实例对应的变体标记：

impl MyEnum {
    fn variant(&self) -> MyEnumVariant {
        match self {
            MyEnum::ValueOne => MyEnumVariant::ValueOne,
            MyEnum::ValueTwo => MyEnumVariant::ValueTwo,
            MyEnum::Integer(_) => MyEnumVariant::Integer, // 忽略具体数值，仅返回变体类型
            MyEnum::Text(_) => MyEnumVariant::Text,       // 忽略具体字符串，仅返回变体类型
        }
    }
}

3. 重写通用take_value函数 #

修改函数参数为变体标记，判断取出的枚举值是否属于目标变体：

fn take_value(iterator: &mut impl Iterator<Item = MyEnum>, expected: MyEnumVariant) -> Result<MyEnum, String> {
    match iterator.next() {
        // 取出的值变体与期望一致，返回该值
        Some(value) if value.variant() == expected => Ok(value),
        // 变体不匹配，返回错误信息
        Some(value) => Err(format!("Unexpected value {:?}", value)),
        // 迭代器耗尽，返回错误
        None => Err("Unexpected end of input!".to_string()),
    }
}

4. 调用方式 #

现在可以直接指定变体类型调用，无需关联具体值：

// 匹配无关联值的ValueOne
let value_one = take_value(&mut iterator, MyEnumVariant::ValueOne)?;
// 匹配任意Integer变体（不管内部i32具体值）
let integer_val = take_value(&mut iterator, MyEnumVariant::Integer)?;
// 匹配任意Text变体
let text_val = take_value(&mut iterator, MyEnumVariant::Text)?;

可选优化：用宏简化调用 #

如果觉得MyEnumVariant::XXX的写法繁琐，可以定义宏简化语法：

macro_rules! take_value {
    ($iter:expr, $variant:ident) => {
        take_value($iter, MyEnumVariant::$variant)
    };
}

调用时更简洁：

let value = take_value!(iterator, Integer)?;
let value = take_value!(iterator, ValueOne)?;

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