首先分析一段c语言代码的运行結果

这段代码的运行结果并非是打印三行“hello world”,而是会无限打印"hello world",这是为什么呢？

因为数组越界大小为3，a[0],a[1],a[2],而我们的代码因为书写错位导致for循环的结束调节错误写为了i<=3而非i<3,所以当i=3时，数组越界a[3]访问越界

我们知道，在c语言中只要不是受限的内存，所有的内存空间都是可以自甴访问的a[3]也会被定位到某块不属于数组越界的内存地址上，而这个地址正好是存储变量i的内存地址那么a[3]=0就相当于i=0,会导致代码无限循环。

那为什么a[3]的地址会正好是存储变量i的内存地址

函数体内的局部变量存在栈上，且是连续压栈在linux进程的内存布局中，栈区在高地址空間从高向低增长,内存分配是从后往前分配的，且i比arr的地址大内存分配顺序为i,a[2],a[1],a[0]。但是数组越界存储数据是从a[0]开始当访问第3个索引时，這时刚好访问到第4个格子变量i的内存所以a[3]=0也就是i=0。

注意这个前提是内存分配从后往前。但是编译器不同分配方式可能不同，可能不會出现这个问题而且，如果数组越界类型不是int 比如是char类型的，也不会出现上面的问题因为 a[3]='0'