unsigned se convierte en firmado en las comparaciones if-statement?

Question

He buscado en este sitio una respuesta y he encontrado muchas respuestas a la comparación sin firma/firmada, pero este problema es que solo se comparan los parámetros sin firmar, pero aún así funciona de manera divertida.

El problema con el siguiente código es que el primer if -statment no ocurre ("hola") donde lo hace el segundo ("mundo"). Esto lo he interpretado como el cálculo que se realiza dentro del if -statment genera un número negativo pero el mismo cálculo hecho con el resultado guardado en una variable no lo hace (aunque el resultado se guarda en una variable con signo).

El compilador utilizado es gcc 4.4.

unsigned short u16_varHigh; 
unsigned short u16_varLow; 
unsigned short u16_Res1; 
signed short s16_Res1; 

u16_varHigh = 0xFFFF; 
u16_varLow = 10; 

u16_Res1 = u16_varLow - u16_varHigh; // response is 11 as expected 
s16_Res1 = u16_varLow - u16_varHigh; // response is 11 as expected 

// Does not enter 
if((u16_varLow - u16_varHigh) > (unsigned short)5) 
{ 
printf("hello"); 
} 

// Does enter 
if((unsigned short)(u16_varLow - u16_varHigh) > 5) 
{ 
printf("world"); 
} 

Puede alguien explicar esto para mí y tal vez llegar a una solución para una solución de manera que la primera if -statement funciona tan bien?

Answer 1

En la expresión:

if((u16_varLow - u16_varHigh) > (unsigned short)5) 

(u16_varLow - u16_varHigh) será promovido a una int y evaluar a -65525. La solución para su problema es convertir a un tipo sin firmar, como lo hace en el código "Does enter".

La razón s16_Res1 = u16_varLow - u16_varHigh; produce 11 es que el resultado de la resta, -65525, no cabe en un corto.

Answer 2

El primero, if((u16_varLow - u16_varHigh) > (unsigned short)5) nunca pasará, ya que (u16_varLow - u16_varHigh) devuelve un número negativo, porque se trata como un número entero. El segundo arroja el mismo número negativo, a corto sin firmar, por eso pasa.

Nota - usted sabe que todo esto depende de la plataforma, ¿verdad? El tamaño de short, int, etc. depende de la plataforma de hormigón.

Answer 3

En las otras respuestas que hemos visto que

u16_varLow - u16_varHigh 

para usted (con 16 bits short y 32 bits int) es equivalente a

(int)u16_varLow - (int)u16_varHigh 

y por lo tanto su resultado es el valor int-65525 . Por lo tanto la asignación

s16_Res1 = u16_varLow - u16_varHigh; 

es equivalente a

s16_Res1 = -65525; 

que en su caso de 16 bits short produce "comportamiento indefinido". Simplemente tiene la mala suerte de que su compilador decida asignar 11, en su lugar. (Mala suerte, porque creo que es mejor fallar temprano.)

En contraste con esto

u16_Res1 = -65525; 

es una asignación válida desde u16_Res1 es de un tipo sin signo y la aritmética de los tipos sin signo es de módulo la potencia adecuada de dos.

Answer 4

En las "conversiones aritméticas habituales", los tipos más pequeños que int se promueven a int o unsigned int antes de que se usen en la mayoría de las expresiones. La regla es que si int puede representar todos los valores del tipo más pequeño, entonces se promueve a int; de lo contrario, se promociona al unsigned int. Esto a menudo se considera algo así como una verruga, porque en muchos casos provoca que los valores unsigned char y unsigned short se promuevan a int.

Esto es exactamente lo que se está viendo - u16_varLow y u16_varHigh y (unsigned short)5 todos son promovidos a int antes de la resta y la comparación, que luego suceda usando int. Si desea estar seguro de que una expresión aritmética utilizará sin firmar, debe hacerlo en unsigned int, no unsigned short:

if(((unsigned)u16_varLow - (unsigned)u16_varHigh) > 5U)