non firmato diventa firmato nel confronto delle istruzioni if?

Question

Ho cercato questo sito per una risposta e ho trovato molte risposte al confronto firmato/non firmato, ma questo problema è che solo i parametri non firmati vengono confrontati, ma funziona comunque in modo divertente.

Il problema con il seguente codice è che il primo if -statment non si verifica ("ciao") dove è il secondo ("mondo"). Questo ho interpretato come il calcolo eseguito all'interno dello-if -statment genera un numero negativo ma lo stesso esatto calcolo fatto con il risultato salvato in una variabile non lo fa (anche se il risultato è stato salvato in una variabile firmata).

Il compilatore utilizzato è 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"); 
} 

Qualcuno può spiegare questo per me e forse trovare una soluzione per una correzione in modo che il primo if -affermazione funziona così?

Answer 1

Nell'espressione:

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

(u16_varLow - u16_varHigh) sarà promosso a un int e valutare a -65.525. La soluzione per il tuo problema è di eseguire il cast su un tipo senza segno, come nel codice "Does enter".

Il motivo s16_Res1 = u16_varLow - u16_varHigh; restituisce 11 è che il risultato della sottrazione, -65525, non rientra in un corto.

Answer 2

Il primo, if((u16_varLow - u16_varHigh) > (unsigned short)5) non passerà mai, poiché (u16_varLow - u16_varHigh) restituisce un numero negativo, perché è considerato come un numero intero. Il secondo lancia lo stesso numero negativo, a corto non firmato, ecco perché passa.

Nota - sai che tutto questo dipende dalla piattaforma, giusto? La dimensione di short, int, ecc. Dipende dalla piattaforma di cemento.

Answer 3

Nelle altre risposte abbiamo visto che

u16_varLow - u16_varHigh 

per voi (con 16 bit short e 32 bit int) è equivalente a

(int)u16_varLow - (int)u16_varHigh 

e quindi il suo risultato è il valore -65525int . Così l'assegnazione

s16_Res1 = u16_varLow - u16_varHigh; 

è equivalente a

s16_Res1 = -65525; 

che nel tuo caso di 16 bit short cede "comportamento non definito". Sei sfortunato che il tuo compilatore decide di assegnare 11, invece. (Sfortunato perché penso che sia meglio fallire presto.)

Per contro il

u16_Res1 = -65525; 

è un'assegnazione valida dal u16_Res1 è di un tipo senza segno e aritmetica dei tipi senza segno è modulo l'appropriata potenza di due.

Answer 4

Nelle "normali conversioni aritmetiche", i tipi inferiori a int vengono promossi a int o unsigned int prima di essere utilizzati nella maggior parte delle espressioni. La regola è che se int può rappresentare tutti i valori del tipo più piccolo, viene promosso a int; altrimenti viene promosso a unsigned int. Questo è spesso considerato qualcosa di una verruca, perché in molti casi causa i valori unsigned char e unsigned short da promuovere a int.

Questo è esattamente quello che stai vedendo - u16_varLow e u16_varHigh e (unsigned short)5 sono tutti promossi al int prima della sottrazione e confronto, che poi accade utilizzando int. Se si desidera essere certi che un'espressione utilizzerà aritmetica non firmato, è necessario farlo in unsigned int, nonunsigned short:

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