程序越界访问内存最后却进入了死循环(类似nice公司的一道笔试题，同原理)

#include<stdio.h>
int main()
{
    int i = 0;
    int arr[10] = { 0,1,2,3,4,5,6,7,8,9 };
    for(i=0;i<=12;i++)
    {
        printf("hehe\n");
        arr[i] = 0;
    }
    return 0;
}

在vs2019环境下该代码最终会陷入死循环，这是为什么呢？

这是因为内存分为栈区，堆区，静态区。局部变量，函数参数都是存放在栈区上，而栈区的使用规则是先使用高地址再使用低地址，因为先创建变量 i，再创建数组，所以 i 的地址要比数组最后一个元素的地址还要高，而vs2019默认设置了  i 和数组最后一个元素之间隔了两个整形，所以数组向后越界访问了arr[10],arr[11]，到了访问arr[12]时，由于已经越过了两个整形（数组在内存中是连续存放的，并且随着下标的增加，地址也随之增加），此时arr[12]的地址刚好与 i 的地址相同，所以将arr[12]赋值为0的同时，也将 i 改为了0，所以程序进入了死循环，也正是因为如此，程序没空报错。但若是先创建数组，再创建 i ，程序则会报错，因为此时 i 的地址低于数组的地址，数组越界访问压根就访问不到i，所以程序就有空报错。

 

温馨提示：在vs2013-----2019的环境下间隔2个整形，  在gcc环境下间隔1个整形，   在vc6.0环境下间隔0个整形