枚举类型

一个 枚举类型 是一种标称的、异构的离散联合类型，由 enum 项 的名称表示。¹

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

enum 的新实例可以通过 结构体表达式 构造。

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

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

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