Triển khai lạ 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; 
} 

Tôi quan tâm đến lý do lôgic logic | được sử dụng ở đây. Tại sao không sử dụng mạch có điều kiện ngắn ||?

Answer 1

Các nhận xét đầu tiên trong lớp đó:

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

Nhiều bối cảnh: https://stackoverflow.com/a/11412121/869736