数组参数退化为指针

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语言中的数组参数必然退化为指针
• 多维数组参数必须提供除第一维之外的所有维长度
• 对于多维数组的函数参数只有第一维是可变的