【C 语言】数组 ( 一维数组形参退化 | 二维数组形参退化 | 函数形参等价关系 )

2023-03-29 21:46:09 浏览数 (1)

文章目录

  • 一、一维数组形参退化
  • 二、二维数组形参退化
  • 三、数组形参等价关系

一、一维数组形参退化


C 中将 一维数组 作为参数 , 传递到函数中 , 该 一维数组 会退化为 指针 ;

代码语言:javascript复制
int array[10]

数组 , 作为参数 , 传递到函数中 ,

代码语言:javascript复制
void fun(int array[1000]){}

代码语言:javascript复制
void fun(int *array){}

是等价的 , 函数中处理 array 数组时 , 不知道该数组的元素个数 , 编译器只能确认 , 该参数是一个 int * 指针类型 ;

这样操作是为了提高 编译器 的效率 , 提高程序执行的效率 , 函数的 形参 最终要拷贝到 栈内存 中 ,

  • 如果将整个数组作为形参 , 需要拷贝整个数组的内容 , 如果数组有
1000

个元素 , 需要拷贝

4000

字节 , 这样效率就很低了 ;

  • 如果只需要拷贝数组地址 , 这个地址存放在指针变量中 , 只需要传递
4

字节就可以了 ;

一维数组 形参 退化路径 :

  • int array[1000]
代码语言:javascript复制
void fun(int array[1000])
{
}
  • int array[]
代码语言:javascript复制
void fun(int array[])
{
}
  • int *array
代码语言:javascript复制
void fun(int *array)
{
}

二、二维数组形参退化


二维数组 作为 函数形参 , 也会退化为指针 ;

将 二维数组 看作 一维数组 ,

  • 一维数组 中每个元素是 实际的数据 ,
  • 二维数组 中每个元素是 一维数组 ;

一维数组 退化时 , 退化为 指向 一维数组元素 的 指针 ;

二维数组 退化时 , 退化为 指向 二维数组元素 的 指针 , 这个 二维数组元素 就是 一维数组 , 也就是退化为 指向 一维数组的指针 ;

特别注意 , 二维数组 退化的 指针 , 指向的 一维数组 是有效的 , 可以得到数组的元素个数 , 是一个正式的数组 ;

二维数组 形参 退化路径 :

  • int array[10][20]
代码语言:javascript复制
void fun(int array[10][20])
{
}
  • int array[][20]
代码语言:javascript复制
void fun(int array[][20])
{
}
  • int (*array)[20] : 此处注意 , 数组指针 指向的 一维数组 是完整的数组 ;
代码语言:javascript复制
void fun(int (*array)[20])
{
}

三、数组形参等价关系


实参为 一维数组 int array[10] , 等效的 形参为 一级指针 int *array ;

  • 一维数组 , 直接退化为 指向 数组元素的指针 , 数组元素是 普通类型 , 指向普通类型的指针 , 即 一级指针 ;

实参为 指针数组 int *array[10] , 等效的 形参为 一级指针 int **array ;

  • 指针数组 是 数组的元素 都是 指针变量 ;
  • 数组退化为 指针 , 指针指向的元素 也是 指针 , 则形参为 二级指针 ;

实参为 二维数组 int array[10][20] , 等效的 形参为 一级指针 int (*array)[20] ;

  • 二维数组 的 数组的元素 是 一维数组 ;
  • 外围数组 ( 第二维 ) 退化为 指针 , 指针 指向的元素 是 一维数组 , 则形参为 指向 一维数组 的指针 , 每个一维数组有
20

个元素 ;

0 人点赞