java – Long Long不大于Long.MAX_VALUE

如果我有任务

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的符号使用更复杂的案卷.