rust - 匹配一只 ARM 中的两个枚举变体，使用 Option? 绑定(bind)一个变体的字段？

Question

我想在一个匹配臂中匹配枚举的两个变体。每个字段中有一个字段是“相同”的，这意味着它具有相同的类型、名称和语义。 (下面示例中的 field0: i32 。)我想将本地 &mut i32 绑定(bind)到给定变体的 field0 。一种变体还具有不与另一种变体“共享”的字段。 (示例中的 field1: String 。)我想将其绑定(bind)到本地 Option<&mut String> 。有没有一种巧妙的方法来做到这一点？

enum Enum {
    Variant0 { field0: i32, field1: String },
    Variant1 { field0: i32 },
    Variant2,
}

fn mutate(value: &mut Enum) {
    match value {
        // Hopefully some pattern matching magic
        // to get a local &mut i32 and a local
        // Option<&mut String>.
    }
}

fn main() {
    mutate(&mut Enum::Variant0 {
        field0: 123,
        field1: "hello".to_string(),
    });

    mutate(&mut Enum::Variant1 { field0: 456 });
}

Answer 1

您可以使用 | 将两个变体的 field0 放入同一绑定(bind)中。

match value {
    Variant0 { field0, .. } | Variant1 { field0 } => println!("{field0}"),
    _ => (),
}

但是，您对 field1 的其他要求并不真正适合此语法，因此您需要手动执行。如果您只需要 & 引用，则可以在两个匹配表达式中完成，但这不太可能更漂亮。

let (field0, field1) = match value {
    Variant0 { field0, field1 } => (field0, Some(field1)),
    Variant1 { field0 } => (field0, None),
    Variant2 => return,
};
println!("{field0}, {field1:?}");