数组传参会退化为指针的原因是编译器为了效率不复制整个数组，而是传递首元素地址。1. 这导致函数内无法获取数组长度，sizeof返回指针大小；2. 无法进行边界检查，易引发未定义行为；3. 可能造成逻辑错误。解决方法包括：1. 显式传递长度参数；2. 使用引用传递限定数组大小；3. 推荐使用std::array或std::vector容器来保留长度信息并避免退化问题。
在C++中，当你把数组作为函数参数传递时，它会被自动转换为指向数组第一个元素的指针。也就是说，数组会“退化”成指针。这个现象经常让新手困惑，甚至一些有经验的开发者也容易忽略其中细节。
为什么数组传参会退化为指针？
在C++中，数组不能直接作为函数参数进行完整传递。编译器为了效率考虑，不会复制整个数组内容，而是将数组名解释为一个地址，也就是指向数组首元素的指针。
比如：
立即学习“C++免费学习笔记（深入）”；
void func(int arr[]);
这看起来像是传递了一个数组，但实际上等价于：
void func(int* arr);
所以，arr在这里就是一个int类型的指针，而不是数组类型。
这种设计虽然提升了性能，但也带来了问题：函数内部无法通过参数获取数组的大小，因为指针并不携带长度信息。
数组退化带来的影响有哪些？
-
无法直接获取数组长度
- 在函数内部使用
sizeof(arr)时，得到的是指针的大小（通常是4或8字节），而不是整个数组的大小。
- 在函数内部使用
-
不能做边界检查
- 因为不知道数组长度，函数无法判断访问是否越界，容易导致未定义行为。
-
容易造成误用
- 如果你期望处理一个固定大小的数组，但实际收到的是指针，就可能引发逻辑错误。
举个例子：
void printSize(int arr[]) {
std::cout << sizeof(arr) << std::endl; // 输出的是指针大小，不是数组大小
}如果你从外部传进来一个长度为10的数组，函数里却只能看到一个指针，完全不知道长度是10。
如何解决数组退化的问题？
如果你希望在函数中保留数组的大小信息，有几种方法可以绕过“数组退化”的限制：
-
显式传递数组长度
最简单直接的方式就是额外传一个长度参数：
void processArray(int* arr, size_t length);
这样在函数内部就知道能访问多少个元素了。
-
使用引用传递数组
C++支持通过引用传递特定大小的数组，这样就不会退化：
void func(int (&arr)[5]); // 只接受长度为5的数组
这种方式适合你需要限定数组大小的情况。
-
使用标准库容器（推荐）
更现代、更安全的做法是使用
std::array或std::vector：void func(const std::array<int, 5>& arr); // 安全传递定长数组 void func(const std::vector<int>& vec); // 动态长度数组
这些容器封装了数组并携带了长度信息，避免了退化问题。
小结一下
数组作为函数参数时会退化为指针，这是C++语言层面的设计选择。虽然提高了效率，但也带来了一些潜在的问题。如果你需要保留数组的大小信息，可以通过传长度、数组引用或者使用标准库容器来规避这个问题。
基本上就这些，理解清楚之后就能避免很多常见的坑。
