为什么Rust有struct和enum？

Question

Rust的枚举是代数数据类型。据我所知，这似乎包含了struct是什么。struct有什么不同之处需要保留它？

Answer 1

不是100%正确，但是另一种很好的思考方式：enum实际上并不优于struct，语法糖只是让它看起来像是这样。

enum是一种求和类型，意味着它的值是一组其他类型之一的值。结果

enum Animal {
    // without syntax sugar
    Cat(i32),  
    // desugars to `Dog(())` (empty tuple/unit) 
    Dog,
    // desugars to `Horse((i32, bool))` (tuple)
    Horse(i32, bool),
    // desugars to `Eagle(GeneratedEagleType)` and a struct definition outside
    // of this enum `struct GeneratedEagleType { weight: i32, male: bool }`
    Eagle { weight: i32, male: bool }
}

因此，如果每个enum变量只与一种类型关联就足够了。在这种情况下，enum并不优于struct，因为它不能构造产品类型（如struct）。

能够在枚举变量定义中写入“类型定义”只是为了方便。

另外：struct也优于“tuple-structs”和“tuple”。如果我们忽略这三个名字，这三件事几乎是等价的。但为了方便起见，Rust仍然有这三种不同的类型。

请注意，我不知道这些枚举定义是否实际上是语法糖。但他们可能是，这可能有助于思考。它

Answer 2

首先，Rust具有广泛的数据类型：

• 带有命名字段的结构（struct Foo{bar:uint}）
• 元组结构（structfoo（pub-Bar，Baz））
• 没有字段的结构（struct Foo；）
• 枚举，具有各种类型的变体：
  • 没有字段的变体（例如None）
  • 元组变体（例如Some（T））
  • 结构变量（例如一些{pub-inner:T}）

  这为程序员定义数据类型提供了一些灵活性。通常，您不需要命名字段，尤其是当结构/变量只有一个字段时。Rust允许您在这种情况下使用元组结构/元组变体。

  如果将结构从锈迹中移除，则不会丢失功能，可以再次使用带有结构变体的枚举。但是会有大量的单变量枚举，使用起来既不必要又麻烦。

Answer 3

首先，你是正确的，在语义上enum在表示什么方面严格优于struct，因此struct有些冗余。

然而，这里还有其他因素在起作用。

>

区别：一个enum是一个带标签的联合体，一个struct有一个固定的布局；我们（程序员）通常喜欢在东西上贴标签，因此给不同的功能赋予不同的名称是值得赞赏的。

在我看来，struct因此是语法糖。我通常更喜欢瘦肉型的，但一点糖可以大大增加简洁的表达。