Warum generiert 'typeof enum constant' eine Warnung im Vergleich zu einer Variablen vom Typ enum?

Question

Ich habe den folgenden Code.

typedef enum {FOO, BAR} Baz; 

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

Meine Kompilation gcc -Wextra foo.c mit einer Warnung sagen

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

Meine gcc Version

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

Wie kann ich dieses Problem beheben?

Answer 1

§6.7.2.2, direkt von C11 Kapiteln Zitiert Enumeration Spezifizierer,

Jeder Aufzählungstyp wird mit char ein vorzeichenbehaftete Ganzzahl-Typ oder ein Integer-Typ unsigned kompatibel sein. Die Wahl des Typs ist implementierungsdefiniert.

Also, der Typ des Enum-Variable wird nicht von Standard definiert. Es kann einer der oben genannten sein.

OTOH, FOO eine Aufzählung Konstante ist, wird typeof(FOO) geben Sie int, wie die Standard-Mandate

Ein erklärt Kennung als eine Aufzählung Konstante Typ int hat.

, die als Typ für f2 verwendet wird. Jetzt

, wenn Enum unsigned int auf Ihre Implementierung ist, ist so f1 und f2 ist int.

Als nächstes erhalten Sie die Warnung.

Wie kann ich dieses Problem beheben?

Nun, wenn Sie die Art der f2 zu typeof(Baz) ändern, die den Typ der Enumeration gibt, dann die beiden Typen von f1 und f2 gleich sein wird. Compiler wird glücklich sein.

SEE LIVE HERE

Answer 2

Es ist ein bekannter "Bug" in dem C-Standard. Die Enumeration Konstanten sind garantiert vom Typ int, während die Enumeration Variablen vom implementation-defined Integer-Typ sind.

See this für Referenzen.