为何std::array采用模板参数而非构造参数指定大小？

你的疑问本质是要搞懂std::array 作为「编译期固定大小静态数组」的定位——它的设计从一开始就和动态容器（比如std::vector）划清了界限，以下是具体原因：

1. 栈内存分配的硬性要求 #

std::array 的核心特性是在栈上分配内存（除非显式用堆分配包裹），而栈内存的大小必须在编译阶段就确定。模板参数是编译期常量，刚好能满足这个要求；如果用构造函数参数指定大小，那大小是运行期值，编译器根本没法提前知道要给栈分配多少空间。

比如你设想的 std::array<int>(10)，这里的10是运行期传入的参数，编译器编译这段代码时并不知道这个值，自然无法在栈上预留对应大小的内存。

2. 替代C风格数组的设计目标 #

std::array 是为了修复C风格数组的缺陷（比如不能直接赋值、没有容器接口）而设计的，但它保留了C数组的核心属性：编译期固定大小、栈分配、连续内存。如果改成构造函数指定大小，它就完全变成了另一个std::vector，失去了存在的意义——毕竟标准库已经有动态扩容的vector了。

3. 极致的性能优化空间 #

因为大小是编译期确定的，编译器可以对std::array做大量极致优化：

• 循环展开：编译器知道数组长度，能直接把循环拆成固定次数的操作，避免循环判断开销
• 编译期边界检查：访问数组元素时，编译器可以在编译阶段就检查索引是否越界，而非运行期抛出异常
• 内存布局确定性：固定大小让编译器能精准把控内存布局，在嵌入式、高性能计算等需要内存对齐的场景更友好

4. 类型系统的一致性 #

每个不同大小的std::array都是不同的类型，比如std::array<int,5>和std::array<int,10>是两个完全独立的类型。这也是为什么你写接收std::array的函数时必须用模板参数——函数要适配不同的类型，就得用模板生成对应的重载。

而你设想的std::array<int>这种「不指定大小的类型」，本质是动态容器的类型，和std::array的静态定位完全冲突，标准库已经用std::vector实现了这个功能。

补充：想要简洁的函数写法怎么办？ #

如果不想写模板函数，可以考虑用std::span（C++20及以上），它可以接收任意连续内存容器（包括std::array、C数组、std::vector），写法更简洁：

#include <span>
auto func(std::span<int> arr);

这样不管你的std::array是多大，都能直接传递给func，无需模板参数。

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