Java 逻辑运算符和/或优先级

Question

所以无论我在哪里看，它都说首先评估 &&，然后 ||被评估为第二。所以要么我做错了什么，要么是错的。代码如下：

static boolean foo(boolean b, int id){ System.out.println(id); return b;}

static{ System.out.println(foo(true, 3) && foo(true, 1) || foo(false, 2)) }
//returns 3 1

static{ System.out.println(foo(true, 2) || foo(true, 3) && foo(true, 1)} 
//returns 2

在第一个静态块中， && 先行，短路并忽略 ||但在第二个静态块中，这只是相反，||首先忽略 &&。这演示了从左到右，但根据 java 文档，&& 具有更高的优先级，这意味着 && 应该始终排在第一位。

一些关于优先级的文档（逻辑and高于or）：
1.https://docs.oracle.com/javase/tutorial/java/nutsandbolts/operators.html
2.https://chortle.ccsu.edu/Java5/Notes/chap40/ch40_16.html
3.http://www.cs.bilkent.edu.tr/~guvenir/courses/CS101/op_precedence.html
...

Answer 1

&& 的优先级更高只是意味着

foo(true, 2) || foo(true, 3) && foo(true, 1)

与

相同

foo(true, 2) || (foo(true, 3) && foo(true, 1))

但不是

(foo(true, 2) || foo(true, 3)) && foo(true, 1)

没有别的了。它并不意味着任何关于评估顺序的事情。

现在，对于大多数运营商而言，评估 x op y 需要同时评估 x 和 y。如果|| 是其中之一，则与（return 来自评估||，而不是来自整个方法）

boolean tmp1 = foo(true, 2);
boolean tmp2 = foo(true, 3) && foo(true, 1);
return tmp1 || tmp2;

和&& 确实会“先行”。但是有三个运算符不能这样工作：&&、|| 和 ?:。相反，您会得到

boolean tmp1 = foo(true, 2);
if (tmp1) {
    return true; 
} else {
    return foo(true, 3) && foo(true, 1);
}