34、数组参数和指针参数分析

1、思考

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

退化的意义：

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

• 当向函数传递数组时

  — 将整个数组拷贝一份传入函数（×）

  — 将数组名看做常量指针传数组首元素地址

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

a）参数传递的时候如果拷贝整个数组执行效率将大大下降

b）参数位于栈上，太大的数组拷贝将导致栈溢出。

2、二维数组参数

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

  — 二维数组可以看做是一维数组

  — 二维数组中的每个元素是一维数组

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

  —

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

  一维数组退化为指针，二维数组退化为数组指针

  

3、被忽视的知识点

• C语言中无法向一个函数传递任意的多维数组

• 必须提供第一维以外的所有维度信息

  — 第一维以外的维度信息用于完成指针运算

  — N维数组的本质是一维数组，元素是N-1维的数组

  — 对于多维数组的函数参数只有第一维是可变的

程序：传递和访问二维数组

#include <stdio.h>

void access(int a[][3], int row)
{
	int col = sizeof(*a) / sizeof(int);			//*a,a的类型是int(*a)[3],也就是一个数组指针，对数组指针*，说明代表的就是一个数组
	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 b[1][2][3] = { 0 };

	access(a, 3);
	access_ex(b, 1);
	return 0;
}
           

总结：其实这一章的内容也比较简单，主要就是说数组作为函数参数要退化，多维数组参数必须提供第一维之外的所有维长度，第一维的长度在之后的参数也要告诉。