c - 在递增/递减运算符的情况下短路 AND

Question

在下面的代码中:

#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

谁能解释一下？

Answer 1

第一种情况

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。