循环中多次声明不同大小变长数组的内存行为及程序疑问

让我一步步拆解你的问题，帮你搞清楚背后的原理~

问题1：循环内VLA的内存分配与扩展限制 #

首先明确核心特性：变长数组（VLA）是块作用域的栈分配变量（绝大多数主流C编译器的实现都是如此）。每次进入循环的代码块时，编译器会根据当前的n值，在栈上分配对应大小的空间给a；当退出这个块时，栈指针会回退，这块内存就被标记为“可用”，后续的栈操作可以随意覆盖它。

关于你观察到的“新数组似乎扩展之前的内存” #

这其实是栈的增长特性导致的：

• 栈通常是向下增长的（内存地址从高到低分配）。比如第一次循环n=5，会在当前栈顶位置分配5个int的空间（20字节），栈指针向下移动到对应位置；
• 第二次循环n=4，只需要分配16字节，栈指针回退的距离更短，新数组的地址刚好和上一次数组的高地址区域重叠，看起来像是“扩展”，但本质只是栈空间复用的表现。

无法扩展的情况 #

当然存在：

• 栈的总大小是有限制的（一般是几MB，取决于系统和编译选项）。如果某次循环中n的值过大，需要分配的VLA大小超过剩余栈空间，就会触发栈溢出，程序直接崩溃（通常表现为段错误）。
• 部分系统对单个栈分配的大小有上限，即使栈还有剩余空间，超大的VLA也会分配失败。

问题2：循环中VLA的生命周期与输出内容异常的原因 #

先看代码里的核心问题：

f[n--] = a;

这里的a是VLA的首地址，但a是块作用域变量——每次退出while循环的代码块时，a占用的栈内存就被释放了。你把这个地址保存到全局数组f里，相当于保存了一个悬垂指针（指向已经失效的内存地址）。

之前的VLA声明会被怎么处理？ #

每次循环进入块时，新的a会在栈上重新分配空间；退出块时，这个a的生命周期就结束了，内存被回收，上一次循环的a早就不存在了，它的内存可能已经被后续操作覆盖。

为什么输出的数组内容是零？ #

这是未定义行为的表现：当你进入第二个while循环打印时，之前VLA占用的栈内存已经被其他操作（比如printf函数的栈帧、main函数内的变量修改等）覆盖了。原来赋值的5被新的数据替换，你这次看到零只是巧合——换个环境运行，可能会输出随机垃圾值。

举个验证例子：如果在第一个循环结束后，加一段代码占用栈空间：

printf("\ndone\n");
// 手动覆盖栈内存
int temp[5] = {0,0,0,0,0};
while(++n < 5){
    // ... 原有打印代码
}

你会发现输出肯定全是零，因为temp数组刚好覆盖了之前VLA的栈区域。

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