当Java评估一个连词（ && ），如果exp1为假，它是否为eval 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 Conditional-
And运算符&&
：

该&&运算符类似于&（§15.22.2），但 仅当其左侧操作数的值为true时，才对其右侧操作数求值 。

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