std::array大小在编译期固定且不可变，N必须为constexpr表达式，不支持resize或push_back；其本质是零开销封装的栈上连续内存，与C数组布局等价，类型由N完全确定。
不支持，std::array 的大小在编译时就固定了，运行时完全无法改变。
std::array 的大小必须是编译期常量
声明 std::array<t n></t> 时，N 必须是 constexpr 表达式（比如字面量整数、constexpr 变量），不能是普通变量或运行时计算的结果。
常见错误现象：
- 写
int n = 5; std::array<int n> arr;</int>→ 编译失败，报错类似‘n’ is not a constant expression - 试图用
resize()、push_back()等方法 → 编译错误，因为这些成员函数根本不存在
原因很简单：std::array 的设计目标就是零开销替代 C 风格数组，它本质上是一个带封装的栈上对象，大小直接参与类型定义。一旦类型确定（如 std::array<int></int> 和 std::array<int></int> 是两个完全不同的类型），就不可能“变大”或“变小”。
立即学习“C++免费学习笔记（深入）”；
为什么不能像 std::vector 那样动态扩容
std::vector 能动态扩容，是因为它内部持有指向堆内存的指针，并维护容量（capacity）和大小（size）两个状态；而 std::array 没有指针、没有堆分配、没有额外元数据 —— 它的全部内容就是 N 个连续的 T 类型对象，和 T arr[N] 在内存布局上几乎等价。
这意味着：
- 没有空间存放 size/capacity 字段 → 无法记录“当前用了多少”
- 栈空间大小在函数进入时已确定 → 无法在运行时扩展栈帧
- 类型系统不支持“同一对象切换大小” → 语言层面禁止这种操作
误以为能“动态”的常见操作及真相
有些写法看起来像在“改变大小”，其实只是创建了新对象或访问方式不同：
-
arr.fill(x)：只是把已有元素全设为x，大小没变 -
arr.data()返回指针：可以传给 C 函数，但不改变arr本身 - 用
std::span截取子范围：std::span(arr).subspan(0, 3)→ 新建一个视图，原arr仍是完整大小 - 不同大小的
std::array之间无法赋值或隐式转换 → 类型不兼容
真正需要运行时确定大小，就该换用 std::vector；如果大小确定且追求极致性能和确定性，std::array 才是正确选择。混淆这两者，往往是因为忽略了“编译期大小”这个硬约束 —— 它不是限制，而是契约。
