求问大家一道位操作判断溢出的代码，没看懂精华，请教

public static boolean willAdditionOverflow(Long left, Long right) {
        if (right < 0 && right != Long.MIN_VALUE) {
            return willSubtractionOverflow(left, -right);
        } else {
            return (~(left ^ right) & (left ^ (left + right))) < 0;
        }
    }
    public static boolean willSubtractionOverflow(Long left, Long right) {
        if (right < 0) {
            return willAdditionOverflow(left, -right);
        } else {
            return ((left ^ right) & (left ^ (left - right))) < 0;
        }
    }

这代码是可以用判断long的溢出的。效果非常棒。因为在64位机器里，一旦有数字大于max val的话，是无法正确显示的和计算的，这个办法很好解决这个问题。。。
但是。。。我没看懂。。。能不能给小弟讲讲。。。。先谢谢了

这里 (~(left ^ right) & (left ^ (left + right))) < 0　说明(~(left ^ right) & (left ^ (left + right))) 的结果是负的，也就是结果的首位是１

也就是~(left ^ right) 和 (left ^ (left + right))的结果，首位均为１

~(left ^ right)的结果首位为１，说明left ^ right的首位为０，也就是说，left和right，首位一样，也就是left和right同正或同负。因为只有两个正数相加或者两个负数相加才有可能溢出。

(left ^ (left + right))的结果首位为１，说明left和left+right的首位不同，left为负时，left＋right为正，若left为正，则left＋right为负。两个正数相加得负数，或者两个负数相加为正数，不就是溢出了吗

要把Long.MIN_VALUE单独提出来处理的原因是-Long.MIN_VALUE仍然是Long.MIN_VALUE，不会变成正的。

largecat 发表于 2014-9-27 09:00
这里 (~(left ^ right) & (left ^ (left + right))) < 0　说明(~(left ^ right) & (left ^ (left + right)) ...

-Long.MIN_VALUE仍然是Long.MIN_VALUE，不会变成正的。  这是为什么？

largecat 发表于 2014-9-27 09:00
这里 (~(left ^ right) & (left ^ (left + right))) < 0　说明(~(left ^ right) & (left ^ (left + right)) ...

-Long.MIN_VALUE仍然是Long.MIN_VALUE，不会变成正的。  这是为什么？

因为Long.MIN_VALUE是100000.....（一个１后面跟着全都是０）

它的补码是反码加１，就是０１１１１１....+1，还是它本身

largecat 发表于 2014-9-27 09:00
这里 (~(left ^ right) & (left ^ (left + right))) < 0　说明(~(left ^ right) & (left ^ (left + right)) ...

感觉胜读十年书 谢谢详细解释 受教了 非常感谢