枚举类型
枚举类型是一种有名、异构的、不相交的联合类型,由 enum
项 的名称表示。1
enum
项声明了类型以及若干变体,每个变体都有独立的名称,并具有结构体、元组结构体或单元结构体的语法。
可以使用 结构体表达式构造 enum
的新实例。
任何 enum
值所消耗的内存与其对应的 enum
类型中最大变体所需内存以及存储判别符所需的大小相同。
枚举类型不能结构性地表示为类型,而必须通过对 enum
项的命名引用来表示。
1
enum
类型类似于 Haskell 中的 data
构造函数声明,或 Limbo 中的 pick ADT。