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

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

普通变量作为函数形参

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

以下定义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;
}

运行结果：

可以看出以结构体指针变量传参，形参test1和test是一样的，其实质都是指向0x7ffe5b29dd80为起始地址的结构体。

总结

上面我们介绍了普通变量传参，数组传参，指针参数，结构体传参等，都总结为一句话：函数传参，传递的是值(不管是普通变量，还是指针(地址))，而不是变量本身！！！