数组越界问题

因为C语言不检查数组越界，而数组又是我们经常用的数据结构之一，所以程序中经常会遇到数组越界的情况，并且后果轻者读写数据不对，重者程序崩溃，出现些我们无法预知的情况，总归找不出问题所在。下面我们来分析一下数组越界的情况：

#include <stdio.h>

int main()
{
	int i;
	int arr[10]={1,2,3,4,5,6,7,8,9,10}
	for(i=0;i<=10;i++)
	{
	    arr[i] = 0;
		printf("%d\n",i);
	}
    return 0;
}

这个程序在vs2012会直接崩溃，在GCC环境下，编译运行的结果是个死循环1,2,3,4,5,6,7,8,9,10,1,2,3,…

为什么会出现这种情况，源自于栈这种数据类型“先进后出”特点，首先分析以下这个程序内存分配情况：程序先定义了一个int类型的变量i，接着定义了一个int类型的数组长度为10。在编译器中，内存以栈的数据结构来分配，利用栈“先进后出”的特点，先给i分配了一个4个字节的空间，再给长度为10 的数组分配了40个字节的空间，如下图：

按照栈的分配，数组arr的长度为10，第一个元素是arr[0],最后一个元素是arr[9],在程序循环过程中，10<=10成立，数组越界，这个“越”指的是当前合法位置的下一个，即arr[10]=0则指向了变量i的地址空间并对i赋值为0，从而导致了程序的死循环。

在vs2012中是这样处理这个问题的：

int main()
{
	int i;
	int arr[10];
	printf("%d,%d,%d\n",&i,&arr[8],&arr[9]);
	return 0;
}

可以看到 i与arr[9]之间并不是我们所理解的4个字节，实际上它们相差12个字节（如上图），vs2012这两者之间多设置了两个4字节，以帮助用户检测程序，很大程度上避免了一些隐型的错误。