std::array 能彻底避免原始数组的越界访问和退化问题，但必须主动用 at() 或手动检查下标——[] 运算符依然不检查边界。
为什么 std::array 不能自动防止越界？
它只是个轻量级封装，底层仍是栈上连续内存，operator[] 被设计为零开销，所以和原始数组一样不做检查。真正能抛异常的是 at()，但默认不启用。
- 常见错误现象：
arr[10]访问长度为 5 的std::array<int></int>—— 行为未定义，不报错也不警告 - 使用场景：高频循环、性能敏感路径中用
[]；调试/非关键逻辑中优先用at() - 参数差异：
at(size_t i)会检查i ，越界抛 <code>std::out_of_range - 性能影响：
at()多一次分支判断，Release 模式下编译器通常无法完全优化掉（尤其当索引非常量）
std::array 和原始数组传参时的行为差异
原始数组传参即退化为指针，丢失尺寸信息；std::array 是类型完整值，尺寸是模板参数的一部分。
- 常见错误现象：写
void f(int arr[])或void f(int* arr)，调用方传std::array<int>::data()</int>后函数里无法知道长度 - 正确做法：用引用传递，如
void f(const std::array<int>& arr)</int>，或泛型template<size_t n> void f(const std::array<int n>& arr)</int></size_t> - 兼容性影响：不能直接把
std::array当作 C 风格接口的int*用，需显式调用.data() - 注意：
std::array作为函数参数值传递会复制整个数组（栈拷贝），大数组慎用
初始化与聚合构造的坑：{} 不等于 = {}
聚合初始化行为在 C++17 后有细微但关键的变化，容易导致意外清零或编译失败。
立即学习“C++免费学习笔记（深入）”；
- 常见错误现象：
std::array<int> a = {};</int>→ 全部初始化为 0；但std::array<int> a{};</int>也是零初始化；而std::array<int> a{1};</int>→{1, 0, 0}，不是{1, 1, 1} - 使用场景：需要明确初值时，用
std::array<t n> arr = {v1, v2, ...}</t>；仅需清零，用std::array<t n> arr{};</t> - 参数差异：省略部分初始值（如
{1}）会触发“填充零”规则；全空{}是值初始化（对 int 即零） - 容易忽略：如果元素类型是非 trivial（如含自定义构造函数），
{}可能不调用默认构造，而是执行 aggregate init，行为取决于字段是否显式初始化
最常被绕过的点是：以为用了 std::array 就高枕无忧，结果继续用 [] + 未经验证的索引，和原始数组一样崩溃。安全不是容器给的，是你每次访问时的选择。
