//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]的地址一样。
数组下标越界时,有如上现象,这只是在栈上,在堆上分配的数组越界,会有不同。
数组下标可以是负数,这是另一种越界,有兴趣的可以试着玩一下。