如何检查C中的整数溢出？

Question

可能重复：
Best way to detect integer overflow in C/C++

还有的（1）：

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

，（2）：

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

伟驰是prefe或者有更好的方法。

Answer 1

您只需检查其中一个。如果x + y溢出，它将小于x和y。因此：

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

应该足够。

以下网站有一个约整数溢出一堆东西：

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

如果你想处理负数，它可以扩展：

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

Answer 2

你可真只检查与unsigned整数和算术溢出：

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

溢出的有符号整数，则行为未定义在C，但在大多数机器上，你可以使用

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

这不会对使用任何类型的饱和算法的计算机上工作

Answer 3

整数溢出是C中的“未定义行为”的典型例子（注意对无符号整数的操作永远不会溢出，它们被定义为绕回）。这意味着一旦你执行了x + y，如果它溢出了，你已经被洗净了。做任何检查都太迟了 - 你的程序已经崩溃了。想象一下，比如检查零分区 - 如果你等到分区执行完后检查，现在已经太晚了。

所以这意味着方法（1）是唯一正确的方法。对于max，您可以使用INT_MAX从<limits.h>。

如果x和/或y可能是负数，那么事情就会更加困难 - 您需要以这样的方式进行测试，以使测试本身不会导致溢出。

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