C语言-数组作函数参数 数组名的本质

目录

1.引例：

2.数组名的本质

对引例做出解释：

1.引例：

定义一个数组，数组中存放3个元素

（1）设计函数，在函数内部计算数组的元素个数：

int get_arr_num(char arr[]) //计算数组的元素个数
{
	int ret = sizeof(arr) / sizeof(arr[0]);
	return ret;
}

int main()
{
	char arr[3] = {'a','b','c'};
	printf("数组arr的元素个数为：%d\n", get_arr_num(arr));
	return 0;
}

输出结果： 

（2）在主函数中计算数组的元素个数：

int main()
{
	char arr[3] = {'a','b','c'};
	int arr_num = sizeof(arr) / sizeof(arr[0]);//计算数组的元素个数
	printf("数组arr的元素个数为：%d\n", arr_num);
	return 0;
}

输出结果：

由上述两种情况，可知，设计函数并在函数内部无法正确计算得到数组的元素个数。

下面对引例做出解释。

2.数组名的本质

先说结论：数组名是数组首元素的地址。

证明如下：

int main()
{
	char arr[3] = { 'a','b','c' };
	
    printf("%p\n", arr);
	printf("%p\n", &arr[0]);
	
    return 0;
}

输出结果：

arr和arr[0]的地址一样，证明数组名其实是首元素的地址。

对引例做出解释：

int get_arr_num(char arr[]) //计算数组的元素个数
{
	int ret = sizeof(arr) / sizeof(arr[0]);
	return ret;
}

int main()
{
	char arr[3] = {'a','b','c'};
	printf("数组arr的元素个数为：%d\n", get_arr_num(arr));
	return 0;
}

数组作为函数参数的时候，我们传参时写的是数组名，数组名的本质是数组首元素的地址，因此传参的时候，传递的实际上是数组首元素的地址，并不是把整个数组传过去。

进一步可知，当我们将（数组名）一个地址传递给函数的时候，数组的形式参数应该是一个指针变量，来接收这个地址，因此函数形参部分的char arr[ ]本质上是char* arr，我们也可以写成这种形式：

int get_arr_num(char* arr)
//int get_arr_num(char arr[])

为什么在函数内部计算出的数组元素个数是4？

我们想用 “ sizeof(arr) / sizeof(arr[0]) “，即：” arr数组的大小 / 数组中单个元素的大小 “，由此计算出数组的元素个数，但由上文知arr是数组首元素的地址，而不是整个数组，那么这里sizeof(arr)得到的便是数组首元素地址的大小，在32位操作系统下，指针是占4个字节空间大小。

而arr[0]是数组的第一个元素，char型占1个字节空间大小。

因此," sizeof(arr) / sizeof(arr[0]) " 实际上是 " 4 / 1 ",运算结果等于4。

我们可以验证一下上述判断：

void get_sizeof(char arr[])
{
	int m = sizeof(arr);
	int n = sizeof(arr[0]);
	printf("sizeof(arr)的值是：%d\n", m);
	printf("sizeof(arr[0])的值是：%d\n", n);
}

int main()
{
	char arr[3] = { 'a','b','c' };
	get_sizeof(arr);
	return 0;
}

输出结果：

到这里，我们对引例中的问题作出了解释。

结合函数参数以及函数栈帧，如果数组传参时形参还需要创建一个数组来接收实参的话，当数组数据内容比较多时，可能会造成较大的空间浪费。而如果仅传递数组首元素的地址，通过该地址的向后偏移，就可以得到数组中的全部元素。