数组作为函数参数时会退化为指针，导致无法获取数组大小并可能引发越界等错误；1. 数组名传参时自动转换为指向首元素的指针，因此sizeof得到指针大小而非数组总大小；2. 函数内部无法通过sizeof计算长度，必须额外传入长度参数；3. 无法区分传入的是数组还是指针，增加逻辑错误风险；4. 二维数组传参需明确指定除第一维外的所有维度，如int arr[][10]；5. 正确做法包括传指针加长度、指定列数、动态分配int**结构；6. c++中可使用引用传递template<size_t n>void func(int (&arr)[n])保留数组大小信息；理解该机制对避免误算长度和内存访问错误至关重要。
在C/C++中，数组作为函数参数传递时，实际上传递的是指向数组首元素的指针，而不是整个数组的副本。这种现象常被称为“数组退化为指针”。理解这一点对正确编写和使用函数至关重要。
一、数组作为参数为什么会退化为指针？
当你把数组名作为实参传给函数时，数组名会自动转换为指向其第一个元素的指针。这是C语言的设计特性。
例如：
void func(int arr[]) {
printf("sizeof(arr) = %zu\n", sizeof(arr));
}
int main() {
int data[10];
printf("sizeof(data) = %zu\n", sizeof(data)); // 输出 40（假设int为4字节）
func(data); // 传入数组
return 0;
}输出可能是：
sizeof(data) = 40 sizeof(arr) = 8
尽管在函数参数中写成
int arr[]，但
arr实际上是一个
int*类型的指针。因此
sizeof(arr)得到的是指针的大小（64位系统通常为8字节），而不是整个数组的大小。
所以：int arr[] 和 int* arr 在函数参数中是等价的。
二、数组退化带来的问题
1. 无法在函数内部获取数组长度
由于数组退化为指针，函数内部无法通过
sizeof(arr)/sizeof(arr[0])计算元素个数。
void printArray(int arr[]) {
int n = sizeof(arr) / sizeof(arr[0]); // 错误！结果是 8/4=2（64位系统）
for (int i = 0; i < n; i++) {
printf("%d ", arr[i]);
}
}解决方法：必须显式传递数组长度。
void printArray(int arr[], int n) {
for (int i = 0; i < n; i++) {
printf("%d ", arr[i]);
}
}调用时：
int data[] = {1, 2, 3, 4, 5};
printArray(data, 5);2. 无法区分数组和指针
函数无法判断传入的是数组还是动态分配的指针。
int a[5] = {1,2,3,4,5};
int* p = malloc(5 * sizeof(int));
// 在函数内部，无法区分 a 和 p
func(a);
func(p);这可能导致逻辑错误，比如误判内存布局或长度。
3. 多维数组传递更复杂
对于二维数组，只有第一维可以省略，其余维度必须明确。
void process2D(int matrix[][10]) { // 正确：第二维必须指定
// ...
}或使用指针方式：
void process2D(int (*matrix)[10]) { // 等价于上一种写法
// matrix 是指向长度为10的int数组的指针
}如果写成
int** matrix，则类型不匹配，不能直接传二维数组。
三、如何正确传递数组？
1. 一维数组：传指针 + 长度
void func(int* arr, int len) {
for (int i = 0; i < len; i++) {
arr[i] *= 2;
}
}2. 二维数组：指定列数
void func(int arr[][COL], int rows) {
for (int i = 0; i < rows; i++) {
for (int j = 0; j < COL; j++) {
printf("%d ", arr[i][j]);
}
}
}3. 使用指针数组或动态分配的二维结构
如果列数不固定，可以使用
int**，但需要配合动态内存分配：
int** matrix = malloc(rows * sizeof(int*));
for (int i = 0; i < rows; i++) {
matrix[i] = malloc(cols * sizeof(int));
}然后函数可以定义为：
void func(int** matrix, int rows, int cols);
注意：这种形式和
int arr[][COL]不兼容。
4. C++中使用引用避免退化（推荐）
C++支持引用传递，可以保留数组大小信息：
template<size_t N>
void func(int (&arr)[N]) {
cout << "Size: " << N << endl; // 正确得到元素个数
for (int i = 0; i < N; ++i) {
cout << arr[i] << " ";
}
}这种方式不会退化为指针，且能自动推导大小。
四、总结
- 数组作为函数参数时自动退化为指针，丢失大小信息。
int arr[]
、int arr[10]
、int* arr
在参数中等价。- 函数内部无法用
sizeof
获取数组长度，必须手动传长度。 - 多维数组需指定除第一维外的所有维度。
- C++中可用数组引用或模板避免退化。
- 理解“退化”有助于避免常见错误，如误算长度、越界访问等。
基本上就这些。关键是要意识到：你传的不是数组，而是指针。
