comportamiento advertencia extraño con gcc y firmados/comparaciones sin firmar

Question

Tengo el siguiente código:

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

Al compilar, gcc se queja de

advertencia: "la comparación entre el signo y sin signo"

OK, entiendo

Pero, con el siguiente código:

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

La advertencia ya no se muestra y realmente no sé por qué ... ¿Hay alguna razón lógica para tal comportamiento o estoy haciendo algo mal ?!

Answer 1

La respuesta está en la forma en que gcc maneja int y unsigned int.

y int almacenan un valor de 2 bytes. La diferencia entre ellos es que unsigned int no admite valores negativos. Solo puede almacenar valores de 0-65,535. Cuando GCC ve una comparación entre int y unsigned int, convierte el int en un número positivo. Por ejemplo, si el valor de int es -2, lo convertirá en 2. Pero si el int está precedido por el operador(). (En t). GCC lo interpreta como un número positivo (pero aún lo convierte) y no da una advertencia.

Answer 2

Es porque es un error. Ver bug 50012

Answer 3

no tienen actualmente acceso a un compilador de C++ para probar esto, pero creo que esto podría funcionar sin ningún tipo de advertencias:

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