为何一维数组溢出时for循环可运行，二维数组却无法运行？

为什么用for循环给两个一维数组赋值时，即便数组越界仍能完成存储并打印，但嵌套for循环给二维数组赋值时，越界就会导致程序无法运行？

可运行的一维数组代码 #

#include <stdio.h>

int main()
{
 int i, a[5], b[6];
 for (i = 0; i <= 6; i++)
 {
    a[i] = i;
    b[i] = i;
 }

 for (i = 0; i <= 6; i++)
 {
   printf(" %d", a[i], b[i]);
 }

 return 0;
}

无法运行的二维数组代码 #

#include <stdio.h>

int main()
{
int i, j, a[5][5];

for (i = 0; i <= 5; i++)
{
    for (j = 0; j <= 5; j++)
    {
        a[i][j] = j;
    }
}


for (i = 0; i <= 5; i++)
{
    for (j = 0; j <= 5; j++)
    {
        printf(" %d", a[i][j]);
    }
printf("\n");
}

return 0;
}

核心原因：数组越界属于未定义行为，崩溃与否取决于内存覆盖的位置 #

C语言本身不会对数组访问做边界检查，越界后的行为完全没有保证——可能正常运行、可能崩溃、可能输出乱码，甚至可能破坏其他数据。两种场景的差异本质是越界访问的内存区域不同：

• 一维数组场景：
  栈上的变量布局大概是i、a[5]、b[6]（具体顺序取决于编译器）。当i到6时，a[5]、a[6]其实是访问了栈上的其他变量（比如b的起始位置或者i本身），但这种覆盖没有破坏栈帧的关键结构（比如main函数的返回地址），所以程序还能继续执行，只是输出的内容可能包含乱码或者被修改的变量值。

• 二维数组场景：
  二维数组a[5][5]在内存中是连续存储的，总共有25个int元素。当i=5时，a[5][0]已经是第26个int，超出了数组范围；继续循环到j=5时，访问的是第31个int位置，这个位置大概率已经覆盖了栈帧的返回地址，或者触发了栈的保护机制（比如栈金丝雀）。当main函数执行到return 0时，会跳转到被修改的非法地址，直接导致程序崩溃（段错误）。

简单来说，一维场景只是“碰巧”越界访问的内存不影响程序的核心执行流程，而二维场景的越界直接破坏了栈的关键数据，导致程序无法正常结束。

内容的提问来源于stack exchange，提问作者user10897549