枚举类型

枚举类型是一种名义上的、异构的不交和类型，由 enum 项的名称表示。¹

enum 项声明了该类型和若干变体，每个变体各自有独立的名称，并使用结构体、元组结构体或类单元结构体的语法。

enum 的新实例可以使用结构体表达式构造。

任何 enum 值消耗的内存与其对应 enum 类型中最大的变体一样多，外加存储判别值所需的大小。

枚举类型不能以结构方式作为类型来表示，而必须通过对 enum 项的命名引用来表示。

1. enum 类型类似于 Haskell 中的 data 构造声明，或 Limbo 中的 pick ADT。 ↩