【C语言】vs2019中数组越界导致死循环输出的分析

本实验在vs2019 X86环境下进行

本实验分析一种数组越界导致输出死循环的情况。

实验代码如下：

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

就从代码来看，在循环中就造成了数组越界，如果不从物理地址的角度分析本代码，就会认为输出从地址为a开始输出13个0，但是实际情况如下，实际是死循环输出0，如下图：

 

为什么会是这样的呢？

其中最关键的是“在程序分配的空间中，是先使用高地址后使用低地址”。根据这种空间的使用规则，在本程序中，i是先创建的，而数组a是后创建的，所以i的地址要比a的尾部的地址大，如果a越界的范围包括了i，就会重新对i进行赋值为0，使得i的值始终小于12，从而造成死循环。

ok！理论是这样的，然后再实验看是不是我预想的一样：

 看到i的地址和a[12]的地址是一样的，所以当i等于12的时候，此时会因为a[12]=0的操作，将i置为0，从而导致i不可能大于12，造成了死循环。

 

当越界的时候，实验发现也会通过a[i]=0，来改变越界空间的内容，所以，数组的越界操作是十分危险的。

愚蠢的小心思：

前文中提到，在程序分配的空间中，是先使用高地址后使用低地址，如果变量i创建在数组之后，即越界的空间不会包含i，不会再通过a[i]来改变i的值，会发生什么呢？

结果如下：

输出13个0，并且直接报错，但是为什么之前死循环的时候不会有报错呢？个人是觉得该报错是在程序结束的时候报出来的，但是之前那个一直死循环，程序没有机会报错。