位运算符对 Java 中布尔值的影响

Question

按位运算符应该遍历变量并一点一点地对它们进行操作。 在整数、长整数、字符的情况下，这是有道理的。 这些变量可以包含由其大小强制执行的完整范围的值。

然而，在布尔值的情况下，一个布尔值只能包含两个值。 1 = 真或 0 = 假。 但是布尔值的大小没有定义。 它可以大到一个字节，也可以小到一点。

那么在布尔值上使用按位运算符有什么影响呢？ JVM 是否本质上将其转换为普通的逻辑运算符并继续前进？ 出于操作的目的，它是否将布尔值视为单个位实体？ 或者结果未定义以及布尔值的大小？

Answer 1

运算符& 、 ^和| 当操作数是原始整数类型时是按位运算符。 当操作数为布尔值时，它们是逻辑运算符，并且在后一种情况下它们的行为是指定的。 有关详细信息，请参阅Java 语言规范的第 15.22.2 节。

Answer 2

使用按位运算符可以规避短路行为：

boolean b = booleanExpression1() && booleanExpression2();
boolean b = booleanExpression1() & booleanExpression2();

如果booleanExpression1()计算结果为false ，则
booleanExpression2()在第一种情况下不被评估，并且
booleanExpression2() （以及它可能有的任何副作用）在第二种情况下被评估，

Answer 3

除了其他答案中涵盖的内容之外，值得注意的是&&和|| 与&和|有不同的优先级 .

从优先级表中提取（最高优先级在顶部）。

bitwise AND                 &
bitwise exclusive OR        ^
bitwise inclusive OR        |
logical AND                 &&
logical OR                  ||

这对你意味着什么？

绝对没有，只要你只坚持&和| 或只有&&和|| .

但是，由于| 具有比&&更高的优先级（与|| ，后者具有更低的优先级），随意混合它们可能会导致意外行为。

所以a && b | c && d a && b | c && d与a && (b | c) && d ，
与a && b || c && d相反 a && b || c && d将是(a && b) || (c && d) (a && b) || (c && d) 。

为了证明它们不同，请考虑从真值表中摘录：

a | b | c | d | (b|c) | (a&&b) | (c&&d) | a && (b|c) && d | (a&&b) || (c&&d)
F | T | T | T |   T   |   F    |    T   |         F       |        T
                                                  ^                ^
                                                  |- not the same -|

如果您希望 OR 的优先级高于 AND，则可以使用| 和&&在一起，但不推荐这样做。

但是您真的应该将它们放在括号中以在使用不同符号时阐明优先级，即(a && b) || c (a && b) || c （括号来说明优先级）， a && b && c （不需要括号）。

Answer 4

即使它会起作用，你也不应该这样做。 语言规范仅在两个操作数都是原始整数类型或都是布尔类型时才定义按位运算符。 我会说对于任何其他情况，结果都没有定义：

http://java.sun.com/docs/books/jls/second_edition/html/expressions.doc.html#5228