C Traps and Pit falls-Order of evaluation

求值顺序

运算符优先级与求值顺序完全是另外一码事。运算符优先级是关于诸如表达式

a+b*c

应该被解释成

a+(b*c)

而不是

(a+b)*c

的这样一类规则。求值顺序是另一类规则，可以保证像下面的语句

 if(count != 0 && sum/count < smallaverage)

printf("average < %g\n",smallaverage);

即使当变量count为0时，也不会产生一个“用0作除数”的错误。

C语言中的某些运算符总是以一种已知的、规定的顺序来对其操作数进行求值，而另外一些则不是这样。例如，考虑下面的表达式：

a < b && c < d

C语言的定义中说明a<b应当首先被求值。如果a确实小于b，此时必须进一步对c<d求值，以确定整个表达式的值。但是，如果a大于或等于b，则无需对c<d求值，表达式肯定为假。

另外，要对 a < b 求值，编译器可能先对a求值，也可能先对b求值，在某些机器上甚至有可能对它们同时并行求值。 

C语言中只有四个运算符（&&、||、？：、和，）存在规定的求值顺序。运算符&&和运算符||首先对左侧操作数求值，只在需要时才对右侧操作数求值，只在需要时才对右侧操作数求值。运算符？：有三个操作数：在a？b:c中，操作数a首先被求值，根据a的值再求操作数b或c的值。

而逗号运算符，首先对左侧操作数求值，然后该值被“丢弃”，再对右侧操作数求值。

注：分割函数参数的逗号并非逗号运算符。例如，x和y在函数f（x，y）中的求值顺序是未定义的，而在函数g（（x，y））中却是确定的先x后y的顺序。在后一个例子中，函数g只有一个参数。这个参数的值是这样求得的，先对x求值，然后x的值被“丢弃”，接着求y的值。

 C语言中其他所有运算符对其操作数求值的顺序是未定义的。特别地，赋值运算符并不保证任何求值顺序。

运算符&&和运算符||对于保证检查操作按照正确的顺序执行至关重要的。例如，在语句

if(y != 0 && x/y >tolerance)

complain();

中，就必须保证仅当y非0时才对x/y求值。

下面这种从数组x中复制前n个元素到数组y中的做法是不正确的，因为它对求值顺序作了太多的假设：

i =0 ;

while (i < n)

y[i] = x[i++];

问题出在哪里呢？上面的代码假设y[i]的地址将在i的自增操作执行之前被求值，这一点并没有任何保证！在C语言的某些实现上，有可能在i的自增之前被求值：而在另外一些实现上，有可能与此相反。同样道理，下面这种版本的写法与前类似，也不正确：

i=0;

while(i < n){

y[i] = x[i];

i++;

}

当然，这种写法可以简写为：

for(i =0; i < n; i++)

y[i] =x[i];