java中的&& & || |

有的博客把按位&称为非短路逻辑与，把按位|称为非短路逻辑或，其实仅仅是效果上等同而已，是按位&与按位|的巧妙运行，并不是java本身存在这样的操作，

真 & 真  ===》 真

真 & 假  ===》 假

假 & 真  ===》 假

假 & 假  ===》 假

从效果上可以发现，按位&可称为非短路逻辑与，不论第一个判断表达式结果如何，第二个判断表示式都会被求值，而前后两个判断表达式结果按位&运算后的行为与逻辑&&一致。

真 | 真  ===》 真

真 | 假  ===》 真

假 | 真  ===》 真

假 | 假  ===》 假

从效果上可以发现，按位|可称为非短路逻辑或，不论第一个判断表达式结果如何，第二个判断表示式都会被求值，而前后两个判断表达式结果按位|运算后的行为与逻辑|一致。

在Netty中，MathUtil类中有一个判断数组是否越界的函数，代码如下：

public static boolean isOutOfBounds(int index, int length, int capacity) {
    return (index | length | (index + length) | (capacity - (index + length))) < 0;
    // 这几个值，只要有一个为负，整体或运算的结果就是负，也就是返回true；如果都为正，整体或运算的结果就是正的，则返回false。
}