枚举类型

枚举类型是一种有名、异构的、不相交的联合类型,由 enum 的名称表示。1

enum声明了类型以及若干变体,每个变体都有独立的名称,并具有结构体、元组结构体或单元结构体的语法。

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

任何 enum 值所消耗的内存与其对应的 enum 类型中最大变体所需内存以及存储判别符所需的大小相同。

枚举类型不能结构性地表示为类型,而必须通过对 enum的命名引用来表示。

1

enum 类型类似于 Haskell 中的 data 构造函数声明,或 Limbo 中的 pick ADT