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

发布时间：2020-12-16 09:21:53 所属栏目：百科来源：网络整理

导读：参见英文答案 Why are these constructs using pre and post-increment undefined behavior?????????????????????????????????????14个 ???????????? Undefined behavior and sequence points????????????????????????????????????5个前几天我在我们的一个C

参见英文答案 > 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定义的.

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!