std::array不能直接替代C风格数组的指针传递场景，因其是完整类型，默认按值拷贝，而原生数组名隐式退化为指针；传参须显式使用const std::array&，且大小必须编译期确定。
std::array 为什么不能直接替代 C 风格数组的指针传递场景
因为 std::array 是类型完整的对象，传参时默认按值拷贝（哪怕只是传引用），而原生数组名退化为指针是隐式、零开销的。你写 void f(int arr[10]) 实际等价于 void f(int* arr)，但 void f(std::array<int> arr)</int> 会触发完整拷贝 —— 即使加 &，也得显式写成 const std::array<int>&</int> 才安全。
常见错误现象：
- 把 std::array 当作“更安全的 int[10]”直接塞进老接口，编译失败或行为异常
- 忘记模板参数必须在编译期确定，导致试图用变量初始化大小（如 std::array<int n></int>）报错 non-type template argument is not a constant expression
- 使用场景：适合固定大小、需栈上分配、要迭代器/STL 算法支持的场景（比如配置表、坐标向量、小缓冲区）
- 传参务必带
const&，除非你真需要拷贝（极少见） - 和原生数组互转不免费：取地址用
&arr[0]可获得指向首元素的指针，但要注意生命周期 —— 别返回局部std::array的&arr[0]
越界访问检查只在 at() 里有，operator[] 不检查
std::array::at() 会抛 std::out_of_range，而 operator[] 和原生数组一样不做任何检查 —— 这不是 bug，是设计选择：保持零运行时开销，默认信任调用方。
容易踩的坑：
- 以为用了 std::array 就自动“安全”，结果 arr[100] 依然静默越界、踩内存
- 在调试模式下没暴露问题，上线后偶发崩溃，因为越界读写破坏了相邻栈变量
- 开发阶段可临时用
at()替代[]快速捕获逻辑错误 - 性能敏感路径（如内层循环）坚持用
[]，但确保索引来源受控（比如for (size_t i = 0; i ） - 注意
at()抛异常，若所在函数没声明noexcept且未捕获，会终止程序
和 std::vector 混用时 size() 返回类型不一致
std::array::size() 返回 constexpr size_t，而 std::vector::size() 返回运行时计算的 size_t。表面一样，但编译器对前者能做常量折叠，后者不能 —— 这会影响模板推导和 static_assert。
典型问题：
- 写 static_assert(arr.size() == vec.size(), "...") 编译失败，因为 vec.size() 不是常量表达式
- 模板函数接受 Container，内部用 container.size() 做数组声明（如 int buf[Container::size()];），对 std::array 成立，对 std::vector 直接报错
- 跨容器泛型代码中，别依赖
size()是否可常量求值；统一用std::size(container)（C++17 起）更稳妥 - 需要编译期大小时，只对
std::array用std::tuple_size_v或直接访问N模板参数 -
std::vector没有编译期大小，这是本质差异，强行统一只会掩盖设计意图
初始化语法差异导致空数组或误初始化
std::array<int> a{};</int> 是零初始化（全 0），但 std::array<int> a;</int> 是未初始化 —— 和原生数组一致，这点常被忽略。
立即学习“C++免费学习笔记（深入）”；
更隐蔽的问题：
- std::array<:string> a{"hello"};</:string> 只初始化第一个元素，第二个是默认构造的空串，不是未定义值，但可能不符合预期
- std::array<int> a{1};</int> 初始化为 {1, 0, 0}，而非 {1, 1, 1} —— 这是聚合初始化规则，不是 std::array 特有
- 明确需要零初始化时，用
= {}或{}（统一推荐后者） - 批量赋相同值？别用初始化列表，改用循环或
std::fill - 含非 POD 类型（如
std::string）的std::array，默认构造成本不可忽略，确认是否真需要栈上存放
真正麻烦的从来不是怎么写 std::array，而是它看起来像原生数组、用起来像容器，却卡在两者的语义缝隙里 —— 大小固定但类型完整，安全可选但不默认开启，初始化灵活但规则严格。用之前先想清楚：你到底要的是“带 STL 接口的栈数组”，还是“不需要堆分配的轻量容器”。选错方向，后面全是坑。
