Читаем Программирование. Принципы и практика использования C++ Исправленное издание полностью

Программирование. Принципы и практика использования C++ Исправленное издание

Обратите внимание на то, что Month — это отдельный тип. Он может быть неявно преобразован в тип int, но неявного преобразования типа Month в тип int не существует. Это имеет смысл, поскольку каждый объект класса Month имеет эквивалентное целое значение, но большинство целых чисел не имеет эквивалентного значения типа Month. Например, мы преднамеренно написали неправильную инициализацию.

Month bad = 9999; // ошибка: целое число невозможно преобразовать

// объект типа Month

Если вы настаиваете на использовании обозначения Month(9999), то сами будете виноваты! Во многих ситуациях язык С++ не пытается останавливать программиста от потенциально опасных действий, если программист явно на этом настаивает; в конце концов, программисту, действительно, виднее.

К сожалению, мы не можем определить конструктор для перечисления, чтобы проверить начальные значения, но написать простую функцию для проверки не составляет труда.

Month int_to_month(int x)

{

if (x

return Month(x);

}

Теперь можно написать следующий код:

void f(int m)

{

Month mm = int_to_month(m);

// ...

}

Для чего нужны перечисления? В основном перечисление полезно, когда нам нужно множество связанных друг с другом именованных целочисленных констант. Как правило, с помощью перечислений представляют наборы альтернатив (up, down; yes, no, maybe; on, off; n, ne, e, se, s, sw, w, nw) или отличительных признаков (red, blue, green, yellow, maroon, crimson, black).

Обратите внимание на то, что элементы перечисления не входят в отдельную область видимости своего перечисления; они находятся в той же самой области видимости, что и имя их перечисления. Рассмотрим пример.

enum Traffic_sign { red, yellow, green };

int var = red; // примечание: правильно Traffic_sign::red

Этот код вызывает проблемы. Представьте себе, что в вашей программе в качестве глобальных используются такие распространенные имена, как red, on, ne и dec. Например, что значит ne: “северо-восток” (northeast) или “не равно” (nor equal)? Что значит dec: “десятичный” (decimal) или “декабрь” (December)? Именно о таким проблемах мы предупреждали в разделе 3.7. Они легко возникнут, если определить перечисление с короткими и общепринятыми именами элементов в глобальном пространстве имен. Фактически мы сразу сталкиваемся с этой проблемой, когда пытаемся использовать перечисление Month вместе с потоками iostream, поскольку для десятичных чисел существует манипулятор с именем dec (см. раздел 11.2.1). Для того чтобы избежать возникновения этих проблем, мы часто предпочитаем определять перечисления в более ограниченных областях видимости, например в классе. Это также позволяет нам явно указать, на что ссылаются значения элементов перечисления, такие как Month::jan и Color::red. Приемы работы с перечислениями описываются в разделе 9.7.1. Если нам очень нужны глобальные имена, то необходимо минимизировать вероятность коллизий, используя более длинные или необычные имена, а также прописные буквы. Тем не менее мы считаем более разумным использовать имена перечислений в локальных областях видимости.

9.6. Перегрузка операторов

Для класса или перечисления можно определить практически все операторы, существующие в языке С++. Этот процесс называют перегрузкой операторов (operator overloading). Он применяется, когда требуется сохранить привычные обозначения для разрабатываемого нами типа. Рассмотрим пример.

enum Month {

Jan=1, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Oct, Nov, Dec

};

Month operator++(Month& m) // префиксный инкрементный оператор

{

m = (m==Dec) ? Jan : Month(m+1); // "циклический переход"

return m;

}

Конструкция ? : представляет собой арифметический оператор “если”: переменная m становится равной Jan, если (m==Dec), и Month(m+1) в противном случае. Это довольно элегантный способ, отражающий цикличность календаря. Тип Month теперь можно написать следующим образом: