一个好隐蔽的C/C++代码bug

来自:微博@ruanyf, 一本书上说,下面的 C 语言代码可能会产生无限循环。看了半天,才意识到 Bug 在哪里。

640?wx_fmt=jpeg

完美解答:

数组下标越界。数组a总共有10个值,a[0]~a[9]。for循环里面有执行到a[10],此时数组已越界,指向数组a外的下个地址。 而程序运行时分配内存空间,i可能分配到数组a的下一个地址,导致a[10]的地址与i的地址一致,在执行a[10]=0;时,便将i的值置为0,导致继续循环。 可用调试软件试试看,如 gdb,直接查看a[10] 和 i 的地址: (gdb) print &a[10] $1 = (int *) 0x60ff2c (gdb) print &i $2 = (int *) 0x60ff2c (gdb) 结果是一致的。

posted @ 2017-07-27 13:46  蜗牛201  阅读(183)  评论(0编辑  收藏  举报