C语言学习篇(15)函数传参详解

山峰云绕 2023-02-07 发布于贵州

展开全文

https://m.toutiao.com/is/ByeQxYR/

前面我们已经介绍过什么是指针，指针变量的用法等等，今天我们就来讲讲什么是函数，函数有啥作用，函数的参数有哪些需要注意的地方以及指针与函数的关系。

首先函数是由一些代码块组成，这些代码往往都是为了完成某个特定功能的，使整个程序模块化，便于管理和维护。函数主体好比如是个加工厂，而传入的形参就像是材料，不同的厂加工不同的材料，因此我们有必要探究了下函数形参的本质。

函数传参详解

普通变量作为函数形参

特别说明的是，函数传参，传递是值，而不是变量本身。 经典的例子：两数交换。

以下定义a = 3，b = 5变量，我们想实现a与b值交换，具体代码如下：

#include <stdio.h>void swap1(int a, int b){	int tmp;	tmp = a;	a = b;	b = tmp;	printf('in swap1, a = %d, b = %d.\n', a, b);}int main(void){	int x = 3, y = 5;	swap1(x, y);		printf('x = %d, y = %d.\n', x, y);		}

运行结果:

普通变量作为形参

从上图我们可以看到，在swap1函数中，确实a和b的值是互换了，但是在main主函数中，a和b仍然是3，5，并没有完成交换，因此交换失败。由此可得函数传参只是值的传递，而不是变量本身！！！

数组作为函数形参

以下我们定义数组int a[20]，并将a作为参数传入函数func1中，具体代码如下：

#include <stdio.h>void func1(int a[]){	printf('sizeof(a) = %d.\n', sizeof(a));	printf('in func1, a = %p.\n', a);}int main(void){	int a[20];		printf('a = %p.\n', a);	func1(a);	return 0;}

运行结果：

数组类型作为形参

我们可以看到a(数组的首元素的首地址)与传入函数func1的形参int a[]的a地址完全，这与我们之前的结论：函数传参，只传递值，而不是变量，相一致。同时我们我们在func1函数中打印了形参int a[]中的a符号的数据长度，结果是8(测试环境是64位Ubuntu)，而不是数组的长度(sizeof(int) * 20)，因此我们可以得出数组作为形参传参时，实际传递是不是整个数组，而是数组的首元素的首地址。

指针作为函数形参

我们还是两数交换为例子，这次以指针作为形参，看看与上面的结果有何不同：

#include <stdio.h>void swap2(int *a, int *b){	int tmp;	tmp = *a;	*a = *b;	*b = tmp;	printf('in swap2, *a = %d, *b = %d.\n', *a, *b);}int main(void){	int x = 3, y = 5;		swap2(&x, &y);	printf('x = %d, y = %d.\n', x, y);			return 0;}

运行结果：

指针类型作为形参

改用指针类型传参，不仅在函数swap2内实现了两数交换，并且在main主函数中成功交换。感受下与之前普通变量传参的区别？两者方式，本质都是传递的变量的值，但是使用指针方式作为形参，我们可以通过指针指向的地址，实际更改了变量本身的值！

结构体变量作为函数形参

结构体是C语言常用的数据类型，往往我们会将一个事物相关的变量，统一封装成一个结构体，便于管理维护，同时结构体类型变量通常较普通变量来说，数据量大，占内存较多。那结构体作为函数形参会有什么不一样嘛？

#include <stdio.h>struct my_test{	char a;					int b;			};void func1(struct my_test test1){	printf('&test1 = %p.\n', &test1);	printf('test1.a = %d.\n', test1.a);	printf('test1.b = %d.\n', test1.b);	}int main(void){	struct my_test test = 	{		.a = 3,		.b = 55,	};		printf('&test = %p.\n', &test);	printf('test.a = %d.\n', test.a);	printf('test.b = %d.\n', test.b);		func1(test);		return 0;}

运行结果：

结构体类型作为形参

可以看到形参test1和实参test的结构成员值都是一致，而test1和test两者的地址却不同，编译器只是将结构体test复制了一份，然后传入函数中，再次验证了函数传参，只传值，而不是变量本身！

如果我们改造下func1，形参使用结构体指针类型，具体如下：

#include <stdio.h>struct my_test{	char a;					int b;			};void func1(struct my_test *test1){	printf('test1 = %p.\n', test1);	printf('test1->a = %d.\n', test1->a);	printf('test1->b = %d.\n', test1->b);}int main(void){	struct my_test test = 	{		.a = 3,		.b = 55,	};		printf('&test = %p.\n', &test);	printf('test.a = %d.\n', test.a);	printf('test.b = %d.\n', test.b);		func1(&test);		return 0;}