C++中std::array为何能够存储在栈上？

你对栈内存的分配规则理解是对的：栈上分配的内存大小必须在编译期完全确定，运行时才知道长度的数据确实不能直接存到栈上。你产生这个疑问的核心偏差是误解了std::array的大小确定时机——std::array的总大小从来不是运行时未知值，它在编译阶段就已经完全固定了。

• std::array本质就是C原生固定长度数组的轻量封装，全程没有动态内存分配逻辑。它的长度是通过模板非类型参数传入的，而C标准明确要求这类模板参数必须是编译期可求值的常量。也就是说你在代码里写出std::array<T, N>的时候，这个N必须是编译阶段就能算出确定值的常量，编译器可以直接算出整个std::array实例占用的内存大小（基本就是N * sizeof(T)，封装带来的额外开销要么为0要么可以忽略），这和你直接在栈上定义原生数组T arr[N]的内存布局、分配逻辑没有任何区别，当然可以分配在栈上。
• 你觉得std::array大小未知，大概率是把它和std::vector的特性搞混了。std::vector才是支持运行时动态调整长度的容器：它自己占的栈空间只有几个管理字段（指向堆内存的指针、当前元素数、预分配容量），实际的元素数据全存在动态申请的堆内存上，所以不需要编译期确定总长度。但std::array没有这层堆分配的间接逻辑，整个对象的内存就是一块连续的固定长度空间，根本没有运行时动态伸缩的能力。
• 你举的“不能把用户输入的未知长度内容直接读到栈上”的例子，本身就和std::array的使用边界不冲突：如果内容长度是运行时才能确定的（比如用户实时输入的字符串长度），你根本就定义不出来对应的std::array实例——你没法把运行时拿到的长度值传给std::array的模板参数，这类代码在编译阶段就会直接报错，根本跑不起来。这种动态长度的场景本来就该用std::vector或者其他堆分配的结构存储，从来不存在std::array在栈上存未知大小数据的情况。

你可以跑两段最直观的测试代码验证：

// 合法：长度是编译期常量，整个std::array对象全部分配在栈上
constexpr size_t kFixedBufferLen = 2048;
std::array<char, kFixedBufferLen> stack_buffer;

// 非法：长度是运行时从输入拿到的变量，编译阶段直接报错
size_t input_len = 0;
std::cin >> input_len;
std::array<char, input_len> invalid_buffer; // 编译不通过，模板参数必须是编译期常量

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