六、函数五要素
6.1 函数的分类
C 程序是由函数组成的,代码都是由主函数 main()开始执行。函数是 C 程序的基本模块,是用于完成特定任务的程序代码单元。
从函数定义的角度看,函数可分为系统函数和用户定义函数两种:
①系统函数,即库函数:这是由编译系统提供的,用户不必自己定义这些函数,可以直接使用,如常用的打印函数printf();
②用户定义函数:用以解决用户的专门需要。
6.2 函数的作用
①函数的使用可以省去重复代码的编写,降低代码重复率;
②函数可以让程序更加模块化,从而有利于程序的阅读,修改和完善。
这里可以这么理解,程序就像公司,公司是由部门组成,这个部门就类似于C程序的函数。默认情况下,公司就是一个大部门,相当于C程序的main()函数。如果公司比较小(程序比较小),任务少而简,一个部门即可(主函数)胜任;如果这个公司很大(程序比较多),任务多而杂,如果只是一个部门管理(没有分工),可想而知公司管理、运营起来会有多混乱。不是说这样不可以运营,只是这样不完美而已,如果根据公司要求分成一个个部门(根据功能封装一个一个函数),招聘由行政部门负责,研发由技术部门负责等,这样就可以分工明确,结构清晰,方便管理,各部门之间还可以相互协调。
6.3 函数五要素:以产生随机数为例
函数五要素 | 说明 |
---|---|
①函数名字 | 函数名字必须和头文件声明的名字一样 |
②头文件 | 包含指定的头文件 |
③参数 | 参数类型要匹配 |
④功能 | 需要知道此函数能干嘛后才调用 |
⑤返回值 | 根据需要接收返回值 |
函数名 | time_t time(time_t *t) |
---|---|
头文件 | #include <time.h> |
参数 | t:时间,常设置为NULL |
功能 | 获取当前系统时间 |
返回值 | 当前系统时间, time_t 相当于long类型,单位为毫秒 |
函数名 | void srand(unsigned int seed) |
---|---|
头文件 | #include <stdlib.h> |
参数 | 如果每次seed相等,rand()产生随机数相等 |
功能 | 用来设置rand()产生随机数时的随机种子 |
返回值 | 无 |
函数名 | int rand(void) |
---|---|
头文件 | #include <stdlib.h> |
参数 | 无 |
功能 | 返回一个随机数值 |
返回值 | 随机数 |
#include <stdio.h>
#include <time.h>
#include <stdlib.h>
int main(){
time_t tm = time(NULL); //得到系统时间
srand((unsigned int)tm);//随机种子只需要设置一次即可
int r = rand();
printf("r = %d\n", r);
return 0;
}
6.4 函数的定义
6.4.1 函数定义格式
返回类型 函数名(形式参数列表){ //代码体 }
6.4.2 函数名字、形参、函数体、返回值
6.4.2.1 函数名
是用户定义标识符,命名规则同变量一致。注意,函数名的后面有个圆换号(),代表这个为函数,不是普通的变量名。
6.4.2.2 形参列表
在定义函数时指定的形参,在未出现函数调用时,它们并不占内存中的存储单元,因此称它们是形式参数或虚拟参数,简称形参,表示它们并不是实际存在的数据,所以形参里的变量不能赋值。
模块开发函数的优点是避免主函数冗余,并且节省内存空间。
//1: right, 类型+变量
void max(int a, int b){ }
//2: error, 只有类型,没有变量
void max(int, int) { }
//3: error, 只有变量,没有类型
int a, int b;
void max(a, b) { }
//4: error, 不能给形参赋值
void max(int a = 1, int b = 2) { }
在定义函数时指定的形参,可有可无,根据函数的需要来设计,如果没有形参,圆括号内容为空,或写一个void关键字。
6.4.2.3 函数体
花括号{ }里的内容即为函数体的内容,这里为函数功能实现的过程。
6.4.2.4 返回值
函数的返回值是通过函数中的return语句获得的,return后面的值也可以是一个表达式。
①尽量保证return语句中表达式的值和函数返回类型是同一类型。
int max(){ // 函数的返回值为int类型
int a = 10;
return a;// 返回值a为int类型,函数返回类型也是int,匹配
}
②如果函数返回类型和return返回值不一致,则以函数返回类型为准,即函数返回类型决定返回值类型。对数值型数据,可自动进行类型转换。
double max() {// 函数返回double类型
int a = 10;
return a;// 返回值a为int类型,它会转为double类型再返回
}
注意:如果函数返回的类型和return语句中表达式的值不一致,而它又无法自动进行类型转换,程序则会报错。
③return语句的另一个作用为中断return所在的执行函数,类似于break中断循环、switch语句一样。
int max(){
return 1;// 执行到,函数已经被中断,所以下面的return 2无法被执行到
return 2;// 没有执行
}
④如果函数带返回值,return后面必须跟着一个值,如果函数没有返回值,函数名前面必须写一个void关键字,不写return语句或者return ;
void max(){ //最好要有void关键字
return; //也可以直接不写
}
⑤不能返回多个不同数据类型的值,多个相同数据类型的可以利用数组。
6.5 函数的调用
定义函数后,需要调用此函数才能执行到这个函数里的代码段。这和main()函数不一样,main()为编译器设定好自动调用的主函数,无需人为调用,用户定义函数都是在main()里调用。
6.5.1 函数执行流程
#include <stdio.h>
int max(int a, int b){ //求两数的最大值
if (a > b) {return a;}
else {return b;}
} //函数定义需要写返回类型跟参数类型
int main(){
int a = 10, b = 20, c = 0; //实参可以跟形参相同,因为不同函数中的变量名可以重名,适用范围不同,即局部变量
printf("max=%d\n", max(max(a, b), c )); //函数调用不需要写返回类型和参数类型
return 0;
}
①进入main函数,给实参a、b、c分配内存空间。
②调用max(int a, int b)函数:
A、在main()外部寻找一个名字叫“max(int a, int b)”的函数定义;
B、接着检查函数的参数有没有传参;
C、开始执行max(int a, int b)函数,这时候,main()里面的执行会阻塞(停)在printf这行代码,等待max(max(a, b), c))函数的执行。
③max(int a, int b)函数执行完返回一个值,main()才会继续往下执行,执行到return 0, 程序执行完毕。
6.5.2 函数的形参和实参
①形参出现在函数定义中,实参出现在函数调用中;
②调用时实参的值传给形参,而不能由形参传回来给实参,即单向传递;
③调用函数时,编译系统临时给形参分配存储单元(实参与形参是不同单元存储)。调用结束后,形参单元被销毁,实参单元仍保留并维持原值;
④在执行一个被调用函数时,形参的值如果发生改变,并不会改变主调函数中实参的值(如下图交换数据代码所示,实参并没有交换) 。
6.5.3 无参函数调用
如果是调用无参函数,则不能加上“实参”,但括号不能省略。
#include <stdio.h>
void test(){ }
int main(){
test(); // right
test(250); // error, 函数定义时没有参数
return 0;
}
6.5.4 有参函数调用
①如果实参表列包含多个实参,则各参数间用逗号隔开。
//用C语言实现的冒泡排序的封装版本,不能同时比较整型数组、浮点型数组、字符型数组大小,必须要再写一份,但C++模板可以实现
#include<stdio.h>
void bubbleSortTwoForVersion(int array[], int length){//冒泡排序的嵌套循环封装版本
//length可以直接计算得出,所以为什么要传递length(见7.6.2)
for(int i = 0; i < length - 1; i++){
for(int j = 0; j < length - 1 - i; j++){
if(array[j] > array[j + 1]){
int temp = array[j];
array[j] = array[j + 1];
array[j + 1] = temp;
}
}
}
}
void bubbleSortRecursionVersion(int array[], int len){//冒泡排序的递归封装版本
if (len < 2) return; //小于两个元素数量就不需要排序,退出该函数,否则会无限递归
for(int i = 0; i < len - 1; i++) {
if(array[i] > array[i + 1]){
int temp = array[i];
array[i] = array[i + 1];
array[i + 1] = temp;
}
}
//bubbleSortRecursionVersion(array, len--);//error,此时传入的还是len,不是len-1,导致len的值一直不变,陷入死循环
bubbleSortRecursionVersion(array, --len);//递归实现
}
int main(){
int a[] = { 9, 1, 7, 4, 2, 10, 3, 8, 6, 5 };
int length = sizeof(a) / sizeof(a[0]);
bubbleSortRecursionVersion(a, length);
for (size_t i = 0; i < length; i++)
printf("%d ", a[i]);
return 0;
}
#include<stdio.h>
// 冒泡排序的优化:如果序列是有序的,具体做法是每一轮外循环判断是否交换过过元素,如果没有交换,说明元素已经有序,排序提前结束
int bubbleSortTwoForVersion(int array[], int length){
int count = 0, FLAG; //每趟排序过程中是否交换过元素,0-未交换;1-有交换。
for (int i = 0; i < length - 1; i++) {
count++;
FLAG = 0; //初始化交换标志。
for (int j = 0; j < length - 1 - i; j++) {
if (array[j] > array[j + 1]) {
int temp = array[j];
array[j] = array[j + 1];
array[j + 1] = temp;
FLAG = 1; //设置交换标志
}
}
if (FLAG == 0) return count;
}
}
int main() {
int a[] = { 9, 1, 7, 4, 2, 10, 3, 8, 6, 5 };
int length = sizeof(a) / sizeof(a[0]);
int count = bubbleSortTwoForVersion(a, length);
printf("此函数的冒泡循环一共外层循环了%d次\n", count);
for (size_t i = 0; i < length; i++)
printf("%d ", a[i]);
return 0;
}
②实参与形参的个数应相等,类型匹配(相同或赋值兼容),并按顺序对应。
#include <stdio.h>
void test(int a, int b){ }
int main(){
int p = 10, q = 20;
test(p, q); // right
test(11, 30 - 10); // right
test(int a, int b); // error, 不应该在圆括号里定义变量
return 0;
}
③实参可以是常量、变量或表达式,无论实参是何种类型的量,在进行函数调用时,都必须具有确定的值,以便把这些值传送给形参。所以,这里的变量是在圆括号( )外面定义好、赋好值的变量。
6.5.5 函数返回值
①如果函数定义没有返回值,函数调用时不能写void关键字,调用函数时也不能接收函数的返回值。
#include <stdio.h>
void swap(int x,int y){ }
int main(){
test(); //right
void test(); //error, void只出现在定义,不能出现在调用
int a = test(); //error, 函数定义根本就没有返回值,除非把swap的返回类型改为int
return 0;
}
②如果函数定义有返回值,这个返回值根据用户需要可用可不用。如果需要使用这个函数返回值,则需要定义一个匹配类型的变量来接收。
#include <stdio.h>
int test(){ }
int main(){
int a = test(); //right, a为int类型
char *p = test();//虽然调用成功没有意义,p为char*, 函数返回值为int, 类型不匹配
return 0;
}
6.6 函数的声明
使用用户定义函数,如果该函数与主调函数不在同一文件中,或者函数定义的位置在主调函数之后,则必须在调用此函数之前对被调用的函数作声明。
函数声明:在函数尚在未定义的情况下,事先将该函数的有关信息通知编译系统,告诉编译器函数在后面定义,以便使编译能正常进行。
#include <stdio.h>
int max(int x, int y); //函数声明,关键字extern可以省略
//int max(int, int); //函数声明的另一种方式,只是告诉样式,并不是具体实现过程
int main(){
int a = 10, b = 25;
int Max = max(a, b);
printf("Max = %d\n", Max);
return 0;
}
int max(int x, int y) {return x > y ? x : y;}
函数定义和声明的区别:
1)定义是指对函数功能的确立,包括指定函数名、函数类型、形参及其类型、函数体等,它是一个完整的、独立的函数单位。
2)声明是把函数名、函数类型以及形参的个数、类型和顺序(不包括函数体)通知编译系统,以便在对包含函数调用的语句进行编译时,对其进行对照检查。
6.7 exit函数
在主函数中调用exit和return结果是一样的,但在子函数中调用return只是代表子函数终止,在子函数中调用exit直接程序终止。
#include <stdio.h>
void fun(){
printf("fun\n");
exit(0);
}
int main(){
fun();//调用到里面的exit()函数以后,不执行while(1),直接种植程序
while(1);
return 0;
}
6.8 多文件(分文件)编程
6.8.1 分文件编程
①把函数声明放在头文件xxx.h中,在主函数中包含相应头文件;
②在头文件对应的xxx.c中实现xxx.h声明的函数。
6.8.2 防止头文件重复包含
当一个项目比较大时,往往都是多文件编程,此时有可能不小心把同一个头文件include 多次,或者头文件嵌套包含。
a.h 中包含 b.h :
#include "b.h"
b.h 中包含 a.h:
#include "a.h"
main.c 中使用其中头文件:
#include "a.h"
int main(){ return 0; }
编译上面的例子,会出现如下错误:
为避免同一个文件被include多次,C/C++中有两种方式,一种是 #ifndef 方式,一种是 #pragma once 方式。
方法一:
#ifndef __SOMEFILE_H__
#define __SOMEFILE_H__
//声明语句和定义全局变量
#endif
方法二:
#pragma once
//声明语句和定义全局变量
码字不易,如果大家觉得有用,请高抬贵手给一个赞让文章上推荐让更多的人看到吧,也可以评论提出意见让后面的文章内容越来越生动丰富。