C语言基础 程序的调试与分析

下面的程序的输出结构为死循环，着重分析一下原因
#include<stdio.h>
int main(){
	int i=1;
	int arr[10]={1,2,3,4,5,6,7,8,9,10};
	for(i=1;i<=12;i++){
		printf("haha\n");
		arr[i]=0;
	}
return 0;
}
![调试结果分析](https://img-blog.csdnimg.cn/2020120823165615.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYW94aWEzODMyNA==,size_16,color_FFFFFF,t_70#pic_center)
![栈区内存分析](https://img-blog.csdnimg.cn/20201208232559273.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYW94aWEzODMyNA==,size_16,color_FFFFFF,t_70#pic_center)

在分析之前我们要知道以下知识
1、可以理解内存是一块大的区域，该区域可分为静态方法区，堆区和栈区，局部变量的相关运算在栈区中进行
2、栈区可分为高地址内存和低地址内存，变量的存放基本遵从自上而下即从高地址到低地址的存放顺序
3、数组下标增长，地址由低到高
经过调试我们可以发现每次到arr[12]时，i会再次归零，所以程序会死循环，一直运行下去。
不同的编译器对越界的不同程度的处理时不一样的，具体详情可参考一些参考书，例如《C陷阱与缺陷》