平时做算法题的时候,如果两个过大的int数进行相加,有可能出现溢出的情况。像二分查找的时候,有一个小技巧,比如用
int mid = left + (right - left) / 2;
而不是直接用
int mid = (left + right) / 2;
但是要我们直接判断两个整数相加是否溢出呢?
public int isOverflow(int x, int y) {
int r = x + y;
if (((x ^ r) & (y ^ r)) < 0) {
throw new ArithmeticException("integer overflow");
}
return r;
}
解释:只有两个相同符号的整数相加的时候才会溢出,一正一负相加不会溢出,溢出后得到的结果符号一定与原值的符号相反。
异或的规则是相同为0,不同为1,利用这个原理,将用运算符算出来的r与x和y分别异或,然后看符号位。
例如:假设两个数都为正数,则两个数的符号位都为0,假设这两个数相加以后,如果溢出,则两个异或运算得到的数值符号位都是1,再将两个数运算得到的值相与,如果符号位不同,那么两个括号得到的数值符号位都是1。而与运算又是只有1&1才是1,有一个为0都是0。所以只要溢出,无论是正溢出负溢出,(x ^ r) & (y ^ r)计算出的结果符号位都为1(负数小于0)。
还有一种简单粗暴的办法,就是转换成long,然后和Integer.MAX_VALUE进行比较;或者先转成long,再从long转回int,看看long和int是否一致。