#include <stdio.h>

int main()
{
    int i = 0;
    int a[5];
   
    for(i = 0; i <= 5; i++)
    {
        a[i] = -i;
        printf("a[%d] = %d\n", i, a[i]);
    }
   
    getchar();
    return 0;
}

[ 本帖最后由 荡气回肠 于 2013-10-11 08:32 编辑 ]

嗯，是的。
   当循环变量i的值为5的时候将访问a[5]，这个时候产生了一个数组越界的错误，并且程序产生了死循环。
   在C中a[5]其实等价于*(a+5)，也就是说当i的值为5的时候，将对a+5这个内存空间进行赋值。在该程序中a+5这个内存空间正好就是i的地址，也就是说当i的值为5的时候，在for循环中的赋值语句其实等价于i=-i，即将i赋值为-5，因此i<=5永远无法满足。

呵呵，应该没有那么严重吧。程序应该会一会儿快，一会儿慢。不稳定，最后直接死掉。

给你看看这个，你就应该明白了。

在C语言中，每次函数调用都会使用掉一部分的栈空间，且函数返回后会自动释放掉这部分栈空间。那这些栈空间拿来干什么用呢？局部变量！C语言中的局部变量是在栈空间自动分配的，也就是说函数调用的时候所使用的栈空间就是用于创建局部变量的。

运行结果可以知道：局部变量i确实同数组中的第5个元素a[5]在栈上分配空间，因此a[5]就是i。

难怪论坛这么死气沉沉的。。。。。。

何为论坛？是不是觉得我明知道答案还贴出来，有点儿装的感觉。如果你们要这么想的话，我只能说在这儿缺乏一种学习的氛围。问题的出来是供大家讨论的，希望大家分享自己的见解。分数在某种程度上是为了提起大家的兴趣，对回答者的肯定，但不是最终的目的。分数看得过重，或许也是在拿分数炫耀。

下面是等价关系：
a[5]<==>*(a + 5);
&a[5]<==>a + 5;

a + 5 是一种指针的运算：
p + n; <==> (unsigned int)p + n*sizeof(*p);

   当指针p指向一个同类型的数组的元素时：p+1将指向
当前元素的下一个元素；p-1将指向当前元素的上一
个元素。