std::array不会隐式退化为指针，长度是类型的一部分，传参时可精确约束尺寸；而原生数组传参会退化为指针，丢失长度信息，易导致越界或误判。
std::array 不会隐式退化为指针
原生数组在传参时默认退化为指针，丢失长度信息，容易引发越界或误判：void foo(int arr[]) 实际等价于 void foo(int* arr)，sizeof(arr) 返回指针大小而非数组总字节数。
<:array> 作为类型完整的类模板，传参时默认按值或引用传递，长度是类型的一部分：std::array<int></int> 和 std::array<int></int> 是两个完全不同的类型。函数签名可精确约束尺寸：
void bar(const std::array<int, 3>& a) {
// 编译期知道 a.size() == 3，且无法传入 size != 3 的实例
}常见错误场景：用原生数组写 for (int i = 0; i ，一旦传入指针就失效；而 <code>std::array 的 .size() 始终返回编译期常量，安全可靠。
原生数组缺迭代器，std::array 天然支持 STL 算法
原生数组没有 begin()/end() 成员函数，要配合 std::begin(arr) 和 std::end(arr) 使用，但仅限作用域内定义的数组（对指针无效）；而 std::array 直接提供成员函数 .begin()、.end()、.cbegin() 等，与容器行为一致。
立即学习“C++免费学习笔记（深入）”；
- 可直接用于
std::sort、std::find、std::copy等算法 - 支持基于范围的 for 循环：
for (const auto& x : my_array) { ... } - 能用结构化绑定（C++17）：
auto [a, b, c] = std::array<int>{1,2,3};</int>
注意：原生数组若声明为 extern int arr[10]; 或作为函数返回值（非引用），就无法用 std::begin/end —— 这类场景下只有 std::array 能稳定提供迭代器接口。
std::array 的拷贝、赋值和生命周期更可控
原生数组不能直接赋值（int a[3], b[3]; a = b; 报错），也不能作为函数返回值（除非包装成结构体）；std::array 支持完整值语义：
- 可直接赋值：
a = b; - 可作为函数返回值：
std::array<float> get_pos() { return {x, y}; }</float> - 可存入
std::vector、std::map等容器（只要元素类型可复制） - 移动语义可用（C++11 起），但因内部是 POD 数组，移动和拷贝开销相同，无实际性能差异
关键点：所有操作都在编译期确定尺寸，不涉及堆分配，零运行时代价。但别误以为它“比原生数组更重”——生成的汇编通常完全一致，只是多了类型安全和接口一致性。
容易被忽略的细节：std::array 的模板参数必须是编译期常量，且不检查初始化器数量
std::array 的第二个模板参数 N 必须是 constexpr 整型常量，不能是变量或运行时计算值。同时，构造时若用花括号初始化，编译器不会强制元素个数匹配 N：
std::array<int, 3> a1{1, 2}; // OK：剩余元素零初始化
std::array<int, 3> a2{1, 2, 3, 4}; // 编译错误：太多初始值
std::array<int, 3> a3{}; // OK：全部为 0这和原生数组的聚合初始化规则一致，但新手可能误以为会像 std::vector 那样动态适配。另外，std::array 没有隐式转换构造函数，无法从 std::initializer_list 构造（除非显式调用 std::to_array，C++20 起）。
真正需要权衡的不是性能，而是你是否依赖数组尺寸参与类型系统——比如模板特化、SFINAE、constexpr 计算或跨模块 ABI 稳定性。这些地方，原生数组根本不可靠。
