分配和后递增循环迭代器时的C无限循环(gcc bug？)

参见英文答案 > Why are these constructs using pre and post-increment undefined behavior?                                    14个
>             Undefined behavior and sequence points                                    5个
前几天我在我们的一个C应用程序中遇到了一个奇怪的错字,触发了代码进入无限循环.在for循环结束时,程序员意外地分配了i = i,而不仅仅是递增i.

for (int i = 0; i < 10; i = i++) {
    cout << "i = " << i << endl;
}

输出：

i = 0
i = 0
i = 0
...

最奇怪的是,即使理解这是一个错字,我也看不出为什么这段代码不起作用.据我所知,分配给i应该没有影响,因为我仍然应该在分配后增加. (出于某种原因,它必须改为复制一份？但这似乎没有意义.)

另一个有趣的事情是将赋值更改为i = i不会产生无限循环.

这段代码在我们之前的编译器上没有产生无限循环：gcc版本4.4.7 20120313.我们最近升级到gcc版本4.8.5 20150623,现在确实如此.

问题是为什么这个代码在逻辑上看起来不应该产生无限循环,哪个编译器根据C标准正确地解释了这个？

i = i的行为是未定义的(在未经测序的步骤中同时读写 – 并且在标准中).永远不要使用它.

注意,i = i是从C 11定义的.

至于编译器错误的思考.你找到一个并不是不可能的,但这是极不可能的,特别是如果怀疑的表达如此之小.