c语言深度剖析(35)—数组参数和指针参数分析

1.思考

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

2.退化的意义 

• C语言中只会以值拷贝的方式传递参数 
• 当向函数传递数组时： 
  • 将整个数组拷贝—份传入函数（  X   ）
  • 将数组名看做指针常量传数组首元素地址 （ ✔ ）
• C语言以高效作为最初设计目标： 
  • 参数传递的时候如果拷贝整个数组执行效率将大大下降 
  • 参数位于栈上，太大的数组拷贝将导致栈溢出

3.二维数组参数 

• 二维数组参数同样存在退化的问题 
  • 二维数组可以看作是—维数组 
  • 二维数组中的每个元素是—维数组 
• 二维数组参数中第—维的参数可以省略

4.等价关系 

• float *a指向的一维数组的每个元素为float型
•  int **a指向的一维数组的每个元素为int*类型
• char(*a)[4]指向的一维数组的每个元素为int[4]类型（共3个元素）

5.被忽视的知识点

• C语言中无法向—个函数传递任意的多维数组 
• 必须提供除第—维之外的所有维长度 
  • 第一维之外的维度信息用于完成指针运算 
  • N维数组的本质是一维数组，元素是N-1维的数组 
  • 对于多维数组的函数参数只有第—维是可变的

6.编程实验 

• 传递与访问二维数组     

#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);    /* expected'int (*)[3]', but argument is type of 'int (*)[2]' */
	access_ex(b, 1);
	//access_ex(aa, 2);  /* expected'int (*)[2][3]', but argument is type of 'int (*)[2]' */

	return 0;
}

• 运行结果：

7.小结

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