c语言问题代码-越界访问数组导致死循环

---

前言

本篇文章记录在越界访问数组时，代码出现了死循环。

---

一、问题代码

IDE：Visual Studio2022
编译环境：x86
版本：debug
问题代码如下：

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;
}

运行结果如下：

图1.1 代码运行结果图

二、利用调试发现问题

调试的结果如下：

图1.2 调试结果图 通过调试发现，i的地址和arr[12]的地址是相同，导致程序陷入了死循环。

思考：i和arr[12]的地址为何是相同的？
原因：在执行main时，局部变量i和数组arr都是在栈区开辟了空间，而栈区使用空间的顺序是优先使用高地址，则局部变量i的地址位于最高，然后再为数组分配内存。每一个元素的地址是连续的，并且从低到高，则arr[12]处于顶部。
以下是数组的在内存中的存储情况：

图1.3 arr数组内存图 下面利用图片说明数组和i的存储情况

图1.4 内存分区

栈分配内存的方式，导致局部变量i的地址和arr[12]的地址是相同的。
代码出现死循环的起因是由于越界访问数组。

---

总结

本篇文章出现的真正原因其实越界访问数组，因此，在遍历数组时，必须考虑数组的下标是否会导致越界。