std::array 提供类型安全、STL兼容和便捷操作,而C风格数组易退化为指针、缺乏容器特性。1. 传参时 std::array 不退化,保留大小信息;2. 支持迭代器、算法和拷贝赋值;3. 底层布局与性能相同,无运行时开销;4. 大小均需编译期确定。推荐使用 std::array。

std::array 和普通C风格数组在使用上看起来相似,但它们在类型安全、内存管理、使用便捷性等方面有明显区别。理解这些差异有助于写出更安全、更现代的C++代码。
类型安全与函数传参
普通数组在作为函数参数传递时会退化为指针,导致无法在函数内部获取其大小。例如:
void func(int arr[]) {
// sizeof(arr) 返回指针大小,而非数组大小
}
而 std::array 是一个真正的对象类型,传参时不会退化,保留了大小信息:
void func(std::array& arr) { // arr.size() 正确返回 5 }
这使得 std::array 在泛型编程中表现更好,也能避免因数组退化带来的错误。
立即学习“C++免费学习笔记(深入)”;
自动管理与STL兼容
std::array 是标准模板库(STL)的一部分,支持迭代器、范围for循环、拷贝赋值等现代C++特性:
- 可以直接使用 begin() / end() 进行遍历
- 能作为容器传给算法如 sort、find 等
- 支持拷贝和赋值(普通数组不能直接赋值)
例如:
std::arraya = {1, 2, 3}; std::array b = a; // 合法拷贝 std::sort(a.begin(), a.end());
普通数组不具备这些能力,必须借助额外函数(如 memcpy)实现拷贝,且与STL集成困难。
内存布局与性能
std::array 在底层仍然是连续存储的固定大小数组,不带来任何运行时性能开销。它只是对原生数组的封装,所有操作(如 size())都是编译期常量。
关键点:
- std::array 和普通数组一样在栈上分配(除非显式动态分配)
- sizeof(std::array
) == sizeof(int[5]) - 访问元素的速度完全相同,无额外开销
这意味着你可以享受更高层次的抽象,而不牺牲性能。
编译期确定大小
两者都要求大小在编译期确定,不能使用变量初始化长度(除非用 constexpr 变量):
int n = 5; // int arr[n]; // 非标准,某些编译器支持 // std::arraya; // 错误!n 必须是常量表达式 constexpr int size = 5; std::array a; // 正确
这种限制保证了它们都属于“固定大小数组容器”的范畴。
基本上就这些。std::array 提供了普通数组的所有功能,同时弥补了其在类型安全和易用性上的短板,是现代C++中推荐使用的固定大小数组容器。











