如图所示函数，最终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]的语句的上面。
看来编译器在进行编译的时候，变量在内存中的存储位置，是按照定义的顺序存放的
。