优先级结合性与序列点

时间：2010-12-29 来源：donotblock

经常有人问类似i=i++, c=d=c++, a=i++ * i++等表达式的值，每次还都能看到不少错误的回答。理解这些问题需要弄清楚c语言的表达式求值(evaluation)过程。
一个表达式可以分两部分来看：副作用 - side effect，我觉得效果这个词比较形象一点。意思是一个表达式带来的影响结果 - result ，就是表达试的值比如i++，副作用是i+1，结果是i本身。
然后是三个名词：优先级 - precedence 结合性 - associativity 序列点 - sequence point

很多人错误的理解了优先级和结合性的意思，认为它们决定了一个表达式中各子表达式的求值顺序，这是错误理解文章开头所提问题的根源。而实际上：

1. 优先级和结合性是的唯一作用是决定哪些操作数是属于那些操作符。

2. 优先级和结合性不能表明那些表达式先求值那些后求值。

3. 序列点就是程序执行过程中的特定点，子表达式的求值顺序只被序列点决定。

4. C语言只保证，到一个序列点的时候，这个序列点前面的所有side effect都已经完成，而且这个序列点后面的所有side effect都还没有发生。

5. 上一个序列点后到这一个序列点之间，各子表达式的求值顺序未定义。

6. 序列点包括：

a> 函数调用（在参数处理完成，实际进入函数之前）

b> 在操作符逻辑与(&&), 逻辑或(||)，条件(?)，逗号(, 函数参数列表里不算)的第一个操作数之后。

c> 一个完整的表达式后面，比如分号后面或者if里面的控制表达式等。

7. 对于序列点，一个重要的原则是：在上一个序列点后到这一个序列点之间最多改变一个对象的值一次。

例如表达式：

a=i + i++ * i++ - b;