为什么在 &&, &, || 的情况下输出不同？答案

【问题标题】：Why is the output different in case of &&, &, ||?为什么在 &&, &, || 的情况下输出不同？
【发布时间】：2011-03-27 06:42:38
【问题描述】：

这里是代码段

你能解释一下为什么输出会变化吗

1)

public static ShortCkt {
    public static void main(String args[]) {
        int i = 0;
        boolean t = true;
        boolean f = false, b;
        b = (t && ((i++) == 0));
        b = (f && ((i+=2) > 0));
        System.out.println(i);      
    }
}

本例中的输出为 1

2)

public static ShortCkt {
    public static void main(String args[]) {
        int i = 0;
        boolean t = true;
        boolean f = false, b;
        b = (t & ((i++) == 0));
        b = (f & ((i+=2) > 0));
        System.out.println(i);      
    }
}

这种情况下的输出是 3

3)

public static ShortCkt {
    public static void main(String args[]) {
        int i = 0;
        boolean t = true;
        boolean f = false, b;
        b = (t || ((i++) == 0));
        b = (f || ((i+=2) > 0));
        System.out.println(i);      
    }
}

本例中的输出为 2

4)

public static ShortCkt {
    public static void main(String args[]) {
        int i = 0;
        boolean t = true;
        boolean f = false, b;
        b = (t | ((i++) == 0));
        b = (f | ((i+=2) > 0));
        System.out.println(i);      
    }
}

这种情况下的输出是 3

【问题讨论】：

标签： java operators

【解决方案1】：

为什么&&,&,||的情况下输出不同?

就像在 C/C++ 中一样，&& 被“惰性”评估，而 & 不是。

如果a 为假，那么a && b 将返回假而不评估b。

a || b 也是如此：如果第一个操作数 a 为真，则整个表达式为真，第二个操作数 b 永远不会被计算。但是，对于 a | b，a 和 b 都将被评估。

如果在使用&&（或||）时未评估的操作数具有副作用，如您的示例所示，则会产生后果。

旁注：很少有 Java 程序员知道 ^ (xor) 也适用于布尔值。（^^ 版本不存在只是因为它是多余的。）

【讨论】：

【解决方案2】：

我们在这里关注 4 个boolean 二元运算符：

&& 是条件和运算符
- & 是逻辑与运算符
|| 是条件或运算符
- | 是逻辑或运算符

这里是重点：

“条件”表示短路：如果不影响运算结果，则不计算正确的操作数
“逻辑”不会短路：它计算两个操作数，先左后右。
只有当两个操作数都是true时，“and”的结果才是true
- 如果左操作数是false，则无论右操作数如何，结果都是false
仅当至少一个操作数为true 时，“或”的结果为true
- 如果左操作数是true，则无论右操作数如何，结果都是true

换句话说，假设没有例外等：

& 和 | 总是计算两个操作数
&& 和 ||有条件地评估右操作数；只有当右操作数的值会影响二元运算的结果时，才会计算右操作数。这意味着在以下情况下不评估右操作数：
- && 的左操作数计算结果为 false
  - （因为无论右操作数计算为什么，整个表达式都是false）
- || 的左操作数计算结果为 true
  - （因为无论右操作数计算为什么，整个表达式都是true）

参考文献

JLS 15.22.2 Boolean Logical Operators &, ^, and |
- 对于&，如果两个操作数值都是true，则结果值为true；否则，结果为false。
- 对于|，如果两个操作数的值为false，则结果值为false；否则，结果为true。
JLS 15.23 Conditional-And Operator &&
- && 运算符类似于 &，但仅当其左侧操作数的值为 true 时才计算其右侧操作数。
JLS 15.24 15.24 Conditional-Or Operator ||
- || 运算符类似于 |，但仅当其左侧操作数的值为 false 时才计算其右侧操作数。

另见

JLS 15.22.1 Integer Bitwise Operators &, ^, and |

参考文献

另见

相关问题