普通数组传参会退化为指针导致大小信息丢失，需手动传size_t；std::array类型自带尺寸，arr.size()恒准确，支持安全返回、at()越界检查、STL算法及整体比较，意图更清晰、错误更早暴露。
传参时数组大小信息会不会丢
普通数组传进函数会退化成指针，sizeof 返回指针大小，size_t 参数必须手动传、容易错；std::array 作为参数时类型含尺寸信息，arr.size() 永远准确。
常见错误现象：写 void f(int a[10])，以为能拿到长度，结果 sizeof(a) 是 8（64 位系统指针大小）；而 void f(const std::array<int>& a)</int> 中 a.size() 稳定返回 10。
- 嵌入式或内核模块中若需极致控制，仍可用原生数组 + 显式长度参数
- 泛型函数、模板代码里优先用
std::array，避免退化问题 - 函数返回数组？原生数组不能直接 return；
std::array可以按值返回，安全且自然
需要越界检查时怎么避免未定义行为
原生数组用 [i] 访问越界是未定义行为，可能静默出错、崩溃或读到垃圾值；std::array::at(i) 在调试/测试阶段可主动抛 std::out_of_range 异常，快速暴露问题。
性能影响很小：如果你用 operator[]，std::array 和原生数组汇编几乎一致，零开销；只有显式调用 .at() 才有边界判断成本。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 开发阶段建议在关键路径用
.at()，上线前可统一替换成[] - 不要指望编译器自动帮你加检查——它不会
-
std::vector::at()同样有检查，但std::array的检查更轻量（无堆分配管理逻辑）
对栈空间和性能敏感的场景怎么压榨效率
两者都存于栈上、内存连续、无动态分配，访问速度基本一致；但 std::array 多一个类型封装，实际无运行时开销——它就是个带成员函数的薄包装。
真正要注意的是：别误把它当 std::vector 用。比如写 std::array<int> big;</int> 没问题；但若你心里想“以后可能要扩容”，那就该换 std::vector，硬用 std::array 只会让后续维护变脆弱。
- 固定维度向量（如
std::array<double></double>表示三维坐标）——首选std::array - 配置项数组（如 7 天温度、12 个月销量）——
std::array更清晰、更安全 - 大小不确定、需 push/pop 的场景——别犹豫，上
std::vector
初始化和 STL 算法兼容性差异在哪
原生数组支持 int a[] = {1,2,3}; 这种简写，但传参后就失去长度；std::array 初始化稍严格（必须指定大小），但换来的是完整 STL 支持：直接用 std::sort(arr.begin(), arr.end())、std::find、范围 for、结构化绑定等。
一个典型坑：有人试图对原生数组用 std::sort(a, a+5)，但忘了改数字 5 ——一旦数组大小变，就埋下 bug；std::array 的 begin()/end() 自动适配尺寸，不会漏。
- 初始化推荐写法：
std::array<int> a = {1, 2, 3};</int>或 C++17 后的std::array a = {1,2,3};（CTAD） - 别用
std::array<int n> a{};</int>然后靠循环赋值——不如直接std::fill - 需要整体比较或赋值？原生数组不行；
std::array支持a == b和a = b
真正容易被忽略的点：不是“哪个更快”，而是“哪个让错误更早暴露、让意图更难被误解”。std::array 的价值不在性能提升，而在把隐式契约（比如“这个数组长度是 5”）变成编译期强制的类型信息。一旦你开始写模板、做泛型容器适配、或者交付给别人维护，这点差异就会滚雪球放大。
