C语言—函数

1.函数的概念

C语言中的函数就是一个完成某项特定的任务的一小段代码。这段代码是有特殊写法和调用方法的。

C语言的程序其实是由无数个小的函数组合而成的，也可以说：一个大的计算任务可以分解成若干个小的函数（对应较小的任务）完成。同时一个函数如果能完成某项特定的任务的话，这个函数也是可以复用的，提升了开发软件的效率。

在C语言中我们一般会见到两类函数：

——库函数

——自定义函数

2.库函数

C语言标准中规定了C语言的各种语法规则，C语言并不提供库函数，C语言的国际标准ANSIC规定了一些常用的函数的标准，被称为标准库，那不同的编译器厂商会根据ANSI提供的C语言标准就给出一系列函数的实现。这些函数被称为库函数。

printf，scanf都是库函数，库函数也是函数，不过这些函数已经是现成的，我们只要学会就能直接使用了。

C/C++官⽅的链接：https://zh.cppreference.com/w/c/header

cplusplus.com：https://legacy.cplusplus.com/reference/clibrary/

这两个网站就可以进行库函数的学习和查看

举个列子：sqrt

库函数是在标准库中对应的头文件中声明的，所以库函数的使用，务必包含对应的头文件。

这个函数的作用就是开平方根

3.自定义函数

自定义函数和库函数是一样的，形式如下：

——ret_type是函数的返回类型

——fun_name是函数名

——括号中放的是形式参数

——{}括起来的是函数体

举个例子：

写一个加法函数，完成两个整型变量的加法操作。

函数的参数部分需要交代清楚：参数个数，每个参数的类型是啥，形参的名字叫啥。

函数的名字是自定义的，根据实际的情况取名字

函数的参数个数也是根据实际情况来确定的，可以有0个参数，也可以有多个参数

函数可以返回值，也可以不返回，要根据实际情况来写，函数不返回的时候，返回类型写void

4.形参和实参

在函数的使用过程中，把函数的参数分为实参和形参。

实际参数就是真实传递给函数的参数。

为什么叫形式参数呢？实际上，如果只是定义了Add函数，而不去调用的话，Add函数的参数x和y只是形式上存在，不会向内存申请空间，不会真实存在的，所以叫形式参数。形式参数只有在函数被调用的过程中为了存放实参传递过来的值，才会向内存申请空间，这个过程就是形式的实例化。

实参传递给形参，他们之间是有联系的，但是形参和实参各自是独立的内存空间

在调试的时候可以观察到，x和y确实得到了a和b的值，但是x和y的地址和a和b的地址是不一样的，所以我们可以理解为形参是实参的一份临时拷贝。对形参的修改不会影响实参。

5.return语句

在函数的设计中，函数经常会出现return语句，这里有几个return语句的注意事项：

——return后面可以是一个数值，也可以是一个表达式，如果是表达式则先执行表达式，再返回表达式的结果

——return后面可以什么都没有，直接写return；这种写法适合函数返回的类型是void的情况

——return返回的值和函数返回的类型不一致，系统会自动将返回的值隐式转换为函数的返回类型

——return语句执行后，函数就彻底返回，后面的代码不再执行

——如果函数中存在if等分支语句，则要保证每种情况下都有return返回，否则会出现编译错误。

——函数的返回类型如果什么都不写默认函数的返回类型是int

6.数组做函数参数

在使用函数解决问题的时候，难免会将数组作为参数传递给函数，在函数内部对数组进行操作。

比如：写一个函数对将一个整型数组的内容，全部置为-1，再写个函数打印数组的内容。

基本的形式如下：

这里的set_arr函数要能够对数组的内容进行设置，就得把数组作为参数传递给函数，同时函数内部在设置每个元素的时候，也得遍历数组，需要知道数组的元素个数。所以我们需要给set_arr传递两个参数，一个是数组，一个是数组的元素个数。print_arr也是如此。

数组传参的几个知识点：

数组传参写的是数组名

形参写的也是数组的形式，并且在形参书写的时候，可以省略元素个数（针对一维数组）

数组传参后，形式的数组和实参的数组是同一块内存空间，改变形参的数组就是在改变实参

函数的形式参数要和函数的实参个数匹配

