Java提供了两类布尔运算符号，一类是条件运算符逻辑与&&和逻辑或||，另一类是位运算符兼任的非短路逻辑与&和逻辑或|。它们在语法上都能处理布尔值，但运行时行为差异明显，直接影响了程序的正确性与性能。
一、短路逻辑与和逻辑或的基本行为
短路逻辑与&&的规则是：只有当左侧表达式为true时，才会继续计算右侧表达式；如果左侧为false，右侧直接被忽略，整个表达式结果为false。这种机制被称为短路求值。对应地，短路逻辑或||在左侧为true时直接返回true，不再计算右侧。
这种特性非常实用。例如在做对象属性判断时，可以避免空指针异常。下面的代码展示了利用&&先判空再取值的常见写法：
public boolean isValidUser(User user) {
// 如果user为null，右侧的user.isActive()不会执行，避免空指针
return user != null && user.isActive();
}
从字节码角度看，&&和||会被编译为带有条件跳转指令的序列。以a && b为例，JVM先加载a，若结果为false则跳转到返回false的分支；只有a为true时才加载并计算b。这种跳转结构天然减少了不必要的计算。
短路运算不仅提升安全性，也常带来性能收益。当右侧是耗时的方法调用或复杂查询时，左假或左真的情况若高频出现，就能省下大量执行时间。因此在绝大多数业务条件判断中，应优先使用&&与||。
二、非短路逻辑与和逻辑或的差异
非短路的&和|在布尔上下文中会强制计算左右两个操作数，无论左侧结果如何。它们原本设计用于整数的按位运算，但当操作数为布尔值时，Java也允许将其作为逻辑运算符使用，且不进行短路。
看下面这段代码，即使list为空，右侧的list.size() > 0依然会执行，如果误用就可能抛出异常：
public boolean check(List<String> list) {
// 非短路与：左侧为false时右侧仍执行
return list != null & list.size() > 0;
}
在布尔场景下，&和|的语义容易让维护者误解为位运算，降低代码可读性。除非你有明确需求要同时触发左右两侧的逻辑副作用（例如两侧都是带副作用的方法调用且都必须执行），否则不建议用它们代替&&和||。
一个必须使用非短路的场景是审计日志：无论条件是否成立，都要记录两侧方法的执行结果。此时可显式写成两个独立语句，或谨慎使用&并在注释中说明意图，避免后来者误改。
三、运算符优先级与括号的使用
很多逻辑错误来源于对优先级理解不清。在Java中，&和|的优先级高于&&和||，而!优先级最高。混合使用时极易写出反直觉的表达式。
考虑如下代码，开发者本意是先做或运算再与，但因优先级问题实际先做了与：
// 实际等价于 (a && b) || c，而非 a && (b || c)
if (a && b || c) {
// ...
}
为避免歧义，应当主动加括号明确意图。清晰的分组不仅降低bug率，也减少团队 code review 时的沟通成本。建议将复杂条件拆成有名字的布尔变量，提升自解释能力。
例如上面的逻辑可改写为：
boolean baseCondition = b || c;
if (a && baseCondition) {
// ...
}
四、实践中的正确写法建议
在订单状态校验这类典型场景中，我们常需要判断多个条件。正确使用短路运算可以同时保证安全与效率。下面示例在支付前检查订单：
public boolean canPay(Order order) {
return order != null
&& order.getStatus() == OrderStatus.UNPAID
&& order.getAmount() > 0
&& order.getExpireTime() > System.currentTimeMillis();
}
这里每一层&&都依赖前一层为真，一旦订单为空，后续方法调用全部跳过，既防空指针又减少无效计算。若将&&误写为&，在order为null时会直接崩溃。
总结来说，默认使用&&和||；仅在需要强制双侧求值且清楚副作用时才用&和|；复杂条件勤加括号或提取变量。理清这些逻辑操作的行为，才能让Java条件判断既稳健又高效。