Являются ли значения переполнения по умолчанию для C одинаковыми для всех компиляторов?

При объявлении перечисления, как показано ниже, все ли компиляторы C задали значения по умолчанию как x=0, y=1 и z=2 в системах Linux и Windows?

typedef enum {
    x,
    y,
    z
} someName;

Ответ 1

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

Ответ 2

C99 Standard

В проекте N1265 C99 сказано в 6.7.2.2/3 "Спецификаторы перечисления"

Перечислитель с = определяет свою константу перечисления как значение константного выражения. Если первый перечислитель имеет no =, значение его константы перечисления равно 0. Каждый последующий перечислитель с no = определяет свою константу перечисления как значение выражения константы, полученного путем добавления 1 к значению предыдущей константы перечисления. (Использование перечислителей с = может создать константы перечисления со значениями, которые дублируют другие значения в том же перечислении.)

Таким образом, следующее всегда соответствует соответствующим реализациям:

main.c

#include <assert.h>
#include <limits.h>

enum E {
    E0,
    E1,
    E2 = 3,
    E3 = 3,
    E4,
    E5 = INT_MAX,
#if 0
    /* error: overflow in enumeration values */
    E6,
#endif
};

int main(void) {
    /* If unspecified, the first is 0. */
    assert(E0 == 0);
    assert(E1 == 1);
    /* Repeated number, no problem. */
    assert(E2 == 3);
    assert(E3 == 3);
    /* Continue from the last one. */
    assert(E4 == 4);
    assert(E5 == INT_MAX);
    return 0;
}

Скомпилируйте и запустите:

gcc -std=c99 -Wall -Wextra -pedantic -o main.out main.c
./main.out

Протестировано в Ubuntu 16.04, GCC 6.4.0.

Ответ 3

Если первое значение переменной enum не инициализировано, то компилятор C автоматически присваивает значение 0. Компилятор продолжает увеличивать значение предыдущей переменной enum на 1.

Например:

enum months{jan,feb,mar}

Пояснение: значение jan будет 0, фев будет 1, mar будет 2.

enum months{jan=123,feb=999,mar}

Пояснение: значение jan будет 123, фев будет 999, март будет 1000.

enum months{jan='a',feb='s',mar}

Пояснение: значение jan будет "a", feb будет "s", mar будет "t".

Ответ 4

Да, значение enum bydefult начинается с 0 до n'th элемента на любую платформу.