Ответ

Перечисления (enum) в языке C — это способ задать набор целочисленных именованных констант. Типичный синтаксис:

enum Color { RED, GREEN, BLUE };

По умолчанию первому значению присваивается 0, каждому следующему — предыдущее + 1.

Преимущества перечислений:

Повышение читаемости: вместо магических чисел используются осмысленные имена.
Упрощает группировку родственных констант.
Позволяет компилятору делать дополнительные проверки типов (при условии использования enum как самостоятельного типа).

Слабые стороны:

enum в стандарте C имеет тип int (до C99), поэтому нет строгой безопасности типов.
Неявное преобразование между enum и int (нет контроля диапазона).
Нельзя явно задать тип в C90/C99 (только начиная с C11: enum MyType : unsigned char — но это расширение).

Пример:

enum State {
    INIT = -1,
    RUNNING = 0,
    PAUSED = 1,
    STOPPED = 2
};

enum State current = RUNNING;

Вопрос с подвохом

Вопрос: Можно ли безопасно сравнивать значения разных перечислений между собой?

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

Пример ошибки:

enum Fruit { APPLE, BANANA };
enum Animal { CAT, DOG };
if ((enum Fruit)BANANA == (enum Animal)CAT) { ... } // Логическая ошибка

Примеры реальных ошибок из-за незнания тонкостей темы

История

В межпроцессорном протоколе сообщения ограничивались #define с неуникальными именами, что привело к коллизиям значений при расширении протокола. Перевод на enum позволил упростить контроль используемых идентификаторов и упростить дебаг.

История

В крупной библиотеке обработка состояния осуществлялась по жестким значениям int. При рефакторинге забыли синхронизировать все define до новых значений. Использование enum позволило это предотвратить, но один модуль продолжал использовать устаревшие define, вызывая сложные для выявления ошибки.

История

В системе управления роботизированными узлами инженер не задал явно значения для первого элемента enum (использован был только второй и третий). Программа работала некорректно, потому что по умолчанию первый элемент имел значение 0, что конфликтовало с логикой протокола обмена, ожидавшей другое значение.