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

a+b*c

应该被解释成

a+(b*c)

而不是

(a+c)*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!=&&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=0;
       while(i<n){
              y[i]=x[i];
              i++;
       }

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

       for(ji=0;i<n;i++)
              y[i]=x[i];

未经允许不得转载：TacuLee » C陷阱与缺陷之求值顺序