函数的定义
- 函数头:函数对外的公开接口
- 函数名称:命名规则与跟变量一致,一般取与函数实际功能相符合的、顾名思义的名称。
- 参数列表:即黑箱的输入数据列表,一个函数可有一个或多个参数,也可以不需要参数。
- 返回类型:即黑箱的输出数据类型,一个函数可不返回数据,但最多只能返回一个数据。
- 函数体:函数功能的内部实现
- 语法汇总:
- 当函数的参数列表为 void 时,表示该函数不需要任何参数。
- 当函数的返回类型为 void 时,表示该函数不返回任何数据。
- 关键字 return 表示退出函数。①若函数头中规定有返回数据类型,则 return 需携带一个类型与之匹配的数据;②若函数头中规定返回类型为 void,则 return 不需携带参数。
、、交换两个浮点数
void swap(double *p1, double *p2) // 该函数接收两个浮点指针参数,不返回数据
{
if(p1 == NULL || p2 == NULL)
return;
double tmp;
tmp = *p1;
*p1 = *p2;
*p2 = tmp;
}
实参与形参
-
概念:
- 函数调用中的参数,被称为实参,即 arguments
- 函数定义中的参数,被称为形参,即 parameters
-
实参与形参的关系:
- 实参于形参的类型和个数必须一一对应。
- 形参的值由实参初始化。
- 形参与实参位于不同的内存区域,彼此独立。
函数调用的流程
函数调用时,进程的上下文会切换到被调函数,当被调函数执行完毕之后再切换回去。
局部变量与栈内存
- 局部变量概念:凡是被一对花括号包含的变量,称为局部变量
- 局部变量特点:
- 某一函数内部的局部变量,存储在该函数特定的栈内存中
- 局部变量只能在该函数内可见,在该函数外部不可见
- 当该函数退出后,局部变量所占的内存立即被系统回收,因此局部变量也称为临时变量
- 函数的形参虽然不被花括号所包含,但依然属于该函数的局部变量
- 栈内存特点:
- 每当一个函数被调用时,系统将自动分配一段栈内存给该函数,用于存放其局部变量
- 每当一个函数退出时,系统将自动回收其栈内存
- 系统为函数分配栈内存时,遵循从上(高地址)往下(低地址)分配的原则
- 技术要点:
- 栈内存相对而言是比较小的,不适合用来分配尺寸太大的变量。
- return 之后不可再访问函数的局部变量,因此返回一个局部变量的地址通常是错误的。
int max(int x, int y) // 变量 x 和 y 存储在max()函数的栈中
{
int z; // 变量 z 存储在max()函数的栈中
z = x>y ? x : y;
return z; // 函数退出后,栈中的x、y 和 z 被系统回收
}
int main(void)
{
int a = 1; // 变量 a 存储在main()函数的栈中
int b = 2; // 变量 b 存储在main()函数的栈中
int m; // 变量 m 存储在main()函数的栈中,未赋值因此其值为随机值
m = max(a, b);
}
静态函数
- 背景知识:普通函数都是跨文件可见的,即在文件 a.c 中定义的函数可以在 b.c 中使用。
- 静态函数:只能在定义的文件内可见的函数,称为静态函数。
- 要点:
- 静态函数主要是为了缩小函数的可见范围,减少与其他文件中重名函数冲突的概率。
- 静态函数一般被定义在头文件中,然后被各个源文件包含。
递归函数
-
递归概念:如果一个函数内部,包含了对自身的调用,则该函数称为递归函数。
-
递归问题:
- 阶乘。
- 幂运算。
- 字符串翻转。
-
要点:
- 只有能被表达为递归的问题,才能用递归函数解决。
- 递归函数必须有一个可直接退出的条件,否则会进入无限递归。
- 递归函数包含两个过程,一个逐渐递进的过程,和一个逐渐回归的过程。
-
示例:依次输出 n 个自然数。
-
思路:先输出前面的 n-1 个自然数,再输出最后一个自然数 n 。而要输出前面的 n-1 个自然数,递归调用自身即可。
// 该函数的功能:依次输出 n 个自然数
void f(int n)
{
if(n < 0) // 1,当满足此条件时,不再进行递归。
return;
f(n-1); // 2,递归调用自己,输出前 n-1 个数
printf("%d\n", n); // 3,输出最后一个自然数 n
}
回调函数(钩子函数)
- 概念:函数实现方不调用该函数,而由函数接口提供方间接调用的函数,称为回调函数。
- 示例:系统中的信号处理,是一个典型的利用回调函数的情形。
- 要点:
- 示例中函数 sighandler 是回调函数。
- signal() 将函数回调函数传递给内核,使得内核可以在恰当的时机回调 sighandler。
- 应用开发者和内核开发者只要约定好回调函数的接口,即可各自开发,进度互不影响。