在下面的代码中：
#include <stdio.h>
int main()
{
int a = 1;
int b = 1;
int c = a || --b;
int d = a-- && --b;
printf("a = %d, b = %d, c = %d, d = %d", a, b, c, d);
return 0;
}
我期望输出是：
a=0,b=1,c=1,d=0
因为下面一行的短路，即a--返回0，所以其他部分不会被执行对吧？
int d = a-- && --b;
输出是：
a = 0, b = 0, c = 1, d = 0
谁能解释一下？
【问题讨论】：
a-- 计算结果为 a，在本例中为 1，然后递减 a。
标签： c logical-operators short-circuiting
第一种情况
int c = a || --b;
在此之后 a=1 、 b=1 和 c=1
a 的值为 1 ，因为没有执行短路评估 --b
int d = a-- && --b;
a-- 是 post decrement 所以减少 a 不会影响表达式
其中--b 是pre decrement 所以效果在这里
你的情况变成了
int d= 1 && 0 ;
在a=0;、b=0、c=1 和 d=0 之后。
【讨论】：
--b 首先执行。从那以后它已经被编辑了。
int c = a || --b;
在这一行中，C 标准要求 C 实现首先评估a，如果不为零，则不评估 --b。尽管-- 的优先级高于||，但这只是意味着-- 与b 分组是为了确定表达式的结构，而不是为了评估它。 || 运算符的左侧必须在右侧之前评估，如果左侧为真，则右侧不得评估，即使是部分.
所以，经过上述操作，b 没有改变；它仍然是 1。
int d = a-- && --b;
与|| 一样，首先评估&& 的左侧。所以 a-- 被评估。这会将a 更改为 0。但是，a-- 的值在更改之前是 a，所以它是 1。值 0 将阻止评估右侧（因为，一旦我们知道左侧为零，我们知道完整的&& 表达式的值为零）。但是，由于左侧不为零，因此必须评估 --b 以完成 &&。这会将b 更改为 0。“短路”表示首先评估左侧，但在必要时仍会评估右侧。
【讨论】：
Between evaluation of the left and right operands of the && (logical AND), || (logical OR) (as part of short-circuit evaluation), and comma operators
在第一个or操作中，--b没有被执行，因为a等于1：
int c = a || --b;
但是b在这里被递减：
int d = a-- && --b;
因为a 等于 1，并在计算后递减（a-- 等于 1）。换句话说，这一行类似于：
int d = 1 && --b;
b 等于 1，所以现在 b 等于 0。而d 也等于 0，因为--b 返回 0。
【讨论】：
下面一行，即
a--返回0
不，它没有。它产生 1，因为后减运算符计算为变量的未修改值。你在想的可能是--a。
【讨论】：
1 -- the po 让我感到困惑
c = a || --b
所以起初a is evaluated 和a 的值是1，即true。所以编译器不会评估--b。所以b的值还是1
现在
d = a-- && --b
a-- && --b => 1 && 0（因为--b = 0）因为b的值是1。
为什么1 because a-- is post decrement operator
为什么0 because --b is pre decrement operator
so 1 && 0 返回 0 并且这个值存储在 d 中
所以输出：a = 0, b = 0, c = 1, d = 0
【讨论】：
a || b || c 被分组为(a || b) || c。这并不意味着在b 之前评估a。这是一个单独的规则。
您将a-- 与--a 混淆了。表达式a--的结果是a之前递减，而--a是a之后递减；换句话说：
int a = 1;
int b = a--; // b == a == 1
int c = --b; // c == b-1 == 0
因此，您有：
int d = a-- && --b;
// => 1 && b-1
// => 1 && 0
// => 0
【讨论】：
int b = a--;，在原代码对c的赋值中没有对--b求值。