R.7.2 Описание перечисления.

• R.7 Описания
  • R.7.2 Описание перечисления

Перечисление является отдельным целочисленным типом ($$R.3.6.1) с константами-именами. Его имя в своей области видимости становится конструкцией имя-перечисления, т.е. служит зарезервированным словом.

           имя-перечисления:
               идентификатор

           спецификация-перечисления:
               enum идентификатор opt { список-перечисления }

           список-перечисления:
               элемент-перечисления
               список-перечисления , элемент-перечисления

           элемент-перечисления:
               идентификатор
               идентификатор = выражение-константа

Все идентификаторы из списка-перечисления считаются описанными как константы и могут появляться всюду, где требуются константы. Если не было элементов перечисления с =, то значения констант начинаются с нуля и последовательно увеличиваются на единицу по мере продвижения в списке слева направо. Если элемент перечисления встретился с =, то его идентификатор принимает заданное значение, а последующие идентификаторы без инициализирующей части будут получать возрастающие значения, начиная с заданного. Значение элемента перечисления должно быть типа int или значением, которое можно привести к int с помощью стандартных целочисленных преобразований ($$R.4.1).

Имена элементов перечисления должны быть отличны от имен обычных переменных и других элементов перечисления той же области видимости. Значения элементов перечисления не обязаны отличаться друг от друга. Считается, что элемент перечисления описан с момента появления его идентификатора или инициализирующего значения, (если оно есть). Например, в определениях

           enum { a, b, c=0 };
           enum { d, e, f=e+2 };

значения a, c, и d заданы как 0, b и e как 1, а f как 3.

Каждое перечисление является целочисленным типом, который отличен от всех других целочисленных типов. Типом элемента перечисления считается данное перечисление. Значение элемента перечисления или объекта типа перечисления преобразуется к целому с помощью стандартных целочисленных преобразований ($$R.4.1). Например, в следующем фрагменте:

           enum color { red, yellow, green=20, blue };
           color col = red;
           color* cp = &col;
           if (*cp == blue ) // ...

color задан как целочисленный тип, описывающий разные цвета, col описан как объект этого типа, а cp как указатель на объект этого типа. Возможными значениями объекта типа color являются red, yellow, green, blue. Эти значения можно преобразовать в целые значения 0, 1, 20 и 21. Поскольку каждое перечисление - это отдельный тип, объекту типа color можно присваивать только значения типа color, например,

           color c = 1;    // ошибка: несоответствие типов
                           // нет преобразования от int в color

           int i = yellow; // нормально: yellow преобразуется в int со значением 1
                           // стандартное целочисленное преобразование

Обратитесь также к $$R.18.3.

Элементы перечисления, определенные в классе ($$R.9), относятся к области видимости этого класса, и к ним можно обращаться извне функций-членов этого класса только с помощью явного уточнения именем класса ($$R.5.1). Имя самого типа перечисления локально в этом классе ($$R.9.7), например,

           class X {
           public:
               enum direction { left='l', right='r' };
               int f(int i)
                   { return i==left ? 0 : i==right ? 1 : 2; }
           };

           void g(X* p)
           {
             direction d;        // ошибка: `direction' вне
             int i;              // области видимости
             i = p->f(left);     // ошибка: `left' тоже невидим
             i = p->f(X::right); // нормально
             // ...
           }