Dlaczego pojawia się błąd podczas bezpośredniego porównywania dwóch wyliczeń?

Question

Mam pewien kod, który przesyłam na nową platformę, i zaczęto podawać mi błąd dotyczący porównywania dwóch enumeratorów z dwóch różnych list wyliczeniowych. Jestem zdezorientowany, dlaczego daje mi to błąd.

wyliczenia specificers odcinek spec C (6.7.2.2) stwierdza:

The identifiers in an enumerator list are declared as constants that have type int and may appear wherever such are permitted.¹²⁷⁾ An enumerator with = defines its enumeration constant as the value of the constant expression. If the first enumerator has no =, the value of its enumeration constant is 0.

Więc powinienem być w stanie wykorzystać członków enum tak samo jak int stałych. W tym małym programem próbki:

enum first { 
    a, 
    b 
}; 

enum second { 
c, 
d 
}; 

int main(){ 
    enum first myf = a; 
    enum second mys = c; 

    if(myf == mys) 
     printf("same value\n"); 
    return 0; 
} 

Kiedy skompilowany z gcc -Wall -Werror otrzymuję komunikat:

error: comparison between ‘enum first’ and ‘enum second’ [-Werror=enum-compare]

wiem, że gdybym typecast zarówno myf i mys jak int s kompilator będzie zadowolony, podobnie jak Mogę ustawić kilka z int s z wartościami z myf i mys i wykonać porównanie; ale dlaczego muszę je usunąć, aby usunąć ostrzeżenie? Dlaczego to ostrzeżenie istnieje w pierwszej kolejności? Musi być pewne niebezpieczeństwo w tym, że nie widzę.

---

UWAGA:
Czytałem dokumentację gcc tego enum-porównać flagą, ale to nie mówi wiele o niczym:

-Wenum-compare
Warn about a comparison between values of different enumerated types. In C++ enumeral mismatches in conditional expressions are also diagnosed and the warning is enabled by default. In C this warning is enabled by -Wall.

Answer 1

To nie jest ostrzeżenie ze względu na kwestię zgodności ze standardami, jest to jeden z ostrzeżeń "to nie wydaje się właściwe". Jeśli myślisz o typowych zastosowaniach wyliczeń, takie porównanie nie ma większego sensu w wielu przypadkach. Na przykład:

enum Day { 
    Sunday, 
    Monday, 
    Tuesday, 
    Wednesday, 
    Thursday, 
    Friday, 
    Saturday 
}; 

enum Month { 
    January, 
    February, 
    March, 
    April, 
    May, 
    June, 
    July, 
    August, 
    September, 
    October, 
    November, 
    December 
}; 

enum Day day = Wednesday; 
enum Month month = April; 

if (day == month) { ... } 

To się zgadza, ale ogólnie porównanie nie ma większego sensu. Jeśli wiesz, że masz na myśli, typecast przekona kompilator, jak zauważyłeś.

Answer 2

To ostrzeżenie, bo masz ostrzeżenie flaga na. Opis flagi nie wyjaśnia, dlaczego tak jest, ale prawdopodobnie można bezpiecznie założyć, że istnieje, aby zapobiec przypadkowym porównaniom różnych typów wyliczeń, ponieważ ten błąd to zwykle .

Co więcej, masz rację, że możesz używać wartości wyliczeniowych takich samych, jak możesz mieć stałe. A jeśli powiesz, że to if (myf == c), najprawdopodobniej nie wysłałbyś ostrzeżenia (mówię najprawdopodobniej dlatego, że nie eksperymentowałem, a GCC może zrobić to, co chce, z tym ostrzeżeniem, ale technicznie c jest po prostu stałą całkową i robi nie nosić typu enum second). Zamiast tego wyraźnie porównujesz dwie wartości różnych typów wyliczeniowych.

Answer 3

Jest to ostrzeżenie, ale w przypadku kompilacji z -Wall-Werror wszystkie ostrzeżenia są traktowane jako błąd. Odpoczynek, możesz znaleźć coś podobnego.

Is there a correct way to avoid warnings when comparing two different enums?

odniesieniu

HIMS

Answer 4

if((int)myf == (int)mys)

To powinno wystarczyć. Ale to jest brudna praktyka, używaj jej tylko wtedy, gdy obie wyrazy są różnymi "wersjami" tej samej grupy, tak jak nowsza zawierałaby nowe słowa kluczowe na końcu.