unsigned long 0 <-1?

Question

Nie dostaję tego!

#include <stdio.h> 

int main() 
{ 
    unsigned short t1 = 0, t2 = 0; 

    if(t1 < t2-1) 
     printf(" t1 < t2-1\n"); 

    unsigned long s1 = 0, s2 = 0; 

    if(s1 < s2-1) 
     printf(" s1 < s2-1\n"); 
} 

skutkuje:

s1 < s2-1 

Albo oba powinny zawieść lub oba nie. Próbowałem tego z gcc 4 & 4.2 4.2

Answer 1

Język C wykonuje „Powszechna arytmetycznych konwersje” Dla wielu podmiotów - w Konwersje są opisane w 6.3.1.8 standardu C99. W przypadku operandów zintegrowanych wykonywane są pierwsze promocje i to właśnie jest przyczyną problemu. Te promocje są opisane w 6.3.1.1 (arytmetyczne argumenty/logiczne, znaków i liczb całkowitych), który mówi między innymi:

Jeśli int może reprezentować wszystkie wartości tego samego typu, wartość jest konwertowana na int; w przeciwnym razie jest konwertowany na unsigned int. Są to tak zwane promocje bezpośrednie. Wszystkie pozostałe typy są niezmienione przez promocje całkowite.

W promocji są stosowane wyłącznie do obiektów lub wyrażenia z typem całkowitą z szeregu mniej niż int i unsigned int (lub bitfields).

Więc w exression:

t1 < t2-1 

chociaż zmienne są unsigned short są promowane na int, ponieważ na platformie int może reprezentować wszystkie wartości z unsigned short. Tak więc wyrażenie jest oceniane przy użyciu typów int i nie występuje niedopełnienie - część wyrażenia kończy się jako ujemna 1.

W wyrażeniu:

s1 < s2-1 

rodzaje unsigned long nie są promowane, ponieważ mają wyższą rangę „” niż int/unsigned int, więc wyrażenie jest oceniane przy użyciu arytmetyki bez znaku (z dolnego z odejmowanie) oraz s2-1 podwyrażenie ocenia bardzo dużej liczby, nie negatywnym 1.

jak litb wskazano w komentarzu, jeśli platforma nie int zaimplementowany jako typ 16-bitowy (co jest dozwolone - dla systemu MS-DOS przykład), pro ruch unsigned short byłby następujący: unsigned int zamiast int, ponieważ int nie byłby w stanie reprezentować wszystkich wartości unsigned short (unsigned short musi mieć co najmniej 16 bitów). W takim przypadku oba oświadczenia będą miały wartość true.

Answer 2

Nie jestem pewien, ale podejrzewam, że wyrażenie t2-1 automatycznie rozszerza się na wartość int. Nie mam tutaj standardu c, jakie są dokładne reguły konwersji, ale uważam, że typy mniejsze niż int są automatycznie poszerzane.

Answer 3

C przymusu, jak się odkrywasz, nie zawsze są oczywiste, kiedy operujesz pomiędzy różnymi typami. t2 jest u16, 1 jest (prawdopodobnie 32-bitowy), więc t2-1 jest dokładnie taką "operacją między różnymi typami" i powoduje ogólną koercję do int (ponieważ jest "dłuższa" niż u16 ...). Później, ponieważ s2 i 1 są zarówno 32-bitowe (choć o różnej sygnaturze), całkowity przymus jest niepodpisany długo. Tak więc rozmiary poszczególnych typów pomagają w ustaleniu sygnatury całkowitego przymusu.

sugeruję unikanie mieszanym signedness operacje (przez odlewanie lub specjalnego dosłownym zapisem literały takich jak 1 że w przeciwnym razie będą musiały int typ i uczynić swoje życie potencjalnie skomplikowane i kod potencjalnie nieprzenośne (a idealnie wymieszany rozmiarze!); -).

Answer 4

-1 jest reprezentowane jako wszystkie 1s. Dlatego interpretowana jako unsigned, ma wartość 2^32-1, która jest wyraźnie większa od 0. Przypuszczam, że pierwsze porównanie jest rozszerzane do wykonywania arytmetyki podpisanej 32-bitami (być może z powodu "1" będącego podpisany int).

pamiętać, że poniższe dostanie się do printf, bo porównanie jest obecnie odbywa się w 16-bitowych bez znaku przestrzeni jeszcze:

u32 temp = t2 - 1; 
if(t1 < temp) 
    printf(" t1 < t2-1\n");