固定行可变列二维数组代码在GCC中出现运行时错误的原因排查

首先咱们拆解下第一段代码里的核心问题，这些都属于未定义行为——这类问题的特点是编译器可以自由处理，不同编译器（甚至同一编译器的不同优化等级）表现差异极大，这就是它在MSVC/Clang能“正常运行”，却在GCC里崩溃的原因：

1. 初始指针指向的内存空间严重不足 #

你一开始写了pa[0] = &a;，这里的a只是单个int变量，仅占4字节（32位系统下）。但输入的第一行列数可能大于1（比如示例里第一行列数是2），此时*(pa[0] + 1) = k;会直接越界访问a后面的栈内存——这部分内存不属于你定义的变量，可能是其他局部变量的空间，甚至是栈帧的关键元数据。

2. 行指针的计算逻辑完全错误 #

看这段代码的顺序：

if(i != 0) pa[i] = pa[i-1] + c; // 先计算指针偏移
scanf("%d", &c); // 后读取当前行的列数

你是先用旧的c值（上一行的列数）计算当前行指针的偏移，再读取当前行的列数c！这会导致行指针的偏移完全不符合实际输入的行列结构，进一步加剧内存越界的问题。

就算你把scanf移到计算指针的前面，逻辑依然不成立：pa[i-1]指向的内存块大小是上一行的列数，你直接在它后面偏移当前行的列数，会覆盖后续内存或访问不属于你的栈空间——栈内存是连续但有固定布局的，你不能默认a后面有足够空间存放所有行的元素。

3. 不同编译器的栈布局差异触发了崩溃 #

MSVC和Clang的栈布局可能刚好让你越界访问的内存暂时没破坏关键数据（比如返回地址、栈帧指针），所以程序没崩溃；但GCC的栈布局可能让你的越界操作直接覆盖了栈上的关键信息，导致运行时触发错误（比如段错误、栈溢出）。这本质是未定义行为的典型表现——不是代码“正确”，只是运气好没触发崩溃而已。

而你用动态内存分配的代码就完全规避了这些问题：每一行都通过malloc申请了独立且足够的堆内存，指针指向的都是合法内存区域，不存在越界访问的问题，所以在所有编译器下都能稳定运行。

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