Jak sprawdzić liczbę całkowitą w C?

Question

Powiel możliwe:
Best way to detect integer overflow in C/C++

tam (1):

// assume x,y are non-negative 
if(x > max - y) error; 

A (2):

// assume x,y are non-negative 
int sum = x + y; 
if(sum < x || sum < y) error; 

whichs jest prefe rred czy jest lepszy sposób?

Answer 1

Trzeba tylko sprawdzić jedną z nich. Jeśli przepełnienie x + y będzie mniejsze niż x i y. W związku z tym:

int sum = x + y; 
if (sum < x) error; 

powinny wystarczyć.

Poniższa strona ma kilka rzeczy o całkowitej overflow:

http://www.fefe.de/intof.html

Jeśli chcesz obsługiwać liczby ujemne, to może być rozszerzony:

int sum = x + y; 
if (y >= 0) { 
    if (sum < x) error; 
} else { 
    if (sum > x) error; 
} 

Answer 2

naprawdę można tylko czek dla przepełnienia z liczbami całkowitymi unsigned i arithmatic:

unsigned a,b,c; 
a = b + c; 
if (a < b) { 
    /* overflow */ 
} 

Zachowanie przelewem z podpisanych liczb całkowitych jest niezdefiniowana w C, ale na większości komputerów można użyć

int a,b,c; 
a = b + c; 
if (c < 0 ? a > b : a < b) { 
    /* overflow */ 
} 

To nie będzie działać na komputerach, które korzystają z wszelkiego rodzaju nasycania arytmetycznych

Answer 3

Integer jest przepełnienie kanoniczny przykład "niezdefiniowanego zachowania" w C (zauważając, że operacje na liczbach całkowitych bez znaku nigdy się nie przepełniają, są one zdefiniowane jako zawijane zamiast). Oznacza to, że po wykonaniu usługi x + y, jeśli zostanie przepełniony, zostaniesz już zablokowany. Jest już za późno na sprawdzanie - Twój program mógł się już rozbić. Pomyśl o tym, jak o dzieleniu przez zero - jeśli poczekasz, aż podział zostanie wykonany, by sprawdzić, jest już za późno.

Oznacza to, że metoda (1) jest jedyną właściwą metodą. W przypadku max można użyć INT_MAX z <limits.h>.

Jeśli x i/lub y może być ujemny, to rzeczy są trudniejsze - należy wykonać test w taki sposób, aby sam test nie mógł spowodować przepełnienia.

if ((y > 0 && x > INT_MAX - y) || 
    (y < 0 && x < INT_MIN - y)) 
{ 
    /* Oh no, overflow */ 
} 
else 
{ 
    sum = x + y; 
}