文章目录
一、一维数组形参退化
二、二维数组形参退化
三、数组形参等价关系
一、一维数组形参退化
C 中将 一维数组 作为参数 , 传递到函数中 , 该 一维数组 会退化为 指针 ;
将
int array[10]
数组 , 作为参数 , 传递到函数中 ,
void fun(int array[1000]){}
与
void fun(int *array){}
是等价的 , 函数中处理 array 数组时 , 不知道该数组的元素个数 , 编译器只能确认 , 该参数是一个 int * 指针类型 ;
这样操作是为了提高 编译器 的效率 , 提高程序执行的效率 , 函数的 形参 最终要拷贝到 栈内存 中 ,
如果将整个数组作为形参 , 需要拷贝整个数组的内容 , 如果数组有 1000 10001000 个元素 , 需要拷贝 4000 40004000 字节 , 这样效率就很低了 ;
如果只需要拷贝数组地址 , 这个地址存放在指针变量中 , 只需要传递 4 44 字节就可以了 ;
一维数组 形参 退化路径 :
int array[1000]
void fun(int array[1000]) { }
int array[]
void fun(int array[]) { }
int *array
void fun(int *array) { }
二、二维数组形参退化
二维数组 作为 函数形参 , 也会退化为指针 ;
将 二维数组 看作 一维数组 ,
一维数组 中每个元素是 实际的数据 ,
二维数组 中每个元素是 一维数组 ;
一维数组 退化时 , 退化为 指向 一维数组元素 的 指针 ;
二维数组 退化时 , 退化为 指向 二维数组元素 的 指针 , 这个 二维数组元素 就是 一维数组 , 也就是退化为 指向 一维数组的指针 ;
特别注意 , 二维数组 退化的 指针 , 指向的 一维数组 是有效的 , 可以得到数组的元素个数 , 是一个正式的数组 ;
二维数组 形参 退化路径 :
int array[10][20]
void fun(int array[10][20]) { }
int array[][20]
void fun(int array[][20]) { }
int (*array)[20] : 此处注意 , 数组指针 指向的 一维数组 是完整的数组 ;
void fun(int (*array)[20]) { }
三、数组形参等价关系
实参为 一维数组 int array[10] , 等效的 形参为 一级指针 int *array ;
一维数组 , 直接退化为 指向 数组元素的指针 , 数组元素是 普通类型 , 指向普通类型的指针 , 即 一级指针 ;
实参为 指针数组 int *array[10] , 等效的 形参为 一级指针 int **array ;
指针数组 是 数组的元素 都是 指针变量 ;
数组退化为 指针 , 指针指向的元素 也是 指针 , 则形参为 二级指针 ;
实参为 二维数组 int array[10][20] , 等效的 形参为 一级指针 int (*array)[20] ;
二维数组 的 数组的元素 是 一维数组 ;
外围数组 ( 第二维 ) 退化为 指针 , 指针 指向的元素 是 一维数组 , 则形参为 指向 一维数组 的指针 , 每个一维数组有 20 2020 个元素 ;
