MSVC tipo const enum

Question

const enum Alpha{ 
    X=9, 
    Y=5, 
    Z=2 
}p; 
int main(){ 
    enum Alpha a,b; 
    a= X; 
    b= Z; 

    p = X; 
    p = Y; 

    printf("%d",a+b-p); 
    return 0; 
} 

Perché p = X e p = Y è consentito nel compilatore MSVC? Questo codice emette 6. Non dovrebbe essere assegnato un valore const all'inizializzazione e mai più?

Answer 1

Questo è un bug nel compilatore stesso. Fine della storia.

Infatti, il tuo piccolo codice mostra due errori nel compilatore. Il primo bug è qui per sé:

const enum Alpha{ 
    X=9, 
    Y=5, 
    Z=2 
}p; //declaration of p is ill-formed! 

La dichiarazione di p è mal formati, e quindi il compilatore dovrebbe respingere questo codice, perché p è dichiarato const ma ha lasciato inizializzata. Un tipo const scalare (e pod) deve essere inizializzato in modo da essere ben formata:

const Alpha q;  //ill-formed (same case is with p in your code) 
const Alpha r = X; //well-formed 

Per una spiegazione dettagliata ed estesa, vedere questo:

• Why do const variables have to be initialized right away?

Answer 2

Sembra un insetto, davvero.

Prima di tutto, gli oggetti globali const devono essere inizializzati quando definiti e l'inizializzazione predefinita non è un'opzione per i tipi di enumerazione. Secondo Paragrafo 8,5/6 della C++ 11 standard:

Per default-inizializzare un oggetto di tipo T significa:

- se T è un gruppo (possibilmente cv-qualificato) tipo di classe (Clausola 9), viene chiamato il costruttore predefinito per T (e l'inizializzazione non è corretta se T non ha un costruttore predefinito accessibile);

- se T è un tipo di matrice, ciascun elemento viene inizializzato di default;

- in caso contrario, non viene eseguita alcuna inizializzazione.

Se un programma richiede l'inizializzazione predefinita di un oggetto di un tipo T qualificato const, il tipo T deve essere un tipo di classe con un costruttore predefinito fornito dall'utente.

In secondo luogo, un oggetto const non può essere assegnato dopo l'inizializzazione.

Answer 3

Modificato per concordare sul fatto che si tratta di un errore del compilatore.

Questo funziona perché il compilatore pensa erroneamente che p sia di tipo Alpha e non const Alpha. Se si riscrive questo come

enum Alpha{.... 
} const p; 

il compilatore correttamente lamentano che una costante non viene inizializzato.

error C2734: 'p' : const object must be initialized if not extern 
error C3892: 'p' : you cannot assign to a variable that is const 

Se si assegna la costante,

enum Alpha{.... 
} const p = Y; 

e rimuovere l'assegnazione a p, tutto viene compilato e funziona come previsto.