一道有趣的面试题(有关数组越界问题)

#前言

不知大家在平常写代码时是否有出现过数组越界的情况，那么今天我们所讲题目就和数组越界存在着一定的联系。

#正文

接下来请大家阅读一下下面这段代码，想想他所输出的结果是怎样的，编译器为vs2019.

#include<stdio.h>
int main() {

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

	return 0;
}

如果你对于内存空间的开辟与数组越界的问题不够敏感的话，是很难能发现这段代码的问题所在，可能只是会单纯的认为是数组越界访问报错而已。那么结果真的是这样吗？当然不是，这段代码输出的结果是死循环打印“hehe”，结果如下：

那么为什么会是这种结果呢？其实很简单，首先要理解这道题我们需要了解空间在内存中的开辟。由于局部变量是在栈上开辟的而栈上开辟空间是优先使用高地址，所以如下图所示就是空间在栈上开辟的空间布局：

 

在图中我们可以看到，非常凑巧的arr【12】的地址与i的地址恰好重合了，所以当循环将arr【12】赋值为0的同时也将i的值重置为0了，至此进入死循环。

如图所示，此时arr【12】的地址与i的地址相同。当然这种代码的运行结果根据不同的编译器可能会有不同的结果，在这我们能凑成如此巧合的原因是vs2019中的开辟内存的布局恰好如此 。但是如果此时我们将数组的创建与变量i的创建位置变更还会出现以上问题吗？

运行结果如上，这是因为此时变量i的地址在创建时低于arr【0】则更不可能与arr【12】取得联系。不过值得一提的是第一段展示的代码也应该会发出数组越界的警告，只是因为死循环无法停下所以报错提醒一直无法发出。