C++逻辑或短路求值疑问：示例代码中count未递减的原因？

这其实是C++里**短路求值（Short-circuit Evaluation）**的特性在起作用，咱们一步步拆解你的问题：

核心规则：逻辑或的短路行为 #

C++中，逻辑或运算符||遵循短路求值逻辑：

• 当第一个表达式的结果为真时，第二个表达式会被直接跳过（完全不执行）
• 原因很简单：逻辑或的规则是「只要有一个表达式为真，整体结果就为真」，既然第一个已经满足条件了，再计算第二个纯属浪费资源，所以编译器会直接跳过它

结合你的代码分析 #

来看你给出的代码片段：

int found = 0, count = 5; 
if (!found || --count == 0) 
    cout << "danger" << endl; 
cout << "count = " << count << endl;

咱们逐行看条件判断的过程：

1. 计算!found：found的值是0，取反后得到true（C++里布尔值规则：0为假，非0为真）
2. 因为||的第一个操作数已经是true了，触发短路求值，--count == 0这部分代码完全不会被执行
3. 所以count的初始值5根本没有被修改，保持不变

实际运行结果 #

因此这段代码的实际输出是：

danger
count = 5

你的预期输出count = 4是错误的，原因就是短路求值跳过了--count的执行。

额外补充 #

短路求值不仅存在于||，逻辑与运算符&&也有类似特性：当第一个表达式为假时，第二个表达式会被跳过，因为逻辑与需要两个都为真才成立，第一个已经是假了，没必要再算第二个。这种特性既能提升代码运行效率，也能帮我们避免一些潜在风险（比如第二个表达式里有访问空指针这类危险操作时，只要第一个表达式能提前判断结果，就能避免触发危险）。

内容的提问来源于stack exchange，提问作者Wilson Addison