Перечислимые типы

Перечислимый тип — это номинальный, гетерогенный тип разделенного объединения, обозначаемый именем элемента enum. ¹

Элемент enum объявляет как тип, так и ряд вариантов, каждый из которых имеет независимое имя и синтаксис структуры, кортежной структуры или структуры-единицы.

Новые экземпляры enum могут быть созданы с помощью выражения структуры.

Любое значение enum потребляет столько памяти, сколько самый большой вариант для его соответствующего типа enum, а также размер, необходимый для хранения дискриминанта.

Типы перечислений не могут быть обозначены структурно как типы, но должны быть обозначены именованной ссылкой на элемент enum.

1. Тип enum аналогичен объявлению конструктора data в Haskell или pick ADT в Limbo. ↩