运算符的优先级
在C++ Primer一书中,对于运算符的优先级是这样描述的:
Precedence specifies how the operands are grouped. It says nothing about the order in which the operands are evaluated.
即 优先级规定操作数的结合方式,但并未说明操作数的计算顺序 。
举例如下:
6+3*4+2
如果直接按照从左到右的计算次序得到的结果是:38,但是在C/C++中它的值为20。因为乘法运算符的优先级高于加法的优先级,因此3是和4分组到一起的,并不是6与3进行分组。这就是运算符优先级的含义。
运算符的结合性
Associativity specifies how to group operators at the same precedence level.
即 结合性规定了具有相同优先级的运算符如何进行分组 。
举例如下:
a=b=c=d;
由于该表达式中有多个赋值运算符,到底是如何进行分组的,此时就要看赋值运算符的结合性了。因为赋值运算符是右结合性,因此该表达式等同于(a=(b=(c=d))),而不是(a=(b=c)=d)这样进行分组的。
操作数的求值顺序
在C/C++中规定了所有运算符的优先级以及结合性,但是并不是所有的运算符都被规定了操作数的计算次序。在C/C++中只有4个运算符被规定了操作数的计算次序,它们是&&,||,逗号运算符(,),条件运算符(?:)。
举例如下:
m=f1()+f2();
在这里是先调用f1()
,还是先调用f2()
?不清楚,不同的编译器有不同的调用顺序,甚至相同的编译器不同的版本会有不同的调用顺序。只要最终结果与调用次序无关,这个语句就是正确的(如果结果跟顺序有关的话就要小心处理了,比如i+++++i
这样令人作呕的东西~)。这里要分清楚操作数的求值顺序和运算符的结合性这两个概念,可能有时候会这样去理解,因为加法操作符的结合性是左结合性,因此先调用f1()
,再调用f2()
,这种理解是不正确的。*结合性是确定操作符的对象,并不是操作数的求值顺序。同理2+3*4+5
;它的结合性是(2+(3*4))+5
,但是不代表3*4
是最先计算的,它的计算次序是未知的,未定义的。比如3*4
->2+3*4-
>2+3*4+5
以及2
->3*4
->2+3*4-
>2+3*4+5
和5
->3*4
->2+3*4
->2+3*4+5
这些次序都是有可能的。虽然它们的计算次序不同,但是对最终结果是没有影响的。