数组越界会造成死循环

数组越界问题编译器是不会报错的，数组越界是不可估计的。但是数组越界会给程序带来死循环，例如：

#include <stdio.h>
#include <stdlib.h>
int main()
{
    int i = 0;
    int arr[10];//a[0]--a[9]一共10个元素
    for(i = 0; i<=10; i++)//下标越界，造成死循环
    {
        printf("welcome bit.\n");
        arr[i] = 0;//(-i也会造成死循环问题)
    }
    system("pause");
    return 0;
}

此程序先定义了变量i，变量i以及数组在内存中的存储形式如下：
在vc6.0中栈中是从高地址指向低地址的，所以i应该在高地址出，而数组有事连续存储的，经过调试得知a[10]的值总是跟随i的变化而变化，而且所占的地址是一样的，由此知a[10]与i占据一块空间，所以存储如下：

变量 地址
a[10]（i） 高
a[9]
a[8]
a[7]
a[6]
a[5]
a[4]
a[3]
a[2]
a[1]
a[0] 低

当执行到i=9是以上内存形式不变，当i=10时，a[10]就占用了i原本的位置，进而i的值又变成了0，又进入循环段执行下去，造成死循环。
为了优化数组越界问题，高级编译器对此进行了优化，在i与数组之间的存储位置上开辟了一块区间，所以高级编译器不会在刚好越界就出现死循环，比如：

#include <stdio.h>
#include <stdlib.h>
int main()
{
    int i = 0;
    int arr[10];//a[0]--a[9]一共10个元素
    for(i = 0; i<=12; i++)//下标越界，造成死循环
    {
        printf("welcome bit.\n");
        arr[i] = 0;//(-i也会造成死循环问题)
    }
    system("pause");
    return 0;
}

其中，a[10] a[11]所占的空间就是i与数组之间的一段存储空间，不同的编译器对此问题的处理是不同的。