ロング+ロングはLong.MAX_VALUE

Question

よりも大きなa + bがLong.MAX_VALUE/Long.MIN_VALUEより小さく/大きくなっていないことを確認する簡単な方法はありますか？ Guavaを使用して

Answer 1

は、それは同様に簡単です

long c = LongMath.checkedAdd(a, b); // throws an ArithmeticException on overflow 

として、私は確かに、非常に読みやすいと思いますしたいと思います。 （LongMath Javadoc here）

公平のために、私はApache CommonsがArithmeticUtils.addAndCheck(long, long)を提供していると言います。

どのように動作するのかを知りたい場合、答えはグアバのビットハッピーの1行です。(a^b) < 0 | (a^(a + b)) >= 0の場合、結果はオーバーフローしません。これは、同じ符号を持つ場合、2つの数値のビットごとのXORが負ではないというトリックに基づいています。

aとbの符号が異なる場合は、(a^b) < 0は真ですが、その場合はオーバーフローしません。または、(a^(a + b)) >= 0の場合、a + bはaと同じ符号を持つため、オーバーフローせずにマイナスになります。

（このようなより多くのトリックのために、素敵なブックHacker's Delightを調査する。）

Apacheはaとbの符号に基づいて、より複雑なケースワークを使用しています。

Answer 2

1つのオプションは、正確な計算を行うためにBigIntegerクラスを使用し、その結果が問題の値よりも大きいか小さいかをチェックすることです。例：

if (BigInteger.valueOf(a).add(BigInteger.valueOf(b)).compareTo(BigInteger.valueOf(Long.MAX_VALUE) > 1) { 
    /* Overflow occurred. */ 
} else { 
    /* No overflow occurred. 
} 

これが役に立ちます。

Answer 3

簡単なルート：

if(a/2+b/2+(a&b&1)>long.MAX_VALUE/2||a/2+b/2<long.MIN_VALUE/2)... 

あなたはちょうど彼らが同じ符号を持つ（両方!0ある）場合にのみ問題だ、それは(a+b)/2

Answer 4

に最適化されないことを願ってする必要があり、それ以外の場合は、オーバーフローから安全です。オーバーフローが発生した場合、結果の符号が反転します。だから、：[？]

long r = a + b; 
if ((a < 0 && b < 0 && r >= 0) || 
    (a > 0 && b > 0 && r <= 0)) { 
    // Overflow occurred 
}