在 java 中，多个 && 和 || 混合时，最清晰的做法是显式添加括号来强制分组，消除对运算符优先级的依赖。由于 && 的优先级高于 ||，表达式 a || b && c 会被解析为 a || (b && c)，但这往往不符合直觉。通过添加括号明确逻辑单元，例如写成 (a || b) && c 或 a || (b && c)，可以确保代码意图与执行结果完全一致，避免潜在的逻辑错误。
默认优先级如何影响混合运算
Java 规定 &&（逻辑与）的优先级高于 ||（逻辑或）。这意味着在没有括号的情况下，&& 会先结合其操作数，然后再处理 ||。这种隐式行为可能导致阅读者误解代码逻辑，特别是当条件复杂时。为了验证这一点，我们可以编写一个测试程序，展示不同写法下的实际执行路径。
public class PriorityTest {
public static void main(String[] args) {
boolean a = true;
boolean b = false;
boolean c = true;
// 情况1: 无括号，依赖默认优先级
// 解析为: a || (b && c)
// 因为 a 为 true，短路发生，整体为 true
boolean result1 = a || b && c;
System.out.println("Result 1 (a || b && c): " + result1);
// 情况2: 显式括号，改变分组
// 解析为: (a || b) && c
// a || b 为 true，再与 c 进行 &&，结果为 true
boolean result2 = (a || b) && c;
System.out.println("Result 2 ((a || b) && c): " + result2);
// 情况3: 改变输入以凸显差异
boolean d = false;
boolean e = true;
boolean f = false;
// 无括号: d || e && f -> d || (e && f) -> false || (true && false) -> false || false -> false
boolean result3 = d || e && f;
System.out.println("Result 3 (d || e && f): " + result3);
// 有括号: (d || e) && f -> (false || true) && f -> true && false -> false
boolean result4 = (d || e) && f;
System.out.println("Result 4 ((d || e) && f): " + result4);
}
}
运行上述代码，输出如下：
Result 1 (a || b && c): true
Result 2 ((a || b) && c): true
Result 3 (d || e && f): false
Result 4 ((d || e) && f): false
虽然在这个特定例子中结果相同，但逻辑路径不同。如果 c 为 false，则 result1 仍为 true（因为 a 为 true），而 result2 将为 false（因为 c 为 false）。这证明了括号的重要性。
如何通过括号优化可读性
为了使代码更清晰，应将每个逻辑单元用括号包裹。例如，将 if (user.isAdmin() || user.isModerator() && hasPermission()) 改写为 if ((user.isAdmin() || user.isModerator()) && hasPermission())。这样，读者可以立即看出“管理员或版主”是一个组，然后这个组需要满足“有权限”的条件。这种结构不仅提高了可读性，还减少了因优先级误解导致的 bug。
public class ReadabilityTest {
public static void main(String[] args) {
boolean isAdmin = false;
boolean isModerator = true;
boolean hasPermission = false;
// 原始写法：难以一眼看出逻辑分组
if (isAdmin || isModerator && hasPermission) {
System.out.println("Access granted (implicit priority)");
} else {
System.out.println("Access denied (implicit priority)");
}
// 优化写法：显式分组，清晰表达意图
if ((isAdmin || isModerator) && hasPermission) {
System.out.println("Access granted (explicit grouping)");
} else {
System.out.println("Access denied (explicit grouping)");
}
}
}
运行上述代码，输出如下：
Access denied (implicit priority)
Access denied (explicit grouping)
在这个例子中，两种写法的最终结果相同，但优化后的写法更清晰地表达了“只有当用户是管理员或版主，并且拥有权限时，才授予访问权”的逻辑。如果我们将 hasPermission 改为 true，则优化后的写法将正确授予访问权，而原始写法可能因优先级问题导致意外行为（尽管在此例中优先级规则是一致的，但在更复杂的表达式中，显式括号至关重要）。
短路求值对括号使用的影响
Java 中的逻辑运算符支持短路求值。对于 &&，如果左侧为 false，右侧不会计算；对于 ||，如果左侧为 true，右侧不会计算。括号不仅影响分组，还影响短路行为。例如，在 (A || B) && C 中，如果 A 为 true，则 B 不会被计算，但 C 仍会被计算。而在 A || (B && C) 中，如果 A 为 true，则 B 和 C 都不会被计算。因此，括号的使用必须与预期的短路行为一致，以确保性能和安全。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
