我无法理解这个程序的输出:
#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.)