数组作为函数参数时会退化为指针，导致无法获取数组大小并可能引发越界等错误；1. 数组名传参时自动转换为指向首元素的指针，因此sizeof得到指针大小而非数组总大小；2. 函数内部无法通过sizeof计算长度，必须额外传入长度参数；3. 无法区分传入的是数组还是指针，增加逻辑错误风险；4. 二维数组传参需明确指定除第一维外的所有维度，如int arr[][10]；5. 正确做法包括传指针加长度、指定列数、动态分配int**结构；6. c++++中可使用引用传递template
在C/C++中，数组作为函数参数传递时，实际上传递的是指向数组首元素的指针，而不是整个数组的副本。这种现象常被称为“数组退化为指针”。理解这一点对正确编写和使用函数至关重要。
一、数组作为参数为什么会退化为指针？
当你把数组名作为实参传给函数时，数组名会自动转换为指向其第一个元素的指针。这是C语言的设计特性。
例如：
void func(int arr[]) { printf("sizeof(arr) = %zun", sizeof(arr)); } int main() { int data[10]; printf("sizeof(data) = %zun", 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++中可用数组引用或模板避免退化。
- 理解“退化”有助于避免常见错误，如误算长度、越界访问等。
基本上就这些。关键是要意识到：你传的不是数组，而是指针。
评论（已关闭）
评论已关闭