一.運(yùn)算符的優(yōu)先級(jí)

    在C++ PRimer一書(shū)中，對(duì)于運(yùn)算符的優(yōu)先級(jí)是這樣描述的：

    Precedence specifies how the Operands are grouped. It says nothing about the order in which the operands are evaluated.

    意識(shí)是說(shuō)優(yōu)先級(jí)規(guī)定操作數(shù)的結(jié)合方式，但并未說(shuō)明操作數(shù)的計(jì)算順序。舉個(gè)例子:

    6+3*4+2

    如果直接按照從左到右的計(jì)算次序得到的結(jié)果是:38，但是在C/C++中它的值為20。

    因?yàn)槌朔ㄟ\(yùn)算符的優(yōu)先級(jí)高于加法的優(yōu)先級(jí)，因此3是和4分組到一起的，并不是6與3進(jìn)行分組。這就是運(yùn)算符優(yōu)先級(jí)的含義。

二.運(yùn)算符的結(jié)合性

    Associativity specifies how to group operators at the same precedence level.

    結(jié)合性規(guī)定了具有相同優(yōu)先級(jí)的運(yùn)算符如何進(jìn)行分組。

    舉個(gè)例子:

    a=b=c=d;

    由于該表達(dá)式中有多個(gè)賦值運(yùn)算符，到底是如何進(jìn)行分組的，此時(shí)就要看賦值運(yùn)算符的結(jié)合性了。因?yàn)橘x值運(yùn)算符是右結(jié)合性，因此該表達(dá)式等同于(a=(b=(c=d))),而不是(a=(b=c)=d)這樣進(jìn)行分組的。

    同理如m=a+b+c;

   等同于m=(a+b)+c;而不是m=a+(b+c);

三.操作數(shù)的求值順序

   在C/C++中規(guī)定了所有運(yùn)算符的優(yōu)先級(jí)以及結(jié)合性，但是并不是所有的運(yùn)算符都被規(guī)定了操作數(shù)的計(jì)算次序。在C/C++中只有4個(gè)運(yùn)算符被規(guī)定了操作數(shù)的計(jì)算次序，它們是&&,||,逗號(hào)運(yùn)算符(,),條件運(yùn)算符(?:)。

   如m=f1()+f2();

   在這里是先調(diào)用f1()，還是先調(diào)用f2()?不清楚，不同的編譯器有不同的調(diào)用順序，甚至相同的編譯器不同的版本會(huì)有不同的調(diào)用順序。只要最終結(jié)果與調(diào)用次序無(wú)關(guān)，這個(gè)語(yǔ)句就是正確的。這里要分清楚操作數(shù)的求值順序和運(yùn)算符的結(jié)合性這兩個(gè)概念，可能有時(shí)候會(huì)這樣去理解，因?yàn)榧臃ú僮鞣慕Y(jié)合性是左結(jié)合性，因此先調(diào)用f1()，再調(diào)用f2()，這種理解是不正確的。結(jié)合性是確定操作符的對(duì)象，并不是操作數(shù)的求值順序。

    同理2+3*4+5;

    它的結(jié)合性是(2+(3*4))+5，但是不代表3*4是最先計(jì)算的，它的計(jì)算次序是未知的，未定義的。

    比如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這些次序都是有可能的。雖然它們的計(jì)算次序不同，但是對(duì)最終結(jié)果是沒(méi)有影響的。