Почему enum class считается более безопасным, чем обычный enum в C++?

В чём суть проблемы с обычным enum?

Обычный enum в C++ — это по сути просто набор именованных целочисленных констант. Он не создаёт отдельного типа, а лишь "выбрасывает" имена в окружающую область видимости. Это приводит к трём основным проблемам:

• Загрязнение области видимости: имена элементов перечисления становятся доступны везде, где объявлен enum. Поэтому два разных enum не могут иметь одинаковые имена элементов (как в вашем примере с Color и TrafficLight).
• Неявное преобразование к целому типу: любой enum можно неявно преобразовать в int (и обратно). Это позволяет писать бессмысленный код вроде Color c = 5; или if (c == 0), что разрушает типовую безопасность.
• Отсутствие контроля над базовым типом: размер обычного enum зависит от компилятора (обычно int), что может быть проблемой при сериализации или работе с битовыми флагами.

Как enum class решает эти проблемы?

enum class (также известный как scoped enumeration) был введён в C++11 именно для устранения этих недостатков. Вот ключевые отличия:

enum class Color { RED, GREEN, BLUE };
enum class TrafficLight { RED, GREEN, YELLOW }; // Теперь это работает!

int main() {
    // Color c = RED;         // Ошибка! RED не виден без квалификатора
    Color c = Color::RED;     // Правильно: нужно указывать область видимости
    TrafficLight t = TrafficLight::RED; // Имена не конфликтуют

    // int x = Color::RED;    // Ошибка! Нет неявного преобразования
    int x = static_cast<int>(Color::RED); // Только явное преобразование

    // if (c == 0) { }        // Ошибка! Нельзя сравнить с int
    // if (c == t) { }        // Ошибка! Нельзя сравнить разные типы
    if (c == Color::RED) { }  // Только сравнение с тем же типом

    return 0;
}

Что ещё даёт enum class?

• Явное указание базового типа: enum class Color : char { RED, GREEN }; — теперь каждый элемент занимает 1 байт, а не 4.
• Прямая и обратная итерация: можно задать значения вручную: enum class Flags : unsigned { NONE = 0, READ = 1, WRITE = 2 };
• Безопасное использование в switch: компилятор предупредит, если вы забыли обработать все варианты (при включённом флаге -Wswitch).

Подводные камни и советы

• Небольшое неудобство: нужно всегда писать Color::RED вместо RED. Но это плата за безопасность. Если очень хочется, можно сделать using enum Color; (C++17).
• Совместимость с C-стилем: если вы работаете с C-библиотеками, которые ожидают int, придётся делать static_cast. Для таких случаев можно оставить обычный enum, но обернуть его в пространство имён.
• Производительность: никаких накладных расходов — enum class так же эффективен, как и обычный enum, на уровне машинного кода.

Вывод: всегда используйте enum class по умолчанию. Обычный enum оставьте только для обратной совместимости с C-кодом или в очень редких случаях, когда нужна неявная конвертация в int (например, для битовых масок, но и там лучше использовать enum class с перегрузкой операторов).

namespace Flags {
    enum Type { NONE = 0, READ = 1, WRITE = 2, EXEC = 4 };
}
int main() {
    int f = Flags::READ | Flags::WRITE; // Работает
}