求值顺序——不是运算符优先级，也不是结合方向

a+b*c      表达式1

优先级规则决定这个表达式的意义是：a+（b*c），而不是（a+b）*c。

A*B/C      表达式2

结合方向决定了，它是：（A*B)/C，而不是A*(B/C）。

然而，求值顺序则是另一套规则。C语言里规定了求值顺序的运算符只有&&、||、？：和，。这些比较好理解，就不再赘言了！

我们所要讨论的是一般情况。

表达式1求值时，表达式a、表达式b和表达式c的求值顺序是任意的。举例而言：

int a=2;
int b=3;
int c=4;

c=a+b*c;

对于如此简单的表达式，求值顺序也是令人费解的。它可能有多种情况：

1）先把变量b的值，加载到寄存器x；然后把变量c的值加载到寄存器y；执行乘法运算。最后执行加法运算，原则上变量a加载到寄存器的顺序可能是第一，也可能是最末。

2）先把变量c的值，加载到寄存器x；然后把变量b的值加载到寄存器y；执行乘法运算。最后执行加法运算，原则上变量a加载到寄存器的顺序可能是第一，也可能是最末。

事实上，这两种情况都是有可能的。编译器视情况而定，以期获得最高效率！

如果a、b和c是复杂的子表达式，那情况就更加复杂了。包含++、--之类运算符时，对求值顺序的讨论更有意义！

总结而言：（对于表达式1）

1）优先级确定的是，子表达式b求值完成后，应该执行的b*c，而不是a+b。

2）优先级，不能确定子表达式a、b、c的求值顺序

y=a+b*c；  //a先求值，还是b*c（b或c）先求值，顺序是任意的

但是表达式最终是简化为

y=ra+bc； //ra是表达式a的求值结果，bc是b*c的结果。

同理，对于表达式2也是一样的。

1）表达式A、B、C的求值顺序是不确定的

2）结合方向，从左向右。子表达式B求值完成后，应该执行的是A*B，而不是B/C。

表达式2最终简化为：

y=AB/rC； //AB是A*B的结果，rC是C的求值结果。

下面举两个具体的例子：

y=5*6+3*4 =》y=30+12 =》y=42     //无论是5*6先执行，还是3*4先执行，这个简化顺序是不变的

y=12*2/3  =》y=24/3 =》y=8   //这个简化顺序也是不变的，可以试想把12、2、3替换为复杂的子表达式

特别的对于赋值运算，也没有规定求值顺序。

i=0;
while(i<n)
{
     y[i]=x[i++];
}

这段程序的结果是不可预知的。

因为编译器可能：

1）i自增后，访问y[i]，再赋值        

2）i自增前，访问y[i]，再赋值

所谓访y[i]和i自增的顺序，也就是子表达式的求值顺序。它们之间的顺序是不确定的！

最后，再总结一下吧。

对于程序员而言，优先级和结合方向的意义在于明确了表达式的意义。至于，表达式如何求值，通常我们不必关心。

但是如果涉及到一个表达式里存在多个顺序点的情况，对于求值顺序的讨论就非常必要了。

然而，一般我们应该保证一个语句中只有一个顺序点，并且这也是可行的！

由于本人对于这一块的理解一直有困惑，欢迎各位大神指正！