C语言中已知大小的数组与VLA是否存在实际差异？

性能差异 #

• 编译期可推导大小的VLA：如果编译器能在编译阶段确定VLA的大小（比如你示例中size == 7的情况），生成的机器码和固定大小数组完全一致——栈空间分配、内存寻址、循环优化等操作没有任何区别，性能完全相同。
• 运行时确定大小的VLA：当VLA的大小只能在运行时确定时，编译器需要通过寄存器动态计算数组元素的内存地址，不过现代CPU的寻址模式天然支持基址+变址的计算，这种额外开销几乎可以忽略，仅在极端高频的内存访问场景下可能出现微乎其微的差异。另外，VLA的栈空间是在函数入口根据实际大小动态调整栈指针分配的，这个操作仅需几条指令，性能影响极小。

编译与运行时特性差异 #

• 越界检查能力：固定大小数组的常量索引越界，部分编译器可在编译期检测并告警；VLA的所有越界访问只能在运行时通过栈保护机制（如-fstack-protector）检测，甚至可能完全不检测，风险更高。
• 栈溢出风险：固定大小数组的栈空间需求是编译期确定的，开发者可提前评估是否超出栈容量；VLA的大小由运行时参数决定，若传入过大值，极易触发栈溢出，且这类问题无法在编译期发现。
• 兼容性：VLA是C99标准引入的特性，虽主流编译器支持，但部分嵌入式环境、老版本编译器（如MSVC）可能不兼容；固定大小数组是C标准的基础特性，兼容性无虞。
• sizeof行为：固定大小数组的sizeof是编译期常量，可用于数组大小定义、case标签等需要常量的场景；VLA的sizeof是运行时求值的（即便编译器能优化为常量，标准层面仍属于运行时计算），无法用于上述常量场景。

实际场景示例 #

假设我们有两个处理数组的函数，分别使用固定大小数组和VLA：

// 固定大小数组版本
void process_fixed(int* input) {
    int arr[1024];
    for (int i = 0; i < 1024; i++) {
        arr[i] = input[i] * 2;
    }
    // 后续处理逻辑
}

// VLA版本（调用时size恒为1024）
void process_vla(int size, int* input) {
    int arr[size];
    for (int i = 0; i < size; i++) {
        arr[i] = input[i] * 2;
    }
    // 后续处理逻辑
}

若编译器能确定process_vla的size参数始终为1024，两个函数的编译结果完全一致；若size是真正的运行时变量（如用户输入值），性能差异可忽略，但VLA存在栈溢出和越界检测不足的风险。

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