std::array 是带尺寸信息的类型，传参不退化、支持 size() 和 STL 算法；C 风格数组传参即退化为指针，sizeof 失效、无 size()、易越界。
std::array 不是 C 风格数组的语法糖，它是有明确语义、可传递、可拷贝、带尺寸信息的类型；而裸数组一传参就退化成指针，sizeof 失效、size() 不存在、at() 没得用——这是绝大多数越界和传参错误的根源。
函数传参时 size() 为什么能用，而 C 数组不能
std::array 的大小是类型的一部分：std::array<int></int> 和 std::array<int></int> 是两个完全不同的类型。编译器在模板实例化时就把 N 编译进类型里，所以 a.size() 是 constexpr 常量，调用开销为零。
C 风格数组传入函数后自动退化为指针，sizeof(arr) 返回的是指针大小（通常是 8），不是元素个数；你必须额外传一个 int n 参数，且极易传错或漏传。
- 正确写法：
void process(const std::array<float>& buf)</float>—— 函数内直接调用buf.size()，无需额外参数 - 危险写法：
void process(float buf[1024])或void process(float* buf)——sizeof(buf)无意义，std::size(buf)编译失败 - 嵌入式常见坑：DMA 缓冲区用裸数组传参，忘了同步更新长度参数，结果 DMA 扫描了 2 倍内存，覆盖了紧邻变量
迭代器支持让 STL 算法直接可用
std::array 提供 begin()、end()、rbegin() 等标准接口，意味着你能直接把算法塞进去，不用手写循环或临时转指针。
立即学习“C++免费学习笔记（深入）”；
C 风格数组没有这些成员函数，想用 std::sort 必须手动构造迭代器范围：std::sort(arr, arr + N)，一旦 N 写错或没更新，就是静默越界。
- 安全简洁：
std::sort(data.begin(), data.end())——data是std::array，无需担心N - 易出错：
std::sort(buf, buf + BUFSZ)—— 若宏BUFSZ和实际数组长度不一致，编译器不报错 - 进阶用法：
std::span(data)可无缝桥接到需要视图接口的 API，而裸数组需显式传data, sizeof(data)两参数
边界检查只在 at() 中存在，[] 依然不检查
std::array 的 operator[] 和 C 数组一样：零成本、无检查、越界即未定义行为。真正提供安全兜底的是 at()，它会在运行时抛出 std::out_of_range 异常。
这不是“多此一举”，而是明确区分性能敏感路径（如内层循环用 []）和输入校验路径（如解析用户数据用 at()）。
- 性能关键路径：
for (size_t i = 0; i —— 用 <code>[]，无开销 - 外部输入处理：
try { value = config.at(idx); } catch (const std::out_of_range&) { /* 处理非法索引 */ } - 注意：
at()在 constexpr 上下文中不可用（C++20 起部分实现支持），调试期建议开启-D_GLIBCXX_DEBUG检测越界
拷贝、赋值、返回值都天然支持
std::array 是值语义类型：能直接 =、能 return、能作为结构体成员，所有操作都是深拷贝，编译器生成的代码和 memcpy 相当，但语义清晰。
C 风格数组禁止直接赋值：int a[3] = {1,2,3}; int b[3]; b = a; 编译失败；要复制必须用 memcpy 或循环，容易漏长度、错类型、忘对齐。
- 合法且高效：
std::array<int> get_defaults() { return {1, 0, 0, 1}; }</int>—— 返回栈上对象，无堆分配 - 裸数组只能靠指针或封装结构体绕行，增加间接层和出错点
- 结构体中含
std::array成员时，整个结构体支持聚合初始化、默认构造、比较操作符（若元素支持）
真正容易被忽略的点是：std::array 的“零开销”依赖于你**不滥用动态绑定或虚函数**——它本身没虚表、没指针间接，但如果你把它塞进 std::vector<:array n>></:array>，那开销来自 vector 的堆分配，而非 array 本身。别因为用了 std::array 就误以为整条调用链都免除了运行时成本。
