为什么输出中 c 不增加？

Question

我正在学习 C 基础知识，并试图解决以下问题，有人可以解释为什么变量 c 的输出不同吗？

以下程序的输出是什么？

int main()
{
   int a = -3, b = 2, c= 0, d;
   d = ++a && ++b || ++c;
   printf ("a = %d,  b = %d, c = %d, d = %d", a, b, c, d);
} 

Ans: -2, 3, 0, 1

为什么输出中 c 没有递增？

Answer 1

变量 c 不会递增，因为除非 LHS 计算结果为 false，并且 LHS 计算结果为 true，否则不会执行 || 的 RHS（右侧）。 C || 和 && 运算符是“短路”运算符；它们不会计算第二个操作数，除非第一个操作数不足以确定表达式的整体真实性。

&& 比 || 绑定更紧密，因此操作可以用括号括起来：

d = (++a && ++b) || ++c;

++a 的值为 -2 ，其计算结果为 true（因为任何非 0 的值都计算为 true）； ++b 的值为 3，其计算结果为 true；因此 && 项的值为 true。因为 true || false 和 true || true 均评估为 true，无需评估 RHS 即可了解总体结果。 （&& 的类似规则是，如果第一项计算结果为 false，则无需计算第二项，因为整个表达式必须为 false。如果您有 a = -1; 在测试之前，则 b 不会递增，因为 ++a 会为零或 false，因此 的 RHS && 未被评估。当然，那么 c 将会递增，因为 || 的 LHS 将为 false，并且必须评估 RHS 才能确定总体结果。）

Answer 2

因为 ++a && ++b 计算结果为 true。

这就是所谓的短路。条件内的表达式从左到右进行计算。如果您的情况，如果 OR 子句中的第一个条件被评估为 true，则没有必要评估第二个条件，因为已知整个表达式已经是true了。

Answer 3

在 C 语言中，布尔逻辑运算符 && 和 || 是 短路。这意味着如果评估左侧不足以知道答案，他们只会评估右侧。

对于您的代码，这会导致永远不会计算 ++c，因为左侧不为零，因此布尔 or 的结果将为 true，并且不需要做更多工作。

Answer 4

它是惰性布尔表达式求值。
执行是：

++a 给出 -2

++b 给出 3

-2 & & 3 给出 1

好的！无需检查||的结果。所以 ++c 不会被评估。

规则是：在以下情况下不计算表达式部分 X：(0 && X)、(1 || X)。这里的1当然是“非0”。

Answer 5

d= ++a && ++b || ++c
d= ++(-2) && ++b || ++c
d= -1 && ++b || ++c
d= true && ++b || ++c
d= true && ++2 || ++c
d= true && true || ++c
d= true || ++c
d= 1

这大概就是它在幕后的运作方式......