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