std::array传参不退化，大小是类型一部分，支持安全访问、赋值比较、标准算法和编译期约束，零开销但需避免裸指针操作。
std::array 传参时不会退化为指针
普通数组作为函数参数时，类型信息会丢失，int arr[10] 实际等价于 int* arr，sizeof(arr) 返回指针大小，arr.size() 根本不存在。这导致泛型代码难写、模板推导失败、安全检查失效。
std::array 是完整类型，std::array<int></int> 的大小和维度是类型的一部分：
void f(const std::array<int, 5>& a) {
std::cout << a.size(); // 输出 5，确定无误
}- 模板函数中可直接用
decltype(a)::size()或a.size()获取长度 - 重载或特化时能按不同尺寸区分（如
std::array<T, 3>和std::array<T, 4>是两个不同类型） - 避免手动传
size_t n参数，减少出错可能
std::array 支持标准算法和范围 for 循环
普通数组要配合 std::sort，得写 std::sort(std::begin(arr), std::end(arr))，还得确保传对长度；而 std::array 直接用成员函数：
std::array<int, 5> a = {5, 2, 8, 1, 9};
std::sort(a.begin(), a.end()); // ✅ 干净利落
for (int x : a) { /* ✅ 自然支持 range-for */ }-
begin()/end()是成员函数，无需依赖 ADL 或辅助函数 -
at()提供带异常的边界检查（operator[]不检查，行为同原生数组） -
front()/back()安全访问首尾元素，空数组调用未定义，但至少语义明确
std::array 可整体赋值、比较、返回
普通数组不能直接赋值：int a[3], b[3]; a = b; 编译报错；== 比较也非法。而 std::array 支持全部这些操作：
立即学习“C++免费学习笔记（深入）”；
std::array<int, 3> a = {1,2,3}, b = {4,5,6};
a = b; // ✅ 赋值合法
if (a == b) { ... } // ✅ 按元素逐个比较
auto get() { return a; } // ✅ 可安全返回，不退化、不悬垂- 返回
std::array不涉及堆分配，栈上拷贝开销极小（尤其小尺寸） - 结构体中含
std::array成员时，自动获得默认赋值/比较语义 - 注意：大尺寸（如
std::array<char, 4096>）拷贝仍存在成本，需权衡
std::array 的初始化和编译期约束
普通数组允许部分初始化、聚合初始化宽松；std::array 要求显式尺寸且初始化方式更严格：
int c_arr[5] = {1}; // ✅ 剩余为 0
std::array<int, 5> a = {1}; // ✅ 同样补零（C++14 起支持）
std::array<int, 5> b{1}; // ✅ 统一初始化，推荐
std::array<int, 5> c = {1,2,3,4,5,6}; // ❌ 编译错误：太多初始值- 尺寸必须是字面量常量表达式，无法用变量（
int n = 5; std::array<int, n>❌） - 不支持运行时决定大小——这是设计取舍，不是缺陷；需要动态大小请用
std::vector - 若需从运行时数据构造，先确认尺寸再声明，或封装成工厂函数
真正容易被忽略的是：std::array 的“零开销抽象”只在你信任它的类型系统时成立。一旦混用 reinterpret_cast 或裸指针操作，边界安全和类型优势就立刻归零。它不是万能胶，而是给定尺寸场景下更清晰、更少出错的工具。
