我最初有以下代码,它是一个无效的**:
while (it != end) { *it = *(it + 1); it++; }
我决定改变它1;它;它;因为我两次计算相同的值.
while (it != end) { *it = *(++it); }
但是,在这样做之后,我的程序不再以相同的方式运行.
编辑:我想注意这不是i = i;而是将它指向的值分配给它前面的值.
解决方法
在* it = *(it);中,编译器可能会为了准备引用* it而对其进行评估,然后执行为其递增的副作用.或者它可能先做副作用,然后评估它为*它. C标准没有说明这些必须发生的顺序.赋值本身,在*中存储一个值,必须在以后,但那是另一回事.编译器可以按任何顺序处理左侧部分和右侧部分.
您不允许修改对象(它)并在它们之间使用它(在*它中)而不确定它们之间的确定顺序.这样做会导致未定义的行为.这是根据C 2011 [N1570] 6.5 2:
If a side effect on a scalar object is unsequenced relative to either a different side effect on the same scalar object or a value computation using the value of the same scalar object,the behavior is undefined.
增加它是一个副作用,并在*中使用它是一个使用它的值的值计算,它是一个标量对象.因此,行为未定义.