Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

• С++14 предлагает шаблоны псевдонимов для всех преобразований свойств типов C++11.

В качестве общего правила объявление имени в фигурных скобках ограничивает видимость этого имени областью видимости, определяемой этими скобками. Но не так обстоит дело с перечислениями в С++98. Имена в таких перечислениях принадлежат области видимости, содержащей enum, а это означает, что ничто иное в этой области видимости не должно иметь такое же имя:

enum Color { black, white, red}; // black, white, red находятся

// в той же области видимости,

// что и Color

auto white= false; // Ошибка! white уже объяв-

// лено в этой области видимости

Тот факт, что эти имена перечисления “вытекают” в область видимости, содержащую определение их enum, приводит к официальному термину для данной разновидности перечислений: без области видимости (unscoped). Их новый аналог в С++11, перечисления с областью видимости (scoped enum), не допускает такой утечки имен:

enum classColor

{ black, white, red }; // black, white, red принадлежат

// области видимости Color

auto white= false; // OK, других white нет

Color с = white; // Ошибка! Нет имени перечисления

// "white" в этой области видимости

Color с = Color::white; // OK

auto с = Color::white; // OK (и соответствует совету

// из раздела 2.1)

Поскольку enumс областью видимости объявляются с помощью ключевого слова class, о них иногда говорят как о классах перечислений .

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

enum Color {black, white, red}; // Перечисление без

// области видимости

std::vector // Функция, возвращающая

primeFactors(std::size_t x); // простые делители x

Color с = red;

…

if (с < 14.5) { // Сравнение Color и double (!)

auto factors = // Вычисление простых делителей

primeFactors(c); // значения Color (!)

}

Добавление простого ключевого слова classпосле enumпреобразует перечисление без области видимости в перечисление с областью видимости, и это — совсем другая история. Не имеется никаких неявных преобразований элементов перечисления с областью видимости в любой другой тип:

enum classColor // Перечисление с областью видимости

{black, white, red};

Color с = Color::red; // Как и ранее, но с квалификатором

// области видимости

if (с < 14.5) { // Ошибка! Нельзя сравнивать

// Color и double

auto factors = // Ошибка! Нельзя передавать Color в

primeFactors(c); // функцию, ожидающую std::size_t

}

Если вы хотите честно выполнить преобразование из Colorв другой тип, сделайте то же, что вы всегда делаете для осуществления своих грязных желаний, — воспользуйтесь явным приведением типа:

if ( static_cast(c )< 14.5) { // Странный, но

// корректный код

auto factors = // Сомнительно, но компилируется

primeFactors ( static_cast(c ));

}

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

enum Color; // Ошибка!

enum class Color; // OK

Это заблуждение. В С++11 перечисления без областей видимости также могут быть объявлены предварительно, но только с помощью небольшой дополнительной работы, которая вытекает из того факта, что каждое перечисление в С++ имеет целочисленный базовый тип (underlying type), который определяется компилятором. Для перечисления без области видимости наподобие Color

enum Color { black, white, red };

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