关于一个数组越界之后的死循环

<span style="font-size:18px;">#include<stdio.h>
void main()
{
	int i=0;
	int a[5];
	for (i = 0; i <= 5; i++) {
		a[i] = -i;
		printf("a[%d] = %d\n", i, a[i]);
	}
}</span>

分析上述代码，执行结果是什么？能编译过去吗？有结果吗？结果是什么呢？

编译运行之后，发现这个程序是可以运行的。

为了分析这个程序，修正程序：

<span style="font-size:18px;">void main()
{
	int i=0;
	int a[5]={0,0,0,0,0};
	for (i = 0; i <= 5; i++) {
		a[i] = -i;
		printf("a[%d] = %d\n", i, a[i]);
		if(i==4){
			printf("%p\n",&i);
			printf("%p\n",&a[0]);
			printf("%p\n",&a[1]);
			printf("%p\n",&a[2]);
			printf("%p\n",&a[3]);
			printf("%p\n",&a[4]);
			while(1);
		}
	}
}</span>

运行之后：

通过上述运行结果，绘制内存图如下：

为什么使用while(1)死循环呢？因为实际上这个程序会成为一个死循环，所以用了个死循环来观察结果。