Guava LongMath.checkedAdd 的奇怪实现

Question

public static long checkedAdd(long a, long b) {
    long result = a + b;
    checkNoOverflow((a ^ b) < 0 | (a ^ result) >= 0);
    return result;
}

我很感兴趣为什么布尔逻辑 |在这里使用。为什么不使用条件短路||？

Answer 1

该类中的第一条评论：

// NOTE: Whenever both tests are cheap and functional, it's faster to use 
// &, | instead of &&, ||

更多内容：https://stackoverflow.com/a/11412121/869736