comportamento avvertimento Strano con gcc e firmate/i confronti non firmati

Question

Ho il seguente codice:

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

Quando si compila, gcc si lamenta

avvertimento: "confronto tra firmato e unsigned"

OK, ho capito

Ma, con il seguente codice:

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

L'avvertimento non viene più visualizzato e io davvero non so perché ... v'è alcuna ragione logica per un tale comportamento o sto facendo qualcosa di sbagliato ?!

Answer 1

La risposta sta nel modo in cui gcc gestisce int e unsigned int.

unsigned int e int memorizzano entrambi un valore di 2 byte. La differenza tra loro è che unsigned int non supporta valori negativi. Può solo memorizzare valori da 0 a 65.535. Quando GCC vede un confronto tra int e unsigned int converte l'int in un numero positivo. ad esempio, se il valore di int è -2, verrà convertito in 2. Ma se l'int è preceduto dall'operatore(). (Int). GCC lo interpreta come un numero positivo (ma lo converte ancora) e non fornisce un avvertimento.

Answer 2

È perché è un bug. Vedere bug 50012

Answer 3

Io attualmente non hanno accesso a un compilatore C++ di testare questo, ma penso che questo potrebbe funzionare senza avvisi:

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