Czy domyślne wartości wyliczenia w języku C są takie same dla wszystkich kompilatorów?

Podczas deklarowania enum, jak pokazano poniżej, nie wszystkie kompilatory C ustawić domyślne wartości jak x=0, y=1i z=2na obu systemach Linux i Windows?

typedef enum {
    x,
    y,
    z
} someName;

Tak. O ile nie określisz inaczej w definicji wyliczenia, początkowy moduł wyliczający zawsze ma wartość zero, a wartość każdego kolejnego modułu wyliczającego jest o jeden większy niż poprzedni moduł wyliczający.

C99 Standard

Wersja robocza N1265 C99 zawiera tekst 6.7.2.2/3 „Specyfikatory wyliczenia”

Moduł wyliczający z = definiuje stałą wyliczenia jako wartość wyrażenia stałego. Jeśli pierwszy moduł wyliczający ma no =, wartość jego stałej wyliczania wynosi 0. Każdy kolejny moduł wyliczający z no = definiuje swoją stałą wyliczania jako wartość wyrażenia stałego uzyskanego przez dodanie 1 do wartości poprzedniej stałej wyliczenia. (Użycie modułów wyliczających z = może generować stałe wyliczenia z wartościami, które powielają inne wartości w tym samym wyliczeniu).

W przypadku zgodnych implementacji zawsze obowiązują następujące zasady:

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;
}

Skompiluj i uruchom:

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

Przetestowano w Ubuntu 16.04, GCC 6.4.0.

Jeśli pierwsza wartość zmiennej wyliczeniowej nie zostanie zainicjowana, kompilator C automatycznie przypisuje wartość 0. Kompilator kontynuuje zwiększanie wartości poprzedniej zmiennej wyliczeniowej o 1.

Na przykład:

enum months{jan,feb,mar}

Wyjaśnienie: wartość jan będzie wynosić 0, luty będzie wynosić 1, mar będzie wynosić 2.

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

Wyjaśnienie: wartość Jan będzie wynosić 123, luty 999, mar będzie wynosić 1000.

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

Objaśnienie: Wartość jan to „a”, feb - „s”, mar - „t”.

Tak, wartość wyliczenia bydefult zaczyna się od 0 do n-tego elementu na dowolnej platformie.