越界修改数组导致死循环问题

  直接步入主题：请观察以下代码的输出结果是什么？

// 代码1
int main()
{
	int i = 0;
	int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };

	for (; i <= 9; i++)
	{
		arr[i] = 0;
		printf("hehe\n");
	}

	return 0;
}

  大家不要把代码拷到运行环境上，大胆的猜测一下以上代码运行会出现什么情况？
  对的，没错，以上代码就是你看到的东西，并没有什么错？

---

  接下来我们再看看下面的代码：

// 代码2
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、i 和 arr 均为局部变量，众所周知局部变量放在栈区中（静态的除外）。

2、栈区的使用习惯是先使用高地址，再使用低地址；又因为数组的下标的增长会导致地址由低到高的变化，如果数组越界了，就有可能会把 i 给覆盖了，此时就会导致死循环。

  上图是我在VS 2017 中调式出来的内存地址情况，我们可以很清楚的看到，arr[12] 的地址和 i 的地址是一样的，所以当我们修改了 arr[12] 就相当于修改了 i ，故而会导致死循环。

  当然了，以上代码在 VS C++ 或者 gcc环境下都会是死循环的，而在 VS C++ 中修改条件为 <=10就会导致死循环，在 gcc 环境下应该和 VS C++ 一样，具体我也没尝试过，大家可以尝试一下然后评论区告诉我丫。

  所以我们要如何避免出现这种情况呢？反正就我觉得你要不是故意性的写出这个代码，其他情况下写出来这种代码我都觉得你是有问题的，你为什么要去越界访问数组修改数组呢？

---

本文内容到此结束，感谢您的阅读！！！如果内容对你有帮助的话，记得给我三连丫（点赞、收藏、关注）