Perché "typeof enum constant" genera un avviso se confrontato con una variabile di tipo enum?

Question

Ho il seguente codice.

typedef enum {FOO, BAR} Baz; 

int main() 
{ 
    Baz f1 = FOO; 
    typeof(FOO) f2 = FOO; 
    return (f1 == f2); 
} 

mio compilazione utilizzando gcc -Wextra foo.c genera un avviso dicendo

foo.c: In function ‘main’: 
foo.c:7:13: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] 
return (f1 == f2); 
      ^

La mia versione di gcc

gcc --version 
gcc (Ubuntu 4.9.2-10ubuntu13) 4.9.2 

Come posso risolvere questo problema?

Answer 1

Citando direttamente C11, capitolo §6.7.2.2, enumerazione specificatori,

Ciascun tipo enumerato sono compatibili con char, un tipo intero con segno, o un tipo intero senza segno. La scelta del tipo è definita dall'implementazione.

Così, il tipo della variabile enum non è definita dalla norma. Può essere uno qualsiasi dei precedenti.

OTOH, FOO essendo una costante enumerazione, typeof(FOO) vi darà int, come i mandati standard di

un identificatore dichiarata come costante di enumerazione è di tipo int.

che viene utilizzato come tipo per f2.

Ora, se enum è unsigned int sulla vostra implementazione, così è f1 e, f2 è int.

Successivamente, viene visualizzato l'avviso.

Come posso risolvere questo problema?

Beh, se si cambia il tipo di f2 a typeof(Baz), che dà il tipo di enum, allora entrambi i tipi di f1 e f2 sarà lo stesso. Il compilatore sarà felice.

SEE LIVE HERE

Answer 2

E 'un noto "bug" nello standard C. Enumerazione costanti sono garantite di tipo int, mentre le variabili di enumerazione sono di tipo intero definito dall'implementazione.

See this per riferimenti.