Java利用异或判断两个整型相加后是否溢出

Java利用异或判断两个整型相加后是否溢出

public static int isOverflow(int x, int y) {
        int r = x + y;
        if (((x ^ r) & (y ^ r)) < 0) {
            return true;
        }
        return false;
    }

Math类提供了一个判断是否溢出的方法。

原理: 只有两个相同符号的整数相加的时候才会溢出，一正一负相加不会溢出，溢出后得到的结果符号一定与原值的符号相反。

异或的规则是相同为0，不同为1，利用这个原理，将用运算符算出来的r与x和y分别异或，然后看符号位。

例如：假设两个数都为正数，则两个数的符号位都为0，假设这两个数相加以后，如果溢出，则两个异或运算得到的数值符号位都是1，再将两个数运算得到的值相与，如果符号位不同，那么两个括号得到的数值符号位都是1(小于0)。而与运算又是只有1&1才是1，有一个为0都是0。所以只要溢出，无论是正溢出负溢出，(x ^ r) & (y ^ r)计算出的结果符号位都为1(数值小于0)。

// 符号位 0
int a = 2147483647;
// 符号位 0
int b = 2;
// 溢出 符号位 1
int c = a + b;

// 则
// a ^ c 符号位为 1
// b ^ c 符号位为 1
// 则 
// (a ^ c) & (b ^ c) 为符号位为 1，小于 0