c – 运算符优先级和评估顺序

我无法理解这个程序的输出：

#include<iostream>
using namespace std;
int main()
{
    int x = 1,y = 1,z = 1;
    cout << ( ++x || ++y && ++z ) << endl; //outputs 1;
    cout << x << " " << y << " " << z ;  //x = 2,z = 1;
    return 0;
}

输出：

1
2 1 1

如果||首先评估然后这个输出是好的,但this文章说&& amp;优先级高于||,因此必须先进行评估.如果是这种情况那么根据我的输出应该是：

1
1 2 2

作为y&& z将评估为true,因此不会评估x.

解决方法

“优先级”影响分组,而不是顺序,并且意味着如果操作数“属于”哪个运算符可能存在任何歧义,则具有较高优先级的运算符会在其上获得第一个dib.

由于涉及两个二元运算符,因此有两种方法可以读取表达式.
作为树木,这些将是：

and
    /\
   or ++z       [(++x || ++y) && ++z]
  / \
++x ++y 


   or
   /\
++x  and       [++x || (++y && ++z)]
     / \
  ++y ++z

优先规则确定在C中选择后一个树,因为中间操作数y用&&而不是||组合.

这些运算符的“短路”意味着评估必须从最左边的叶子开始(每个运算符必须首先评估其左腿,然后如果需要则评估其右侧).
因此,首先评估x,并且||如果x为零,则仅继续其右腿,而不是.

(从精彩和艺术图表中可以看出,无论&&和||的相对优先级如何,都必须首先评估x.)