枚举类型

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

enum 项目声明了类型和多个变体,每个变体都独立命名,并具有结构体、元组结构体或类单元结构体的语法。

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

任何enum值占用的内存空间与其对应enum类型的最大变体相同,以及存储判别式所需的大小。

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

1

enum类型类似于ML中的data构造函数声明,或Limbo中的选择ADT