Dziwne zachowanie ostrzeżenie z gcc i podpisane/niepodpisane porównania

Question

Mam następujący kod:

unsigned int a; 
if (a > numeric_limits<int>::max()) 
    do_stuff(); 

Podczas kompilacji gcc narzeka na

ostrzeżenie: "porównania między podpisane i niepodpisane"

OK, rozumiem

Ale z następującym kodem:

unsigned int a; 
if (a > (numeric_limits<int>::max())) 
    do_stuff(); 

Ostrzeżenie nie jest już wyświetlany, a ja naprawdę nie wiem, dlaczego ... Czy istnieje jakiś logiczny powód takiego zachowania albo robię coś źle ?!

Answer 1

Odpowiedź leży w sposobie, w jaki gcc obsługuje int i unsigned int.

i int oba przechowują wartość 2-bajtową. Różnica między nimi polega na tym, że unsigned int nie obsługuje wartości ujemnych. Może przechowywać tylko wartości od 0-65,535. Gdy GCC widzi porównanie int i unsigned int, konwertuje int na liczbę dodatnią. np. jeśli wartość int wynosi -2, zmieni ją na 2. Ale jeśli int jest poprzedzone operatorem(). (int). GCC interpretuje ją jako liczbę dodatnią (ale nadal ją konwertuje) i nie daje ostrzeżenia.

Answer 2

To dlatego, że jest to błąd. Zobacz bug 50012

Answer 3

nie mają obecnie dostępu do C++ do sprawdzenia tego, ale myślę, że to może działać bez żadnych ostrzeżeń:

unsigned int a; 
if (a > numeric_limits<unsigned int>::max()) 
    do_stuff();