枚举类型
枚举类型 是一种具名的、异构的不相交联合类型,由一个 enum
条目 的名称表示。1
enum
条目 声明了类型以及若干个 变体 ,每个变体都有独立的名称,语法类似于结构体、元组结构体或单元结构体。
可以使用 结构体表达式 来构造枚举的新实例。对于枚举类型,任何一个 enum
值消耗的内存都至少等于对应枚举类型中最大的变体的内存大小加上需要存储一个标识符的大小。
枚举类型无法通过类型来进行结构上的表示,而必须通过指向 enum
条目 的命名引用来表示。
1
enum
类型类似于 ML 中的 data
构造声明,或者 Limbo 中的 pick ADT 。