为何C++允许运行时传递数组大小构造栈上固定大小数组？

这问题我刚学C++的时候也踩过坑！其实核心原因是编译器的非标准扩展，咱们一步步拆解：

1. 你写的是C99的变长数组（VLA），不是标准C++特性 #

你代码里的int myArray[size];是变长数组（Variable-Length Array, VLA）——这个特性是C99标准里引入的，但从C98到最新的C23，所有标准C++版本都没有把VLA纳入规范。标准C++要求数组的大小必须是编译期就能确定的常量表达式（比如constexpr int size = 15;或者直接写字面量15）。

2. 编译器扩展让它“合法”了 #

你的编译器（大概率是GCC或者Clang）提供了非标准的C++扩展，允许在C++代码里使用VLA。只要你没有开启严格的标准检查选项，编译器就会默认支持这种写法，不会报错。

举个例子：如果你用严格标准编译，比如执行命令：

g++ -std=c++17 -pedantic-errors your_code.cpp

编译器就会直接报错，提示你VLA是C标准不允许的特性——这才是符合标准C的行为。

3. 关于const参数的误区 #

你提到去掉const修饰符代码还能运行，这很正常：这里的const只是表示函数内部不能修改size的值，它不是编译期常量。VLA的大小是运行时确定的（比如你调用arrayTest(15)时，15是运行时传递的实参），不管参数加不加const，它都是运行时才知道的数值。真正的编译期常量需要用constexpr修饰。

4. 栈上分配的本质 #

你说的没错，VLA确实是在栈上分配内存，完全不涉及堆。但这种运行时在栈上分配可变大小内存的能力，是编译器扩展额外提供的，标准C++并不允许这么做——栈上的数组大小必须在编译期就确定。

标准C++的替代方案 #

如果要写符合标准的C++代码，推荐用std::vector代替VLA：

#include <vector>
#include <iostream>

void arrayTest(int size) {
    std::vector<int> myArray(size);
    for(int i=0; i<size; i++) {
        myArray[i] = i;
    }
    for(int i=0; i<size; i++) {
        std::cout << myArray[i] << " ";
    }
    std::cout << std::endl;
}

int main() {
    arrayTest(15);
    return 0;
}

std::vector不仅符合标准，还自带内存管理，避免了VLA可能导致的栈溢出风险，兼容性也更好。

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