为什么C语言中的数组参数会退化为指针?
退化的意义
C语言中只会以值拷贝的方式传递参数;
当向函数传递数组时:
将整个数组拷贝一份传入函数;
将数组名看做常量指针传数组首元素地址;
C语言以高效作为最初设计目标:
a)参数传递的时候如果拷贝整个数组执行效率将大大下降。
b)参数位于栈上,太大的数组拷贝将导致栈溢出。
二维数组参数
二维数组参数同样存在退化的问题
-二维数组可以看做是一维数组
-二维数组中的每个元素是一维数组
二维数组参数中第一维的参数可以省略
void f(int a[5]) <=> void f(int a[]) <=> void f(int* a)
void g(int a[3][3]) <=> void g(int a[3]) <=> void g(int(*a)[3])
等价关系
C语言中无法向一个函数传递任意的多维数组;
必须提供除第一维之外的所有维长度:
-第一维之外的维度信息用于完成指针运算;
―N维数组的本质是一维数组,元素是N-1维的数组;
一对于多维数组的函数参数只有第一维是可变的;
#include <stdio.h>
void access(int a[][3], int row)
{
int col = sizeof(*a) / sizeof(int);
int i = 0;
int j = 0;
printf("sizeof(a) = %d\n", sizeof(a));
printf("sizeof(*a) = %d\n", sizeof(*a));
for(i=0; i<row; i++)
{
for(j=0; j<col; j++)
{
printf("%d\n", a[i][j]);
}
}
printf("\n");
}
void access_ex(int b[][2][3], int n)
{
int i = 0;
int j = 0;
int k = 0;
printf("sizeof(b) = %d\n", sizeof(b));
printf("sizeof(*b) = %d\n", sizeof(*b));
for(i=0; i<n; i++)
{
for(j=0; j<2; j++)
{
for(k=0; k<3; k++)
{
printf("%d\n", b[i][j][k]);
}
}
}
printf("\n");
}
int main()
{
int a[3][3] = {{0, 1, 2}, {3, 4, 5}, {6, 7, 8}};
int aa[2][2] = {0};
int b[1][2][3] = {0};
access(a, 3);
access(aa, 2);
access_ex(b, 1);
access_ex(aa, 2);
return 0;
}
小结
1、C语言中只会以值拷贝的方式传递参数;
2、C语言中的数组参数必然退化为指针;
3、多维数组参数必须提供除第一维之外的所有维长度;
4、对于多维数组的函数参数只有第一维是可变的;