当 Java 计算连词 (&&) 时，如果 exp1 为 false，它会计算 exp2 吗？

Question

我想知道是否可以保证在 Java 程序中，只要左侧的表达式 (exp1) 计算结果为 false，连词右侧的布尔表达式 (上面的 exp2) 就不会被计算。我想知道，因为我有一个如下所示的表达式：

if (var != null && var.somePredicate())
   // do something

如果 Java 在看到 后不能保证停止计算 (var != null && var.somePredicate()) var 为 null，那么它可能会尝试计算 var.somePredicate() ，这会抛出 NullPointerException。

所以我的问题是，Java 是否能保证某种行为？或者这样写会更安全

if (var != null)
{
   if (var.somePredicate())
      // do something
}

Answer 1

根据 Java 语言规范，15.23 条件- 和运算符&&：

&& 运算符类似于 & (§15.22.2)，但 仅当其右侧操作数的值等于左侧操作数为 true。

因此，语言规范保证如果左侧为 false，则不会评估表达式的右侧。

Answer 2

不，java 使用短路评估。如果 expr1 为 false，则不会评估 expr2，因此您的 && 使用是完全安全的。

另外，如果您有 if (exp1 || exp2) { .. } - 如果 exp1 为 true，则不会评估 exp2。

Answer 3

让我们通过直接查看从此示例代码生成的操作码来执行我们自己的实验：

public class Compare {

        public static void main(String... args) {
          boolean t = true;
          boolean f = false;
          if(f && t) {
            System.out.println("Both true");
          }
          else {
            System.out.println("One false");
          }
        }

}

javap -v 生成：

   0:   iconst_1
   1:   istore_1
   2:   iconst_0
   3:   istore_2
   4:   iload_2
   5:   ifeq    23
   8:   iload_1
   9:   ifeq    23
   12:  getstatic   #2; //Field java/lang/System.out:Ljava/io/PrintStream;
   15:  ldc #3; //String No
   17:  invokevirtual   #4; //Method java/io/PrintStream.println:(Ljava/lang/String;)V
   20:  goto    31
   23:  getstatic   #2; //Field java/lang/System.out:Ljava/io/PrintStream;
   26:  ldc #5; //String Yes
   28:  invokevirtual   #4; //Method java/io/PrintStream.println:(Ljava/lang/String;)V
   31:  return

对于我的小程序，相关操作码是 ifeq。它们检查变量是否等于 0，如果在本例中为操作码 23，则向前跳转一定数量的操作。因此，如果第一个 ifeq 计算结果为 false，它将跳转经过第二个 ifeq 指令直接进入 else 语句。

这称为短路评估。

Answer 4

如果您使用 &&或 ||，java 将使用短路求值（即，除非需要，否则不求值第二个表达式

）或 |，java 将始终计算第二个表达式，即使第一个表达式为 true

Answer 5

这是安全的，Java 会进行短路评估。