for循环 数组下标越界导致死循环

如图所示函数，最终for语句会陷入死循环，无法结束。

原因在于：堆栈帧中 a[0]~ a[4] 之后是 i 而 访问a[5]时，其地址也是 i所在的地址
因此当你给a[5]赋值为0的时候，也就给 i 赋值为 0 了。
这个问题的原因就是C在编译的时候，不会对数组下标溢出做检查。
因此以后用类似这样的语句时，一定要注意控制数组下标，不要溢出了。
-----------------------------------------------------------

其汇编代码如下：



·······
······
····
···
···
··
··
·
然而并不能看懂。

------------------------------------------------------

所以用printf函数显示每个变量所在的内存地址



然后执行
结果如下：



每个变量的地址都打印出来，能看出，i的地址确实与a[4] + 4 （即a[5])重复了

-----------------------------------------------------------------------------
【总结】
一开始定义a[5]的时候，内存中为数组a开辟了5个内存空间，
第六个放的是i，地址和a[5]（假如有a[5]）的话 重复了
因此a[5] = 0 这句表达式 等价于 i = 0;
因此陷入死循环。

-----------------------------------------------------------------
【继续深入】
但是如果修改一下一开始变量定义的顺序



那么出来的结果为：



不过要注意，访问了没有定义的数组元素a[5]
这样的代码肯定是有问题的，只不过输出显示暂时是正常的了。
或者，再定义几个无关变量，



结果为



···
···
···
···
将那几个无关变量的地址打印出来
这时候会发现 变量 apple 的地址与 a[5]（如果有的话） 重了。
而函数中定义apple的位置恰好在定义a[5]的语句的上面。
看来编译器在进行编译的时候，变量在内存中的存储位置，是按照定义的顺序存放的
。