数组作为函数参数时会退化为指针，因为编译器只传递数组地址而非完整内容，导致无法直接获取长度；常见解决方法有：1. 额外传入数组长度；2. 使用引用传递保留类型信息；3. 用std::array或std::vector代替原生数组；注意使用sizeof(arr)会得到指针大小而非数组长度，多维数组需指定除第一维外的维度大小。
在C++中，数组作为函数参数传递时其实并不是“完整”地传进去的。它会退化成指针，这个过程常常让人困惑，但理解清楚之后对写代码和调试都有很大帮助。
数组为什么会退化成指针？
当你把一个数组作为参数传给函数时，编译器并不会复制整个数组的内容，而是只传递了数组的地址——也就是一个指向数组首元素的指针。
比如你这样写：
立即学习“C++免费学习笔记（深入）”；
void func(int arr[]);
实际上等价于：
void func(int* arr);
也就是说，arr[] 和 int* arr 是一样的。这时候你就不能用 sizeof(arr) / sizeof(arr[0]) 来获取数组长度了，因为此时的 arr 已经不是原来的数组类型，而是一个指针。
如何正确传递数组信息？
既然数组一传进函数就“变味”了，那我们怎么才能在函数里知道数组的大小呢？常见的做法有几种：
-
额外传入数组长度
这是最简单直接的方式：
void func(int* arr, int size);
调用的时候记得传进去数组的元素个数。
-
使用引用传递数组（保留类型信息）
如果你希望保留数组的大小信息，可以用引用方式传参：
template <int N> void func(int (&arr)[N]) { // 此时可以获取到数组大小 N }这样传进来的是数组的引用，不会退化为指针，也就能知道数组长度了。
-
用 std::array 或 std::vector 替代原生数组
如果你不一定要用原生数组，建议用标准库容器，比如：
void func(const std::vector<int>& vec);
它们自带长度信息，而且不容易出错。
常见误区与注意事项
很多人以为像下面这样写就可以拿到数组长度：
void func(int arr[]) {
std::cout << sizeof(arr) << std::endl;
}但你会发现输出的是指针的大小（通常是4或8字节），而不是整个数组的大小。这就是数组退化的典型表现。
另外需要注意的是：如果你用的是二维数组或者更高维的数组，规则会更复杂一些。例如：
void func(int arr[][10]);
这里必须指定除第一维以外的所有维度大小，否则编译器无法知道每一行有多少元素。
总结一下常见做法
如果你只是想让函数处理数组内容，通常的做法是：
- 把数组作为指针传入（即
int* arr） - 同时传入数组长度
- 如果需要保持数组大小信息，考虑用引用或标准容器代替
基本上就这些。数组传参看似简单，但如果不注意退化问题，很容易写出隐藏 bug 的代码。
