C语言笔记，数组下标越界，栈结构

//b[5]越界了，0..4
#include <stdio.h>

int main(){
    int a=6543,b[5];
    printf("%d",b[5]);

    return 0;
}

这个数组下标越界很明显，声明时明明是b[5]，使用时却不能用b[5]，没错，C语言就是这样设计的。

这段程序将显示一个随机值吗？错，它显示变量a的值，即6543，不是随机值。这是为什么？要从栈的结构说起。

栈是从高地址向低地址生长的，main函数开始时，先分配一个a，再分配5个int的数组。这么一来，b[5]就成了a了。

a和b在栈上的位置：
a=6543
b[4]
b[3]
b[2]
b[1]
b[0]，b
b和b[0]的地址一样，a和b[5]的地址一样。

数组下标越界时，有如上现象，这只是在栈上，在堆上分配的数组越界，会有不同。

数组下标可以是负数，这是另一种越界，有兴趣的可以试着玩一下。