数组参数和指针参数分析

1 思考

为什么C语言中的数组参数会退化为指针？

2 退化的意义

• C语言中只会以值拷贝的方式传递参数。

• 当向函数传递数组时由如下两种实现方式：

  • 将整个数组拷贝一份传入函数；
  • 将数组名看作常量指针传数组首元素地址（C语言采用的方式）。

• C语言以高效作为最初设计目标：

  • 参数传递的时候如果拷贝整个数组执行效率将大大下降。
  • 参数位于栈上，太大的数组拷贝将导致栈溢出。

3 二维数组参数

• 二维数组参数同样存在退化的问题：
  
  • 二维数组可以看作是一维数组；
  • 二维数组中的每个元素是一维数组。

• 二维数组中的第一维的参数可以省略。

  • 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])

• 等价关系

  

4 被忽视的知识点

• C语言中无法向一个函数传递任意的多维数组(当传递的数组参数确定后就只能传递此种类型的数组)。
• 必须提供除第一维之外的所有维长度。
  
  • 第一维之外的维度信息用于完成指针运算。
  • N维数组的本质是一维数组，元素是N – 1维的数组。
  • 对于多维数组的函数参数只有第一维是可变得。

实例分析：传递与访问二维数组

#include <stdio.h>

void access(int a[][3], int row)
{
    int col = sizeof(*a) / sizeof(int);
    int i = 0;
    int j = 0;

    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\n", a[i][j]);
        }
    }

    printf("\n");
}

void access_ex(int b[][2][3], int n)
{
    int i = 0;
    int j = 0;
    int k = 0;

    printf("sizeof(b) = %d\n", sizeof(b));
    printf("sizeof(*b) = %d\n", sizeof(*b));

    for(i=0; i<n; i++)
    {
        for(j=0; j<2; j++)
        {
            for(k=0; k<3; k++)
            {
                printf("%d\n", b[i][j][k]);
            }
        }
    }

    printf("\n");
}

int main()
{
    int a[3][3] = {{0, 1, 2}, {3, 4, 5}, {6, 7, 8}};
    int aa[2][2] = {0};
    int b[1][2][3] = {0};

    access(a, 3);
    access(aa, 2);
    access_ex(b, 1);
    access_ex(aa, 2);

    return 0;
}

小结

• C语言中只会以值拷贝的方式传递参数。
• C语言中的数组参数必然退化为指针。
• 多维数组参数必须提供除第一维之外的所有维长度。
• 对于多维数组的函数参数只有第一维是可变的。