形参如果是二维数组，行可以省略不写但列不能省略

根据上述信息我们就可以实现这两个函数：

7.嵌套调用和链式访问

嵌套调用就是函数之间互相调用，每个函数就像一个乐高零件，正是因为多个乐高的零件互相无缝的配合才能搭建出精美的乐高玩具，也正式因为函数之间有效的互相调用，最后写出了相对较大型的程序。

假设我们计算某年某月有多少天？如果要实现，就可以设计两个函数：

is_leap_year():根据年份来确定是否是闰年

get_days_of_month():调用is_leap_year确定是否是闰年后，再根据月计算这个月的天数

链式访问

所谓的链式访问就是将一个函数的返回值作为另一个函数的参数，像链条一样将函数串起来就是函数的链式访问。

还有一个

printf函数返回的是打印在屏幕上的字符个数。

上面的例子中，我们第一个printf打印的是第二个printf的返回值，第二个printf打印的是第三个printf的返回值。

第三个printf打印43，在屏幕上打印2个字符，再返回2

第⼆个printf打印2，在屏幕上打印1个字符，再放回1

第⼀个printf打印1

所以屏幕上的最终打印结果是：4321

8.函数的声明和定义

一般我们在使用函数的时候，直接将函数写出来就是用了。

比如：

上面的代码橙色的部分是函数的定义，绿色的部分是函数的调用。

那如果我们函数的定义放在函调用的的后面会怎样呢？

这个代码在vs2022上编译，会出现下面的警告信息：

这是因为C语⾔编译器对源代码进⾏编译的时候，从第⼀⾏往下扫描的，当遇到is_leap_year 函数调⽤的时候，并没有发现前⾯有is_leap_year的定义，就报出了上述的警告。

怎么解决这个问题呢？就是函数调⽤之前先声明⼀下is_leap_year这个函数，声明函数只要交代清 楚：函数名，函数的返回类型和函数的参数。

如：int is_leap_year(int y)；这就是函数声明，函数声明中参数只保留类型，省略掉名字也是可以 的。

代码变成这样就能正常编译了

C语言中函数要先声明在使用

函数的定义是一种特殊的声明，所以如果函数定义放在调用之前也是可以的。

多个文件

一般情况下，函数的声明，类型的声明放在头文件中，函数的实现是放在源文件中

如下：

static和extern

static和extern都是C语言中的关键字

static是静态的意思，可以用来：

修饰局部变量；

修饰全局变量；

修饰函数；

extern是用来声明外部符号的

作⽤域（scope）是程序设计概念，通常来说，⼀段程序代码中所⽤到的名字并不总是有效（可⽤） 的，⽽限定这个名字的可⽤性的代码范围就是这个名字的作⽤域。

局部变量的作用域是变量所在的局部范围；

全局变量的作用域是整个工程；

生命周期指的是变量的创建到变量的销毁之间的一个时间段；

局部变量的生命周期是：进作用域变量创建，生命周期开始，出作用域生命周期结束。

全局变量的生命周期是整个程序的生命周期。

static修饰局部变量：

本质影响了变量的存储类型，一个局部变量是存在栈区的但是被static修饰后就存放在静态区了，因为存储类型发生变化，生命周期跟着变化了，变长了。

使用建议：未来一个变量除了函数后，我们还想保留着，等下次进入函数继续使用，就可以用static修饰。

static修饰全局变量或者函数：

1.全局变量是具有外部链接属性的

2.全局变量被static修饰后，外部链接属性就变成了内部链接属性就是这个全局变量只能在自己所在的.c文件中使用，其他文件看不到。相当于作用域变小了。

使⽤建议：⼀个函数只想在所在的源⽂件内部使⽤，不想被其他源⽂件使⽤，就可以使⽤ static 修 饰。如果⼀个全局变量，只想在所在的源⽂件内部使⽤，不想被其他⽂件发现，就可以使⽤ static修饰。

extern是⽤来声明外部符号的，如果⼀个全局的符号在A⽂件中定义的，在B⽂件中想使⽤，就可以使 ⽤ extern 进⾏声明，然后使⽤。

感谢观看

本篇博客代码：test_8_11.c · MonDays/C. - 码云 - 开源中国 (gitee.com)