C陷阱与缺陷之求值顺序

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

应该被解释成

而不是

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

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

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

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语言中其他所有运算符对其操作数求值的顺序是未定义的。特别地,赋值运算符并不保证任何求值顺序。

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

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

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

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

另一方面,下面这种写法却能正确工作。

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

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

赞 (1)

评论 0

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址