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

Top  Previous  Next

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

Каждый литерал задаётся идентификатором ("Идентификатор"), уникальным в рамках данного перечислимого типа.

 

Описание перечислимого типа задается последовательностью литералов через запятую.

Например,  для синтаксиса Ada

 type Цвет is (зеленый, желтый, синий);

для синтаксиса C#

 type Цвет is enum {зеленый, желтый, синий},

 

Для каждого перечислимого типа определены следующие операции:

"=" ("==" для C#) – отношение равенства;

"!=" – отношение неравенства;

">" – отношение "больше";

">=" – отношение "больше или равно";

"<" – отношение "меньше";

"<=" – отношение "меньше или равно".

 

Литералы различных перечислимых типов могут иметь совпадающие идентификаторы. Например,

 type Цвет is (зеленый, желтый, синий),

 type Светофор is (красный, желтый, зеленый).

Для преодоления неоднозначностей можно использовать имя литерала с указанием имени типа (например, «Цвет.желтый», «Светофор.желтый»).