[c语言]数组越界

有这样一段代码：

#include<stdio.h>
int main()
{
 int i = 0;
 int arr[10] = {0};
 for(i=0; i<=12; i++)
 {
  printf("hehe\n");
  arr[i] = 0;
 }
}

运行出来的结果是死循环；
那么如果改成这样呢？

#include<stdio.h>
int main()
{
 int arr[10] = {0};
 int i = 0;
 for(i=0; i<=12; i++)
 {
  printf("hehe\n");
  arr[i] = 0;
 }
}

 结果会报错，但不会死循环，这是为什么呢？为什么第一个代码不报错而会死循环呢？
在c陷阱与缺陷这本书中有这样一段代码是这样解释的：

int i,a[10];
for(i=1; i<=10; i++)
a[i] = 0;

这段代码本意是要设置数组a中所有元素为0，却产生了一个出人意料的“副效果”。在for语句的比较部分本来是i<10，却写成了i<=10，因此实际上并不存在的a[10]被设置成0，也就是内存中在数组a之后的一个字(word)的内存被设置成0，**如果用来编译这段程序的编译器按照内存地址递减的方式来给变量分配内存，那么内存中数组a之后的一个字(word)实际上是分配给了整型变量i。**此时，本来循环计数器i的值为10，循环体内将并不存在的a[10]设置为0，实际上却是将计数器i的值设置为0，这就陷入了一个死循环。

  那么回过头来看我们的第一段代码：
其实我们在定义变量时已经给这个变量分配了内存，局部变量是放在栈上的，而栈的使用特点是先使用高地址，再使用低地址。
那我们上面的代码是先创建 i，再创建arr，所以如果越界的合适的话会覆盖 i 的值，也就是会将 i 的值又变回0。
我们画图理解一下：
内存中存在这样几个区域

在栈区我们先定义i，i 的地址就比数组的地址高，数组的使用是随着下标的增长，地址越来越高，当越界的合适的时候，那么有可能就会将i的值覆盖为0，导致死循环

那么将创建i 和创建数组的位置颠倒就会使得两个变量的内存分配位置发生变化，这时候数组的地址为高地址，i 的地址为低地址，那么不管数组怎么越界都不会覆盖 i 的值，这个时候就会报错越界。