目录
1.函数的概念
在实际工程中，一个软件的开发通常有数万、数十万行代码甚至更多，为了降低实际开发中的复杂度，程序员必须将一个大的问题分解为若干个小问题，小问题再分解为更小的问题。所以，在C语言中引入了函数的概念，也可以翻译为子程序，函数就是一个完成某项特定任务的一小段代码，这段代码是有特殊的写法和调用方法的。C语言的程序就是由若干个小的函数组合而成的。在C语言中我们一般会见到两类函数：库函数、自定义函数。
1.1 库函数
在前面我们已经使用过一些常用的标准库函数，例如printf()、scanf()等。C语言标准中规定了C语言的各类语法规则，但是并不提供库函数，所以C语言的国际标准ANSI C规定了一系列常用的函数的标准，被称为标准库，那些不同的编译器厂商根据ANSI提供的C语言标准就给出了一系列函数的实现，这些函数就被称为库函数，使用库函数之前，必须在程序的开头把该函数的头文件包含进来，例如，在使用printf()函数时，只需要在程序的开头将头文件<stdio.h>包含到程序中即可。
库函数的学习工具有很多，在此网站可以了解到库函数的使用方法C library - C++ Reference (cplusplus.com)
https://legacy.cplusplus.com/reference/clibrary/
1.2 自定义函数
如果库函数不能满足程序设计的编程需求，这个时候就需要自行编写函数来完成自己所需要的功能，这类函数就称为自定义函数。
自定义函数语法形式如下：
ret_type fun_name(形式参数)
{
}
其中，ret_type是函数的返回类型，fun_name是函数名，括号中放的是形式参数，{}括起来的是函数体
1.3 函数的举例
例:写一个加法函数，完成两个整型变量的加法操作
如图，函数名为Add，函数Add需要接受2个整型的参数，在main函数中调用Add函数，并传入a和b的值，此时，a的值会传给x，b的值会传给y，函数内的操作是返回x+y的值，并用sum接收函数返回来的值，所以函数的类型为int
如图，输入10和20，计算结果为30.
2.形参和实参
在函数使用的过程中，把函数的参数部分分为实参和形参。再看之前写的代码
在main函数中调用了Add函数时，传递给函数的参数a和b，称为实际参数，简称实参。实际参数就是真实传递给函数的参数。
在Add函数中，括号中的x和y，称为形式参数，简称形参。如果只是定义了Add函数，而不去调用的话，Add函数的参数x和y只是形式上存在的，不会向内存申请空间，不会真实存在的，所以叫形式参数。形参只有在函数被调用的过程中为了存放实参传递过来的值，才向内存申请空间，这个过程就是形参的实例化。
2.1 实参和形参的关系
虽然实参是传递给形参的，他们之间有联系，但是形参和实参是各自独立的内存空间，可以通过 调试来观察。
例如刚才的代码，虽然x和y得到了a和b的值，但是x和y的地址跟a和b的地址是不一样的，所以我们可以理解为：形参是实参的一份临时拷贝。
3.return语句
在函数的设计中，经常会出现return语句，在使用return语句时，有一些注意事项
① return 后面可以是一个数值，也可以是一个表达式，如果是表达式则先执行表达式再返回表达式的结果
② return后面也可以什么都没有，直接写return，这种写法适合函数返回类型为void的
③ return的返回值和函数的返回类型不一致，系统会自动将返回的值隐式转换为函数的返回类型
④ return 语句执行后，函数就彻底返回，后面的代码不再执行
⑤ 如果函数中存在if等分支语句，则要每种情况下都有return返回，否则会出现编译错误
4.数组做函数参数
在使用函数解决问题的时候，难免会将数组作为参数传递给函数，在函数内部对数组进行操作。
例：写一个函数将一个整型数组的内容全部置为-1，再写一个函数打印数组的内容
这里的set_arr函数是对数组内容进行设置，所以就要把数组作为参数传递给函数，同时，要遍历数组，就需要知道数组的长度，所以需要给set_arr传递两个参数。同理，print_arr函数也是一样的，要打印数组元素，就需要拿到数组和元素个数，才能遍历打印每个元素。
将数组进行传参的时候，有一些注意事项
①函数的实参是数组，形参也是可以写成数组形式的
② 形参如果是一维数组，数组大小可以省略不写
③ 形参如果是二维数组，行可以省略，但是列不能省略
④ 数组传参，形参是不会创建新的数组的，因为数组名代表数组首元素的地址，这里涉及到指针的内容，后续详细介绍
⑤形参操作的数组和实参的数组是同一个数组
5.嵌套调用
嵌套调用就是函数之间相互调用。
如上代码，在test函数中又调用了test1函数，就称为函数的嵌套调用
未来在一些稍微大一些代码都是函数之间的嵌套调用，但是函数是不能嵌套定义，就是不能在函数内又定义一个函数
6.链式访问
所谓链式访问就是将一个函数的返回值作为另一个函数的参数，像链条一样将函数串起来就是函数的链式访问。
如上代码，将strlen的返回值直接作为printf的参数，这样就是一个链式访问的例子。
7.函数的声明和定义
7.1 单个文件
一般情况来说，我们在使用函数时，直接将函数写出来就可以使用了，但是我们通常的写法都是将函数的定义写在函数的调用之前，那如果将函数的定义写在函数的调用之后呢？
例：写一个代码判断是不是闰年
这段代码将函数的定义放在了调用之后，这时，编译器报出了一个警告
这是因为C语言编译器对源代码进行编译的时候，是从第一行开始往下扫描的，当遇到函数调用时，发现前面并没有函数的定义，就报出了上述的警告。那么该如何解决这个问题呢？我们只需要在函数调用之前，先声明一下这个函数，声明函数只需要交代清楚：函数名，函数的返回类型和函数的参数，如下：
int is_leap_year(int); 就是一个函数的声明，这样就能够正常编译了。所以，函数在调用的时候，一定要满足先声明后使用。函数的定义也是一种特殊的声明，所以如果函数定义放在了调用之前，就不需要再额外声明了。
7.2 多个文件
一般在写大型项目时，代码可能比较多，如果将所有代码都放在一个文件中，往往会比较混乱，所以，在代码量比较大时，我们会根据程序的功能，将代码拆分放在多个文件中。
一般情况下，函数的声明、类型的声明放在头文件（.h）中，函数的实现放在源文件（.c）中
例：写一个加法函数
如图，我们可以将函数的声明放到add.h头文件中，将函数的功能写在add.c文件中，函数的调用写在test.c文件中，但是这个时候，在test.c文件中要包含add.h头文件，才能够正常执行。执行结果如下
8.static和extern
static和extern都是C语言中的关键字，static时静态的意思，可以用来修饰局部变量、全局变量、函数。extern时用来声明外部符号的
8.1 static修饰局部变量
先来看这段代码，test函数中的局部变量a时每次进入test函数先创建变量（生命周期开始），并赋值为1，然后++，再打印，出函数的时候，变量生命周期将要结束（释放内存）。那如果将代码改为下图呢？
从输出的结果来看，a的值有累加的效果，其实test函数中的a创建好后，出函数的时候是不会销毁的，重新进入函数也就不会重新创建变量，直接上次累积的数值继续计算。
结论：static修饰局部变量改变了变量的生命周期，生命周期改变的本质是改变了变量的存储类型，本来一个局部变量是存储在内存的栈区的，但是被static修饰后存储到了静态区。存储在静态区的变量和全局变量是一样的，生命周期就和程序的生命周期一样了，只有程序结束，变量才销毁，内存才回收，但是作用域是不变的。
8.2 static修饰全局变量
如图，在add.c中定义了一个全局变量g_val，然后在test.c中要使用这个变量，这里需要用到extern关键字，extern是用来声明外部符号的。程序结果如下
那如果在全局变量g_val前面加一个static呢？
这个时候程序会报错，g_val变成了一个无法解析的外部符号。
结论：一个全局变量被static修饰，使这个全局变量只能在本源文件内使用，不能在其他源文件内使用。本质原因是全局变量是默认具有外部链接属性的，在外部的文件中想要使用，只要适当的声明就可以使用；但是全局变量被static修饰之后，外部链接属性就变成了内部链接属性，只能在自己所在的源文件内部使用了，其他源文件，即使声明了，也是无法正常使用的。
8.3 static修饰函数
如图，在add.c中定义了一个Add函数，在test.c中调用它，但是这个函数被static修饰了，所以也无法正常使用，原理同上，本质原因是函数默认具有外部链接属性，一个函数在整个工程中都可以使用，但是被static修饰后，就只能在本文件内部使用，其他文件无法正常的链接使用。
2901
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
