Come controllare l'overflow dei numeri interi in C?

Question

Eventuali duplicati:
Best way to detect integer overflow in C/C++

C'è (1):

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

e (2):

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

whichs è prefe rred o c'è un modo migliore.

Answer 1

Devi solo controllare uno di loro. Se x + y trabocca, sarà inferiore sia a x che a y. Quindi:

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

dovrebbe essere sufficiente.

Il seguente sito ha un sacco di roba su integer overflow:

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

Se si desidera gestire i numeri negativi, può essere espansa:

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

Answer 2

si può davvero unico controllo per overflow con unsigned numeri interi e aritmetici:

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

Il comportamento di troppo pieno con interi con segno non è definito in C, ma sulla maggior parte delle macchine è possibile utilizzare

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

questo non funziona su macchine che utilizzano qualsiasi tipo di saturare aritmetica

Answer 3

integer overflow è il esempio canonico di "comportamento indefinito" in C (osservando che le operazioni su interi non firmati non si sovrappongono mai, sono invece definite per il wrap-around). Ciò significa che, una volta eseguito x + y, se è in overflow, sei già in difficoltà. È troppo tardi per fare qualche controllo - il tuo programma potrebbe essersi già schiantato. Pensa ad un controllo per divisione per zero - se aspetti fino a dopo che la divisione è stata eseguita per controllare, è già troppo tardi.

Quindi questo implica che il metodo (1) è l'unico modo corretto per farlo. Per max, è possibile utilizzare INT_MAX da <limits.h>.

Se x e/o possono essere negativi, le cose sono più difficili: è necessario eseguire il test in modo che il test non possa causare un overflow.

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