C语言中的数组参数会退化为指针
退化的意义
-
当向函数传递数组时:
- 将整个数组拷贝一份传入函数 X
- 将数据名看做常量指针传数组首元素地址
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]
等价关系
数组参数 等效的指针参数 一维数组: float a[5]
指针: float *a
指针数组: int *a[5]
指针的指针: int **a
二维指针: char a[3][4]
数组的指针: char (*a)[4]
容易被忽视的知识点
- c语言中无法向一个函数传递任意的多维数组
- 必须提供除第一维之外的所有维长度
- 第一维之外的维度信息用于完成指针运算
- N维数组的本质是一维数组,元素是
N-1
维的数组 - 对于多维数组的函数参数只有第一维是可变的
编程实验
- 传递与访问多维数组
#include <stdio.h>
void print_array1(int a[][3], int row)
{
int col = sizeof(*a) / sizeof(int);
int i = 0;
int j = 0;
printf("\r\nprint_array1\n");
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 ", a[i][j]);
}
}
printf("\r\n");
}
void print_array2(int (*a)[3], int row)
{
int col = sizeof(*a) / sizeof(int);
int i = 0;
int j = 0;
printf("\r\nprint_array2\n");
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 ", a[i][j]);
}
}
printf("\r\n");
}
int main(void)
{
int a1[2][3] = {{1,2,3}, {4,5,6}};
print_array1(a1, 2);
print_array2(a1, 2);
return 0;
}
执行结果:
PS D:\study\study-notes\c> .\a.exe
print_array1
sizeof(a) = 4
sizeof(*a) = 12
1 2 3 4 5 6
print_array2
sizeof(a) = 4
sizeof(*a) = 12
1 2 3 4 5 6
PS D:\study\study-notes\c>
二维数组传参时,int a[][3]
等价于 int (*a)[3]
。
小结
- C语言中只会以值拷贝的方式传递参数
- c语言中的数组参数必然退化为指针
- 多维数组参数必须提供除第一维之外的所有维长度
- 对于多维数组的函数参数只有第一维是可变的