数组退化为指针是因为c++设计追求高效，传递数组时不复制整个数组，而是传递指向首元素的指针。1.使用引用传递数组可保留类型信息；2.通过模板推导数组大小可动态获取长度；3.手动传入长度参数可实现边界检查；4.推荐使用std::array或std::vector代替原生数组以避免退化问题。理解这一特性有助于避免误判数组大小和访问越界，日常开发中优先选择标准库容器更安全高效。
在C++中，当你把数组作为函数参数传递时，其实它会被自动转换为指向数组首元素的指针。这种现象叫做“数组退化为指针”。也就是说，函数接收到的并不是整个数组，而是一个指针。
这个细节看起来简单，但影响挺大，尤其在判断数组长度、做边界检查的时候容易出问题。
为什么数组会退化为指针？
因为C++的设计哲学是高效和灵活，直接传递数组内容效率太低。如果每次传数组都复制整个数组，性能开销会很大。所以编译器就做了个优化：你传进去的是数组，实际接收的是一个指针。
立即学习“C++免费学习笔记（深入）”；
举个例子：
void print(int arr[5]) {
cout << sizeof(arr) << endl;
}你可能会以为 sizeof(arr) 是 5 * sizeof(int)，但实际上输出的是指针的大小（通常是4或8字节）。这说明，函数内部根本不知道你传进来的是个长度为5的数组。
传递数组时还能保留长度信息吗？
默认情况下不行，但你可以通过以下几种方式绕过这个问题：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 使用引用传递数组（保留类型信息）
- 使用模板推导数组大小
- 用标准库容器代替原生数组
使用引用传递数组
void func(int (&arr)[5]) {
// 这里arr是引用，数组不会退化
}这种方式的好处是只能接受固定大小的数组，避免误传错大小的数组。
使用模板推导数组大小
template <size_t N>
void func(int (&arr)[N]) {
cout << "数组大小：" << N << endl;
}这样你就可以在不写死数组大小的情况下，保留数组的信息。
实际开发中该怎么处理？
如果你只是想访问数组中的数据，那用指针没问题。但如果你需要知道数组的长度或者要做越界检查，那就得自己传一个长度参数进去：
void process(int* arr, size_t size) {
for (size_t i = 0; i < size; ++i) {
// 安全访问
}
}这是最常见的做法，虽然有点麻烦，但很实用。
或者更推荐的做法是使用 std::array 或 std::vector，它们自带大小信息，也不会出现退化的问题：
-
std::array<int, 5>：固定大小，栈上分配 -
std::vector<int>：动态大小，堆上分配
小结一下
数组作为函数参数时退化为指针是C++的一个特性，不是bug。理解这一点能帮你避开很多坑，比如误判数组大小、访问越界等问题。
如果你想保留数组的大小信息，可以考虑用引用或模板；日常开发中，建议优先使用标准库容器，省事又安全。
基本上就这些了。
