逻辑与&&和逻辑或||的短路特性本质是“结果可定、余者不评”：左侧操作数足以决定结果时，右侧跳过执行；这直接影响逻辑正确性与程序安全，如避免空指针解引用或提供默认值，而位运算符&和|无此特性。

逻辑与 && 和逻辑或 || 的短路特性，本质是“结果可定、余者不评”——只要左侧操作数足以决定整个表达式的真假，右侧就跳过执行。这在复杂条件中不是锦上添花，而是影响逻辑正确性与程序安全的关键机制。

短路与 &&：左边为假，右边彻底不运行

当使用 a && b && c 这类多条件链时，求值从左到右逐个进行：

• 若 a 为 0（假），则 b 和 c 完全不执行，哪怕它们是函数调用、自增运算或可能崩溃的指针解引用
• 若 a 为真，继续判断 b；若 b 为假，则 c 被跳过
• 只有 a、b、c 全为真，整个表达式才为真；但只要中途一个为假，后续全部“熔断”

典型用途：避免空指针访问 —— ptr != NULL && ptr->data > 0 中，ptr 为空时，ptr->data 根本不会被读取，防止段错误。

短路或 ||：左边为真，右边直接跳过

对于 x || y || z 这类表达式，同样按序求值：

• 若 x 非零（真），则 y 和 z 不参与任何计算
• 若 x 为假，才检查 y；若 y 为真，则 z 被短路
• 任意一个为真，整体即为真；仅当全部为假时，才返回假

典型用途：提供默认值或容错兜底 —— user_input || "default"（在支持该语法的语言中），或 C 中的 (fd = open(...)) >= 0 || perror("open failed")，确保出错时只执行错误处理一次。

复杂条件中必须警惕的陷阱

短路不是语法糖，它改变了执行路径和副作用发生时机：

• i++ && arr[i] > 0：若 i 初始为 -1，i++ 后为 0（假），arr[i] 不访问，i 最终值为 0；若 i 初始为 0，i++ 后为 1（真），才检查 arr[1]，此时 i 已变成 1
• func1() || func2()：如果 func1() 返回真，func2() 根本不调用——不能依赖它做日志、清理或状态更新
• 混合使用时（如 a && b || c），优先级是 && 高于 ||，等价于 (a && b) || c，短路也按此分组生效

为什么不用 & 和 | 替代？

单符号版本 & 和 | 是位运算符，在布尔上下文中虽可工作，但无短路：

• a & b()：无论 a 是真是假，b() 必定执行，可能引发多余开销或副作用
• a | c()：即使 a 为真，c() 仍会被调用
• 因此，除明确需要强制求值的极少数场景（如硬件寄存器轮询），日常条件判断一律用 && 和 ||