在C++编程中，数组作为参数传递给函数时，会默认退化为指向数组首元素的指针，这个现象被称为数组退化。退化后数组的长度信息会丢失，开发者无法在函数内部直接获取数组的原始长度，很容易引发越界访问等问题。而使用数组的引用作为函数参数，可以有效避免数组退化，保留数组的完整信息。
数组退化的原因与影响
数组名在大多数语境下会隐式转换为指向首元素的指针，当数组作为函数参数时，这个转换会自动发生。比如下面的代码就会出现数组退化：
#include <iostream>
using namespace std;
// 参数为指针，数组已经退化
void printArray(int arr[]) {
// 这里无法获取数组原始长度，sizeof(arr)得到的是指针大小
cout << "函数内arr的大小: " << sizeof(arr) << endl;
}
int main() {
int myArr[5] = {1, 2, 3, 4, 5};
cout << "原始数组大小: " << sizeof(myArr) << endl;
printArray(myArr);
return 0;
}
上述代码中，原始数组myArr的大小是5乘以int的大小，假设int为4字节，总大小为20字节。但传递到函数printArray后，arr已经退化为指针，sizeof(arr)得到的是指针的大小，通常是8字节（64位系统），数组的长度信息完全丢失。
数组引用作为函数参数的用法
数组的引用可以保留数组的类型信息，包括数组的长度。声明数组引用作为函数参数的语法为返回值类型 函数名(数组类型 (&参数名)[数组长度])，示例如下：
#include <iostream>
using namespace std;
// 参数为长度为5的int数组的引用，避免退化
void printArray(int (&arr)[5]) {
cout << "函数内数组长度: " << sizeof(arr) / sizeof(arr[0]) << endl;
for (int i = 0; i < 5; i++) {
cout << arr[i] << " ";
}
cout << endl;
}
int main() {
int myArr[5] = {1, 2, 3, 4, 5};
printArray(myArr);
return 0;
}
在这个示例中，参数int (&arr)[5]表示arr是一个引用，指向长度为5的int数组。此时在函数内部sizeof(arr)得到的是整个数组的大小，因此可以正确计算出数组长度，也不会出现退化问题。
通用模板适配不同长度的数组
上面的方法需要指定固定的数组长度，不够灵活。可以结合模板来让函数适配不同长度的数组，模板会自动推导数组的长度：
#include <iostream>
using namespace std;
// 模板函数，自动推导数组长度N
template <size_t N>
void printArray(int (&arr)[N]) {
cout << "数组长度: " << N << endl;
for (size_t i = 0; i < N; i++) {
cout << arr[i] << " ";
}
cout << endl;
}
int main() {
int arr1[3] = {1, 2, 3};
int arr2[6] = {4, 5, 6, 7, 8, 9};
printArray(arr1);
printArray(arr2);
return 0;
}
模板参数N会自动推导为传入数组的长度，这样同一个函数可以处理不同长度的数组，同时完全避免数组退化。
使用注意事项
- 数组引用的参数必须指定数组的长度（非模板场景下），如果传入的数组长度不匹配，会在编译期直接报错，比如长度为5的数组不能传递给参数为长度为3的数组引用的函数。
- 数组引用作为参数时，实参必须是对应类型和长度的数组，不能是普通的指针，否则无法匹配参数类型。
- 如果需要处理多维数组，数组引用的声明需要对应多维的结构，比如二维数组的引用参数为
int (&arr)[3][4]，表示引用一个3行4列的int二维数组。
注意：数组引用和指针的引用是不同的概念，指针的引用是int* &ptr，而数组的引用是int (&arr)[N]，二者语法和用途都有区别，不要混淆。
总结
数组退化是C++中数组作为参数传递时的常见问题，使用数组的引用作为函数参数可以从根本上避免这个问题，保留数组的长度信息。如果是固定长度的数组，可以直接声明对应长度的数组引用参数；如果需要适配不同长度的数组，可以结合模板自动推导长度。掌握这个技巧可以有效减少数组越界等问题，提升代码的健壮性。