Linux gcc for 循环中 i=i++ 会造成死循环问题及 ++i / i++ 汇编分析

在把 Windows 程序移植到 Linux 时遇到了死循环,最后定位到了类似这种的语句 for (i = 0; i < 1; i = i++),

别问我是谁写的,为什么这么写(泪目)。

根据我自己的感觉, i = i++ 应该等价于 i++(C标准中 i=i++ 的行为未定义), Windows 上确实是这样,但 Linux 不是,这应该是编译器差异造成的。

--------------------------------------- 可 i 的分割线 No.0 --------------------------------------------------------------

那么问题来了,为什么会这样呢?

用 arm-linux-gcc  -S  i.c 汇编一下,编译结果和源码如下(gcc 汇编的代码不太好看,所以用了 arm 版的):


首先介绍一下出现的汇编指令:

mov r3, #0       (把常数值赋值给 r3,相当于 r3=0)

str r3, [fp, #-8] (把 r3 的值存储到内存地址 [fp, #-8])

ldr r3, [fp, #-8] (把内存地址 [fp, #-8] 的值载入到 r3,和 str 相反)

add r2, r3, #1    (r2 = r3 + 1)

okey, 其实是先把 i 的原始值缓存到 r3,然后加1的值赋给 r2,r2会更新 i 值(因为 i++), 最后 r3 也会更新 i 值(因为 i=),至于为何是这个顺序,请呼叫大神吧。所以,i 的值会一直为0,导致文章开头的 for 循环就死了。

--------------------------------------- 可 i 的分割线 No.1 --------------------------------------------------------------

为了好理解,我还汇编出了 j=i++,如下:


j = i++ : 还是先缓存 i 的原始值,然后把加1的 i 值赋给 i,最后在把缓存的 i 的原始值赋给 j(和 i = i++ 的顺序一样)。

j = ++i : 先更把加1的 i 值赋给 i,然后再取出 i 值赋给 j 。

--------------------------------------- 可 i 的分割线 No.2 --------------------------------------------------------------

此外,一直想看看i++ 和++i 的汇编有什么不同,结果如下:


因为一直都听过这个说法,for 循环中 ++i 的效率比 i++ 高,但从上图中可以看成,在单独的语句中,

++i 和 i++ 是一样的(gcc 系列编译器),不过还是推荐用 ++i,为了移植性,不能相信编译器。

猜你喜欢

转载自my.oschina.net/u/1416148/blog/362516