堆栈上的动态数组大小

C 中的可变大小数组 (VLA) 允许在运行时指定数组的大小无需诉诸动态分配技术，例如 malloc 或 new。这与声明具有固定大小的数组的传统方法形成对比。

您提供的代码满足声明具有在运行时确定的大小的数组的标准：

int main(int argc, char **argv) {
    size_t size;
    cin >> size;
    int array[size];
    // ...
}

编译器支持

这段代码的合法性取决于编译器对VLA的支持。虽然 C99 标准包含 VLA，但它不是强制性功能。然而，包括 GCC 在内的许多编译器都支持 VLA 作为可选扩展。

实现

当编译器为 VLA 分配空间时，它会调整堆栈指针以适应数组所需的内存。这与在堆栈上为常规变量和数组分配空间的方式类似。

优点

VLA 提供了一种方便的方法来分配数组，而无需开销和复杂性动态内存分配。当数组大小直到运行时才知道时，它特别有用。

限制

VLA 有一些限制：

• 数组大小必须在声明数组之前知道。
• 分配的内存不能像 free 那样显式释放。
• 数组的生命周期仅限于声明它的块。

注意：

重要的是要注意，应明智地使用 VLA 以避免潜在的堆栈溢出问题如果尺寸没有有效控制。