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); // нормально // ... }