1 数组参数退化为指针
1.1 退化的意义
1.2 二维数组参数
1.3 被忽略的知识点
2 实例分析
3 小结
我们知道 c 语言中的数组参数会退化为指针,可是为什么会退化为指针呢?
c 语言中只会以值拷贝的方式传递参数
c 语言在诞生的时候是为了开发 unix 操作系统,这样要求 c 语言的效率必须很高,在设计向函数传递数组时,有两个方案;
将整个数组拷贝一份传入函数( × )
将数组名看做常量指针传数组首元素地址( ✔ )
如果采用方案 1,将整个数组拷贝一份传入函数,这显然是不合理的,必然会导致效率降低,如果数组很大,拷贝需要很长时间,另外,函数调用时,数组参数保存在函数栈上,太大的数组拷贝可能会导致栈溢出。
如果采用方案 2,将数组名退化为指针传递,指针的大小是固定的,效率肯定比较高。
总结:
c 语言以高效作为最初的设计目标:
参数传递的时候如果拷贝整个数组执行效率将大大下降
参数位于栈上,太大的数组拷贝将导致栈溢出
二维数组参数同样存在退化的问题。
二维数组可以看作是一维数组,每个元素是一维数组
二维数组参数中的第一维的参数可以省略
等价关系:
数组参数
等效的指针参数
一维数组:float a[5]
指针:float* a
指针数组:int* a[5]
指针的指针:int** a
二维数组:char a[3][4]
数组的指针:char(*a)[4]
注意:一维数组退化为一维指针,二维数组并不是退化为二维指针,而是退化为指向数组的指针;指针数组才是退化为二维指针
c 语言中无法向一个函数传递任意的多维数组
必须提供除第一维之外的所有维长度
第一维之外的维度信息用于完成指针运算
n 维数组的本质是一维数组,元素是 n-1 维的数组
对于多维数组的函数参数只有一维是可变的
传递与访问二维数组
第 5 行,*a 的类型是 int [3],所以col = sizeof(int [3]) / sizeof(int) = 3。
第 8,9 行,数组已经退化为指针,所以 a 是指针,长度为 8;*a 的类型是 int [3],长度为 12。
第 24,25 行, 数组已经退化为指针,所以 b 是指针,长度为 8;*b 的类型为 int [2][3],长度为 24。
第 44 行,数组 aa[2][2] 有四个元素,将其作为参数传入函数 access(int a[][3], int row) 中,仍然会打印 6 个元素,这就导致最后两个元素值是不确定的。第 46 行也是一样,会打印出 12 个元素,没初始化的元素值将是随机的。
1、c 语言中只会以值拷贝的方式传递参数
2、c 语言中的数组参数必然退化为指针
3、多维数组参数必须提供第一维之外的所有维长
4、对于多维数组的函数参数只有第一维是可变的