std::array不会隐式退化为指针，长度是类型的一部分，传参时可精确约束尺寸；而原生数组传参会退化为指针，丢失长度信息，易导致越界或误判。

std::array 不会隐式退化为指针

原生数组在传参时默认退化为指针，丢失长度信息，容易引发越界或误判：void foo(int arr[]) 实际等价于 void foo(int* arr)，sizeof(arr) 返回指针大小而非数组总字节数。

<:array> 作为类型完整的类模板，传参时默认按值或引用传递，长度是类型的一部分：std::array 和 std::array 是两个完全不同的类型。函数签名可精确约束尺寸：

void bar(const std::array& a) {
    // 编译期知道 a.size() == 3，且无法传入 size != 3 的实例
}

常见错误场景：用原生数组写 for (int i = 0; i ，一旦传入指针就失效；而 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{1,2,3};

注意：原生数组若声明为 extern int arr[10]; 或作为函数返回值（非引用），就无法用 std::begin/end —— 这类场景下只有 std::array 能稳定提供迭代器接口。

std::array 的拷贝、赋值和生命周期更可控

原生数组不能直接赋值（int a[3], b[3]; a = b; 报错），也不能作为函数返回值（除非包装成结构体）；std::array 支持完整值语义：

• 可直接赋值：a = b;
• 可作为函数返回值：std::array get_pos() { return {x, y}; }
• 可存入 std::vector、std::map 等容器（只要元素类型可复制）
• 移动语义可用（C++11 起），但因内部是 POD 数组，移动和拷贝开销相同，无实际性能差异

关键点：所有操作都在编译期确定尺寸，不涉及堆分配，零运行时代价。但别误以为它“比原生数组更重”——生成的汇编通常完全一致，只是多了类型安全和接口一致性。

容易被忽略的细节：std::array 的模板参数必须是编译期常量，且不检查初始化器数量

std::array 的第二个模板参数 N 必须是 constexpr 整型常量，不能是变量或运行时计算值。同时，构造时若用花括号初始化，编译器不会强制元素个数匹配 N：

std::array a1{1, 2};        // OK：剩余元素零初始化
std::array a2{1, 2, 3, 4};   // 编译错误：太多初始值
std::array a3{};            // OK：全部为 0

这和原生数组的聚合初始化规则一致，但新手可能误以为会像 std::vector 那样动态适配。另外，std::array 没有隐式转换构造函数，无法从 std::initializer_list 构造（除非显式调用 std::to_array，C++20 起）。

真正需要权衡的不是性能，而是你是否依赖数组尺寸参与类型系统——比如模板特化、SFINAE、constexpr 计算或跨模块 ABI 稳定性。这些地方，原生数组根本不可靠。