C语言进阶：第35课、数组参数和指针参数分析

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

退化的意义：
C语言中只会以值拷贝的方式传递参数
当向函数传递数组时：
？？将整个数组拷贝一份传入函数（排除）
将数组名看做常量指针传数组首元素地址

C语言以高效作为最初设计目标：
1.参数传递的时候如果拷贝整个数组执行效率会大大下降

2.参数位于栈上，太大的数组会导致栈溢出。（函数调用时，参数总是存储在栈上）

二维数组参数同样存在退化问题：

 二维数组可以看做是一维数组；二维数组中的每个元素是一维数组

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

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

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);    //aa(int(*)[2])的类型和access( int(*)[3] ) 的参数类型是不一致的，会打印随机值
    access_ex(b, 1);    //三维数组退化为指针，指向二维数组，类型为int[2][3]
    access_ex(aa, 2);    //用二维数组初始化三维数组，

                      //expected ‘int (*)[2][3]’ but argument is of type ‘int (*)[2] //int[2][2][3]    

return 0;}

编译运行：

~/will$ gcc test.c
test.c: In function ‘main’:
test.c:53: warning: passing argument 1 of ‘access’ from incompatible pointer type
test.c:3: note: expected ‘int (*)[3]’ but argument is of type ‘int (*)[2]’
test.c:55: warning: passing argument 1 of ‘access_ex’ from incompatible pointer type
test.c:23: note: expected ‘int (*)[2][3]’ but argument is of type ‘int (*)[2]’
~/will$ ./a.out
sizeof(a) = 4
sizeof(*a) = 12
0
1
2
3
4
5
6
7
8

sizeof(a) = 4
sizeof(*a) = 12
0
0
0
0
5368197
5041024

sizeof(b) = 4
sizeof(*b) = 24
0
0
0
0
0
0

sizeof(b) = 4
sizeof(*b) = 24
0
0
0
0
5368197
5041024
134514315
6586356
134514304
0
-1076930760
5266663

通过这个示例程序，在C语言中，只会以值拷贝的方式进行参数传递。

C语言中的数组参数必然退化为指针，多维数组参数必须提供第一维以外的所有维长度，从而可以进行指针运算，对于多维数组的函数参数，只有第一维是可变的。