为什么我不能直接访问枚举字段？

Question

我只是在学习 Rust。 所以我知道这是可行的：

enum Animal {
    Cat { name: String, weight: f64 }
}

fn main() {
    let a = Animal::Cat { name: "Spotty".to_string(), weight: 2.7 };
    match a {
        Animal::Cat{name, weight} => { println!("Cat n={} w={}", name, weight); }
    }
}

但是为什么我不能像这样直接从枚举字段分配：

    ...
    let wt = a.weight;

还是我使用了错误的语法？还是因为 Rust 不能保证 Animal 实例的类型是 Cat？ 是使用match 访问枚举结构或元组变体实例的字段的唯一方法吗？

Answer 1

这是因为weight 不是Animal 枚举的一部分，它是Cat 枚举类型的一部分。假设将来您添加了另一种没有体重信息的动物：

enum Animal {
    Cat { name: String, weight: f64 },
    Insect { species: String, height: f64 },
}

那么a.weight 并不总是有值。您可以使用if let 或match 有条件地从enum 获取数据（如果存在）：

if let Animal::Cat { weight, .. } = a {
    println!("Your cat weights {} kg.", weight);
} else {
    println!("get a cat");
};

Answer 2

还是因为 Rust 不能保证 Animal 实例的类型是 Cat？

是的。在一个普通的枚举中，你会有多个变体，它们可能有也可能没有相同的类型，因此也有字段（实际上有些可能根本没有字段）。

因此，虽然 rust 在技术上可以通过单个变体或所有变体都具有属性的兼容版本的情况下对枚举进行属性访问，但这些情况很少见，它们并不重要，而且这种情况的价值复杂性基本上为零。

我没有正确地看到使用单变量枚举的意义，你为什么不只是使用结构？

struct Cat { name: String, weight: f64 }

?

是使用 match 访问枚举结构或元组变体实例的字段的唯一方法吗？

您也可以使用if let，尽管这基本相同。 或者您可以有一个公开信息的方法（内部带有match 或if let），为了方便（或者因为变体是私有的）。