数组作为函数参数时会退化为指针，导致无法获取数组大小并可能引发越界等错误；1. 数组名传参时自动转换为指向首元素的指针，因此sizeof得到指针大小而非数组总大小；2. 函数内部无法通过sizeof计算长度，必须额外传入长度参数；3. 无法区分传入的是数组还是指针，增加逻辑错误风险；4. 二维数组传参需明确指定除第一维外的所有维度，如int arr[][10]；5. 正确做法包括传指针加长度、指定列数、动态分配int**结构；6. c++++中可使用引用传递templatevoid func(int (&arr)[n])保留数组大小信息；理解该机制对避免误算长度和内存访问错误至关重要。
在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) = 40sizeof(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 和 pfunc(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++支持引用传递，可以保留数组大小信息：
templatevoid 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++中可用数组引用或模板避免退化。理解“退化”有助于避免常见错误，如误算长度、越界访问等。
基本上就这些。关键是要意识到：你传的不是数组，而是指针。
以上就是数组作为函数参数怎样传递 数组退化为指针的问题分析的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1470597.html
微信扫一扫 
支付宝扫一扫 
