如果我有任务
Long c = a + b;
有没有一个简单的方法来检查一个b不比Long.MAX_VALUE / Long.MIN_VALUE更大/更小？
解决方法
使用
Guava,这样简单
long c = LongMath.checkedAdd(a,b); // throws an ArithmeticException on overflow
这是我想要的,确实很可读. (LongMath Javadoc here.)
为了公平起见,我将提到Apache Commons提供ArithmeticUtils.addAndCheck(long,long).
如果你想知道它们是如何工作的,那么答案是Guava的一点点黑客：如果(a ^ b)< 0 | (a ^(a b))> = 0.这是基于两个数字的按位XOR如果它们具有相同符号的非负性的技巧.
所以(a ^ b)如果a和b有不同的符号,则为0,如果是这样,它将永远不会溢出.或者,如果(a ^(a b))> = 0,则b与a具有相同的符号,因此它不会溢出并变为负值.
(对于这样的更多技巧,调查可爱的书Hacker’s Delight.)
Apache根据a和b的符号使用更复杂的案卷.
