std::array比原生数组更安全，因其类型安全、尺寸固定、传参不退化、支持at()运行时边界检查、兼容标准算法且拷贝语义明确。
std::array 为什么比原生数组更安全
因为 std::array 是类型安全、尺寸固定且自带边界检查（在调试模式下）的容器，而原生数组（如 int arr[5]）不携带长度信息、不重载 [] 的越界检查、传参时会退化为指针——这三点是绝大多数缓冲区溢出和误用的根源。
传参时不会退化为指针
原生数组作为函数参数时，void foo(int a[10]) 实际等价于 void foo(int* a)，长度信息完全丢失；std::array 则保留完整类型，包括元素类型和尺寸：
void bar(const std::array<double, 3>& a) {
// sizeof(a) == 24，a.size() == 3，类型明确
}
- 传
std::array时必须匹配模板参数中的尺寸，编译期就能捕获尺寸错配 - 无法把
std::array<int, 5>传给期望std::array<int, 3>的函数，而原生数组毫无约束 - 配合
auto&或模板推导（如template<size_t N> void f(const std::array<int, N>&)），可泛化处理不同尺寸
at() 方法提供运行时边界检查
std::array::at(size_t i) 在越界时抛出 std::out_of_range 异常；原生数组的 [i] 操作永远不检查，行为未定义：
std::array<char, 4> a = {'h', 'e', 'l', 'l'};
a.at(10); // 抛出 std::out_of_range（仅限 debug 模式或标准库实现启用检查时）
a[10]; // 未定义行为：可能读垃圾值、崩溃、或静默错误
- 注意：
operator[]对std::array也不做检查，和原生数组一样快，但at()是显式选择“安全换性能” - 某些标准库实现（如 libstdc++ 的 debug mode）会让
operator[]也检查，但这不是标准要求，不可依赖 - 若需强制检查，只用
at()；若追求极致性能且逻辑已确保安全，用[]
支持标准容器接口和算法
std::array 满足 ContiguousContainer 要求，能直接用于 std::sort、std::find、范围 for 循环等，无需额外包装或取地址：
立即学习“C++免费学习笔记（深入）”；
std::array<int, 4> a = {3, 1, 4, 1};
std::sort(a.begin(), a.end()); // OK
for (int x : a) { /* OK */ } // 自动推导范围
- 原生数组要调
std::sort(arr, arr + 4)，容易写错长度，且不能直接用于基于范围的for -
std::array可用data()获取底层指针，兼容 C 接口，但不需要手动算偏移 - 拷贝语义明确：赋值即深拷贝整个栈上数据，不像原生数组必须用
std::memcpy或逐个赋值
大小写、括号、模板参数这些细节一旦写错就编译失败，看似麻烦，实则是把隐患拦在编译期；而原生数组的“自由”往往要到运行时才以崩溃或数据错乱的形式暴露。
