C语言数组越界问题

首先C语言数组越界我们都知道，当我们定义了一个arr[5]数组，首先我们要知道C语言对数组越界访问不会进行检查，也就是说我们访问越界的话，一般不会发生报错。但是如果我们越界的同时，修改区间的值，就会编译通不过。但是事实有时候并非如此。下面主要以代码运行说明：
1.访问越界
首先，我们看看访问越界的情况：

#include<stdio.h>

int main()
{
	int arr[5] = { 1,2,3,4,5 };
	int brr[5] = { 6,7,8,9,10 };
	printf("%d\n", arr[5]);
	printf("%d\n", brr[5]);
	printf("%d\n", arr[-1]);
	printf("%d\n", brr[-1]);

	return 0;
}

我们访问的是arr[5],brr[5],arr[-1],brr[-1]，可见C语言不会对访问越界进行检查。

2.访问越界+非法修改
话不多说，直接上代码：

int main()
{
	int arr[5] = { 1,2,3,4,5 };
	int brr[5] = { 6,7,8,9,10 };
	brr[5] = 20;//brr[6] = 20

	return 0;
}

可见，我们越界修改的话，编译器会告诉我们正在非法修改某各空间。但是如果我们越界比较过分呢？
以下代码所示：

#include<stdio.h>

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

	return 0;
}

运行结果：

注意到，我们修改的是brr[7]的值，编译通过，但是发现arr[0]的值被修改了。
原因在于，我们定义的数组空间都在栈里面，而且是连续空间，每次我们定义一个数组的时候，栈里会在数组的两端多给我们开辟空间，通过代码及结果可以分析，两个数组之间是两个多出来的空间（因为brr[5],brr[6]都会提示非法修改，而brr[7]直接修改了arr[0]的值）如果我们越界试图修改这两个空间里的值，系统会提示我们非法修改，但是如果你越界过于厉害，会直接修改其他已经被分配走的空间的值（比如我们brr[7] = 20，其实访问修改的是arr[0]的值）。