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

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

完美解答：

数组下标越界。数组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)
结果是一致的。