有的博客把按位&称为非短路逻辑与,把按位|称为非短路逻辑或,其实仅仅是效果上等同而已,是按位&与按位|的巧妙运行,并不是java本身存在这样的操作,
真 & 真 ===》 真
真 & 假 ===》 假
假 & 真 ===》 假
假 & 假 ===》 假
从效果上可以发现,按位&可称为非短路逻辑与,不论第一个判断表达式结果如何,第二个判断表示式都会被求值,而前后两个判断表达式结果按位&运算后的行为与逻辑&&一致。
真 | 真 ===》 真
真 | 假 ===》 真
假 | 真 ===》 真
假 | 假 ===》 假
从效果上可以发现,按位|可称为非短路逻辑或,不论第一个判断表达式结果如何,第二个判断表示式都会被求值,而前后两个判断表达式结果按位|运算后的行为与逻辑|一致。
在Netty中,MathUtil类中有一个判断数组是否越界的函数,代码如下:
public static boolean isOutOfBounds(int index, int length, int capacity) { return (index | length | (index + length) | (capacity - (index + length))) < 0; // 这几个值,只要有一个为负,整体或运算的结果就是负,也就是返回true;如果都为正,整体或运算的结果就是正的,则返回false。 }