Question

我的数组定义了，也在范围内，为什么会出现下标越界

Answer 1

二维数组定义的一般形式为：类型说明符 数组名 [常量表达式][常量表达式]
这两个常量表达式分别指定了二维数组的行数和列数，程序编译时据此向内存申请空间。
而引用二维数组的格式为： 数组名[行下标][列下标]，行下标和列下标都是从0开始排序。这里的下标和上面的常量表达式意义不同，范围也不同。
以你给的例子来讲：
int b[4][5]是定义一个名为b的二维数组，它包含4行5列，共20个元素。如果存放数组b的首地址为p，则内存为数组分配的空间是p~p+19；数组b的行下标范围为0~3，列下标范围为0~4，地址p+19存放的元素为b[3][4]。如果要引用b[4][5]，由于没有提前向内存申请地址，则会随机指向一个地址，得到一个垃圾数据，无法实现我们的目的，我们就说是引用下标越界。