枚举类型

枚举类型是具名的、异构的不相交联合类型，由 enum 项的名称表示。¹

enum 项声明类型和若干变体，每个变体独立命名，并具有结构体、元组结构体或类单元结构体的语法。

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

任何 enum 值消耗的内存等于其对应 enum 类型的最大变体的大小，以及存储判别值所需的大小。

枚举类型不能结构化地表示为类型，而必须通过命名引用 enum 项来表示。

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