函数是C语言中的一种非常重要的概念，其可以将一系列的操作封装起来，使得代码更加模块化和易于维护。在函数中，形参和实参是不可或缺的概念，本文将从多个角度来分析C语言函数的形参和实参。
一、形参和实参的定义
形参（Formal Parameter）是在函数定义中声明的变量，其作用是接收函数调用中传递的实参。实参（Actual Parameter）是在函数调用中传递的实际参数值，其对应着函数定义中的形参。
例如，在下面的函数定义中，x和y就是形参：
```
int add(int x, int y)
{
return x + y;
}
```
而在下面的函数调用中，1和2就是实参：
```
int result = add(1, 2);
```
二、形参和实参的传递方式
在C语言中，形参和实参的传递方式有两种：值传递和指针传递。
1. 值传递
值传递是指将实参的值复制一份到形参中，形参和实参是两个独立的变量，它们在内存中的地址不同。这种传递方式的优点是简单、直观，缺点是会产生额外的内存开销。
例如，在下面的函数中，x和y都是值传递：
```
int add(int x, int y)
{
return x + y;
}
int result = add(1, 2);
```
2. 指针传递
指针传递是指将实参的地址传递给形参，形参和实参指向同一个内存地址，它们是同一个变量。这种传递方式的优点是节省内存开销，缺点是需要更多的指针操作。
例如，在下面的函数中，x和y都是指针传递：
```
void swap(int* x, int* y)
{
int temp = *x;
*x = *y;
*y = temp;
}
int a = 1, b = 2;
swap(&a, &b);
```
三、形参和实参的类型
在函数调用时，实参的类型必须和形参的类型匹配。如果类型不匹配，编译器将会报错。在C语言中，类型匹配规则如下：
1. 如果形参是基本类型，则实参必须是相同的基本类型或者可以隐式转换为相同的基本类型。
例如，在下面的函数中，x和y都是int类型，所以实参必须是int类型或可以隐式转换为int类型：
```
int add(int x, int y)
{
return x + y;
}
int result = add(1, 2);
```
2. 如果形参是指针类型，则实参必须是相同的指针类型或者可以隐式转换为相同的指针类型。
例如，在下面的函数中，x和y都是int指针类型，所以实参必须是int指针类型或可以隐式转换为int指针类型：
```
void swap(int* x, int* y)
{
int temp = *x;
*x = *y;
*y = temp;
}
int a = 1, b = 2;
swap(&a, &b);
```
3. 如果形参是数组类型，则实参必须是相同的数组类型或者可以隐式转换为相同的数组类型。
例如，在下面的函数中，x是一个int数组，所以实参必须是相同的int数组或者可以隐式转换为int数组：
```
int sum(int x[], int n)
{
int result = 0;
for (int i = 0; i < n; i++)
{
result += x[i];
}
return result;
}
int a[] = {1, 2, 3, 4, 5};
int result = sum(a, 5);
```
四、形参和实参的作用域
形参和实参的作用域不同。形参的作用域只在函数内部有效，函数外部的变量无法访问到形参。而实参的作用域只在函数调用时有效，函数内部的代码无法访问到实参。
例如，在下面的代码中，x只在swap函数内部有效，而a和b只在swap函数调用时有效：
```
void swap(int x, int y)
{
int temp = x;
x = y;
y = temp;
}
int a = 1, b = 2;
swap(a, b);
```
五、形参和实参的默认值
C语言中的函数不支持默认值，必须为每个形参都传递实参。如果想要使用默认值，可以使用函数重载或宏定义等方式来实现。
例如，在下面的代码中，定义了两个add函数，一个是两个int类型相加的函数，一个是两个double类型相加的函数。这样就可以实现默认值的功能：
```
int add(int x, int y)
{
return x + y;
}
double add(double x, double y)
{
return x + y;
}
int result1 = add(1, 2);
double result2 = add(1.0, 2.0);
```
