为什么编译器会跳过复合语句的某些部分[重复]

Question

例如在下面的代码中

int x,y,z;
x=y=z=1;
z = ++x && ++y || ++z;
cout<<x<<y<<z;

输出为 2 2 1。 我猜这是因为编译器知道 '++x && ++y' 给出了 'true'，所以它跳过了剩余的行 || ++z。

但是，如果我用下面的代码替换它：

z = ++x && ++y && ++z;

输出仍然是 2 2 1。 不应该是 2 2 2，因为 AND 的所有部分 '++x' ， '++y' ， '++z' 都必须进行评估。

Answer 1

我猜是因为编译器知道 '++x && ++y' 给出了 'true'，所以它跳过了剩下的行 '|| ++z'。

没错。虽然它不一定在编译时完成，它可以在运行时在更复杂的情况下执行（因为编译器不能保证知道每个变量中的值。

这不是z == 1 的原因。

您正在设置z = ++x && ++y && ++z，这会将&& 生成的布尔值隐式转换为整数。布尔值true 的整数表示是1，因此是z == 1。