编译器如何读取这些表达式？为什么我得到这些输出（所有变量都初始化为 1）？ [复制]

Question

int x = 1 , y = 1 , z = 1  ;

现在检查这些代码行：-

cout << (++x || ++y)<<endl;     //Output 1
cout << x <<" " << y;          // now x = 2 and y = 1 . Why 'y' is not incremented ?

再次将值初始化为 1

cout <<(++x && ++y )<<endl;     //Output 1
cout << x <<" " << y;         //now x = 2 and y = 2 . Why 'y' is incremented ?

再次将值初始化为 1

cout << (++x ||++y && ++z )<<endl;  //Output 1
cout << x<<" "<< y<<" "<<z ;       //now x = 2 , y = 1 , z = 1.Why these outputs? 

有人可以解释一下编译器是如何读取这些代码的吗？ 我阅读了有关优先顺序的信息，但我无法弄清楚编译器如何处理这些类型的代码。即使是小小的帮助也将不胜感激！

Answer 1

我不确定当您键入 || 和 && 时会发生什么。这些都是逻辑 or/and 运算符。

|| 和 && 的有趣之处在于它们的参数是惰性求值的。这称为短路。换句话说，一旦编译器有足够的信息来确定表达式的最终结果，它就会停止计算参数。

cout << (++x || ++y)<<endl;

++x 被评估为布尔值true。由于|| 的一侧为真就足以使整个表达式为真，因此不会评估++y。

cout <<(++x && ++y )<<endl;

++x 仍然为真，因此编译器也会计算 ++y，就好像结果是 false，表达式将是 false。

第三个留给你自己解决。

我还要补充一点，这是一个非常强大的功能。没有它，以下表达式将取消引用 null 指针：

if( a!=NULL && a->val>3 )...

这样，如果a 是null，则不会评估右侧，并且不会取消引用a。

Answer 2

这叫做短路。

1) 在您的第一种情况下，由于 x 左侧的值为 1，因此永远不会调用运算符 || 的右侧（因为在任何情况下，|| 的结果都是正确的） - 因此y 永远不会增加。

2) 同样在您的第二个示例中，由于x 是左侧的一个，这对&& 没有任何意义-您仍然需要评估右侧才能看到最终结果；如果右手边为假，则结果为假，否则为真。所以在这种情况下，左侧和右侧都被评估。并且x和y的值增加了。

3) 同样在第三种情况下，由于短路，涉及y 和z 的右侧永远不会执行（因为x 的值为1）-因此值为y 和@ 987654334@ 是 1。

这里还有一些info。