C/C++顺序点

迷南。 2022-01-20 23:59 85阅读 0赞

出处:

http://blog.csdn.net/scorpio16/article/details/1556235

看下面两条语句：

int i = 3;  
int k=(++i)+(++i)+(++i);

执行后k的值是多少？不同的编译器有不同的结果，可能是16（gcc），也可能是18（vc）。为什么会这样呢？  
 在C++标准中有一个很重要的概念：sequence points（顺序点）。原文定义如下：

At certain specified points in the execution sequence called *sequence points*, all side effects of previous evaluations shall be complete and no side effects of subsequent evaluations shall have taken place.

大致意思是说：在执行顺序中某些指定的点叫做顺序点。这个点上，之前所有的赋值所产生的副作用都已发生完成，并且在其后的赋值不能在该点产生任何副作用。  
 那么什么是副作用？C++标准指出：访问一个由可变的左值（volatile lvalue）指派的对象（basic.lval），修改一个对象，调用库I/O函数，或者调用函数等所有这些能够改变执行环境的状态的操作都是副作用。  
 听起来感觉有些绕口而且不容易理解。那么来看看都有哪些点是顺序点也许会帮助我们更好的理解。

*   *  分号；
     *  未重载的逗号运算符的左操作数赋值之后（即“,”处）；
     *  未重载的”||”运算符的左操作数赋值之后（即“||”处）；
     *  未重载的“&&”运算符的左操作数赋值之后（即"&&"处）；
     *  三元运算符“? : ”的左操作数赋值之后（即“?”处）；
     *  在函数所有参数赋值之后但在函数第一条语句执行之前；
     *  在函数返回值已拷贝给调用者之后但在该函数之外的代码执行之前；
     *  每个基类和成员初始化之后。

那么这个顺序点有什么用呢？在标准中规定：在两个顺序点之间，一个数值对象最多只能由表达式赋值修改一次。而对于其他的行为不给予明确定义。  
 那么在回过头来看这条语句：

int k=(++i)+(++i)+(++i);

由于此处顺序点就是分号，因此这条语句应该只修改一次i的值。对于多次的i自增值运算，由于标准并没有明确定义，因此各个编译器处理这种情况的方法也不同。这就出现了本文开头的结果。