C语言函数详解
一.函数的概念
说到函数，我们可能第一个想到数学中的各种函数，如一次函数，二次函数等。在C语言中，为了更好地实现功能，也为我们引入了函数（function）的概念，有些翻译为：⼦程序，⼦程序这种翻译更加准确⼀些。C语⾔中的函数就是⼀个完成某项特定的任务的⼀⼩段代码。
C语言中的函数有库函数和自定义函数两种，我们着重讲解自定义函数。
二.库函数和头文件
1.库函数
C语言标准中规定了C语言的各种语法规则，但C语言并不提供库函数；C语言的国际标准ANSI C规定了一些常用的函数的标准，被称为标准库，不同的编译器厂商根据ANSI提供的C语言标准就给出了一系列函数的实现。这些函数就被称为库函数。比如：printf,scanf等。这些函数的功能都是已经实现好的，只需要我们按需使用就好了。
2.库函数的使用
当我们遇到一些陌生的库函数时，我们可以通过C/C++官网：https://legacy.cplusplus.com/doc/tutorial/来进行学习。
比如我们要学习使用printf函数，我们可以打开官网，然后搜索printf 函数。
我们可以看到，printf函数的作用是将数据按照格式打印在屏幕上，返回值是int类型，接收一个字符串，包含了要被打印的文本。
它的具体返回值是：当打印成功时，返回打印在屏幕上字符的个数，如果失败，就返回一个负数，后面会有一个关于printf返回值的有趣代码。
3.头文件
在使用库函数的时候，我们要在程序中包含头文件，各种编译器的标准库中提供了一系列的库函数，这些库函数根据功能的划分，都在不同的头文件中进行了声明，库函数相关头文件https://zh.cppreference.com/w/c/header在上面这个链接中。
三.自定义函数
上面我们讲了库函数，库函数的功能是已经实现好的，只需要我们自己使用就好，那自定义函数应该就是由我们自己按照需求来实现的函数。通过我们自己定义实现的函数，可以提高我们的程序开发效率，也能给我们写代码更多创造性。
1.自定义函数的形式（定义）
type name(形式参数)
{
}
type：是函数的返回类型，可以是int、double或者是void型，void表示这个函数结束后什么都不返回
name：是函数名字，只要有意义即可。
() 中放的是形式参数。
{} 中放的是函数体。
我们可以形象的把函数看作是一个工厂，形参就是原材料，工厂中的生产过程就是函数体内部的操作，返回值就是产品。
2.自定义函数的实现
比如，我们要写一个函数进行整数的加法运算，加法运算我们知道要有两个整数作为加数，然后结果得到一个整数。根据以上分析我们就可以写出加法函数了：
int Add(int x, int y)
{
return x + y;
}
这样我们的加法函数就实现好了，那么该如何使用呢？我们知道main函数是一个程序的入口，所以要使用加法函数一定要在main函数中调用。
int Add(int x, int y)
{
return x + y;
}
int main()
{
int x = 0;
int y = 0;
scanf("%d %d", &x, &y);
int ret = Add(x, y);
printf("%d", ret);
return 0;
}
函数的定义一定要在main函数外定义。
四.形参和实参
在函数传参过程中我们把参数分为形参和实参。借助上面加法函数的代码我们来分析一下哪些是形参哪些是实参，并说明形参和实参是什么。
1.实参
我们把在调用函数时实际传给函数的参数x和y叫做实际参数，简称实参。
2.形参
这里函数接收实参传来的值的x和y叫做形式参数，简称形参。为什么叫形参呢？实际上我们定义了函数Add而不去调用它，Add函数中的x和y只在形式上存在并不会向内存申请空间。形式参数只有在函数被调用的过程中为了存放实参传递过来的值，才向内存申请空间这个过程就是形式的实例化。
3.形参和实参的关系
我们知道，形参用来接收实参传递过来的值，但是形参只有在函数被调用时才会向内存申请空间，那么形参和实参使用的应该是不一样的空间，是不是这样呢？我们通过调试来看一下。
确实和我们想的一样，形参和实参使用的不是同一块空间。因此，我们可以把形参看作是实参的一份临时拷贝。
4.return语句
在main函数中我们都会加一句**return 0；**在这里我们讲一下return语句使用时的注意事项：
1.return后边可以是一个数值，也可以是一个表达式，如果是表达式则先执行表达式，再返回表达式的结果。
2.在返回类型是void时，函数中return的后面可以什么都不写，也可以直接将return语句省略不写。
3.return返回的值和函数返回类型不一致时，系统会自动将返回的值隐式转换为函数的返回类型。
4.return语句执行结束后函数彻底返回，后面的语句不再执行。
5.在函数中存在if等分支语句，要保证每一种情况都有return，否则会有编译错误。
五.数组作函数参数
在我们调用函数时，难免会将数组作为参数传递给函数，在函数内部对数组进行操作。比如，我们写一个函数来对数组的每一个元素进行打印：
void Print_Arr(int arr[], int sz)
{
int i = 0;
for (i = 0; i < sz; i++)
{
printf("%d ", arr[i]);
}
}
int main()
{
int arr[] = { 1,4,7,2,5,8,3,6,9 };
int sz = sizeof(arr) / sizeof(arr[0]);
Print_Arr(arr, sz);
return 0;
}
其实，在数组进行传参时，形参是不会创建一个新的数组的，形参操作的和实参是同一个数组。（数组传参的本质是将数组首元素的地址传递给函数）
在进行数组传参时还需要我们注意以下几点：
函数的形式参数要和函数的实参个数匹配
函数的实参是数组，形参也是可以写成数组形式的
形参如果是一维数组，数组大小可以省略不写
形参如果是二维数组，行可以省略，但是列不能省略
六.嵌套调用和链式访问
1.嵌套调用
嵌套调用就是函数之间的互相调用，每个函数就行一个乐高零件，正是因为多个乐高的零件互相无缝的配合才能搭建出精美的乐高玩具，也正是因为函数之间有效的互相调用，最后写出来了相对大型的程序。
假设我们计算某年某月有多少天?如果要函数实现，可以设计2个函数:
is_leap_year():根据年份确定是否是闰年
get_days_of_month():调用is_leap_year确定是否是闰年后，再根据月计算这个月的天数
int is_leap_year(int year)
{
if ((year % 4 == 0) && (year % 100 != 0) || (year % 400 == 0))
return 1;
else
return 0;
}
int get_days_of_month(int year, int month)
{
int days[] = { 29,31,28,31,30,31,30,31,31,30,31,30,31 };
int day = days[month];
if (is_leap_year(year) && month == 2)
{
day = days[0];
}
return day;
}
int main()
{
int year = 0;
int month = 0;
scanf("%d %d", &year, &month);
int day = get_days_of_month(year, month);
printf("%d", day);
return 0;
}
这段代码，完成了一个独立的功能，代码中用了多个函数的调用。在main函数中调用了scanf、printf、get_days_of_month
在get_days_of_month函数中又调用了is_leap_year函数。函数可以嵌套调用但是不能嵌套定义
2.链式访问
链式访问就是将一个函数的返回值作为另一个函数的参数，像链条一样将函数串起来就是函数的链式访问。
比如：我们上面讲的加法函数，在printf中Add的返回值作为了printf的参数。
下面我们看一下在printf函数讲解时提到的有趣代码：
int main()
{
printf("%d", printf("%d ", printf("%d ", 43)));
}
上面讲到printf的返回值是打印在屏幕上字符的个数。那我们来分析一下这段代码：
从后往前看，第一个printf打印43和一个空格，返回值是3，第二个printf函数打印3和空格，返回2，最后一个就打印2了。图解如下（空格用下划线替代）：
看一下运行结果
七.函数的定义和声明
1.函数的定义
int Add(int x, int y)
{
return x + y;
}
像这样就是函数的定义。
2.函数的声明
int get_days_of_month(int year, int month)
{
int days[] = { 29,31,28,31,30,31,30,31,31,30,31,30,31 };
int day = days[month];
if (is_leap_year(year) && month == 2)
{
day = days[0];
}
return day;
}
int main()
{
int year = 0;
int month = 0;
scanf("%d %d", &year, &month);
int day = get_days_of_month(year, month);
printf("%d", day);
return 0;
}
int is_leap_year(int year)
{
if ((year % 4 == 0) && (year % 100 != 0) || (year % 400 == 0))
return 1;
else
return 0;
}
上面代码，如果我们将is_leap_year放在main函数下，编译器会报警告
这是因为C语言编译器对源代码进行编译的时候，从第一行往下扫描的，当遇到is_leap_year函数调用的时候，并没有发现前面有is_leap_year的定义，就报出了上述的警告。
解决这个问题很简单，只需要在调用之前声明一下这个函数。函数的声明：
int is_leap_year(int year);
函数的声明就是在函数定义的圆括号后加分号然后再去掉函数体。函数的声明中参数只保留类型去掉名字也是可以的。
函数的调用一定要先声明后调用，函数的定义也是一种声明，所以函数的定义放在调用之前也是可以的。
3.多个文件时函数的声明和定义
一般在企业中我们写代码时候，代码可能比较多，不会将所有的代码都放在一个文件中；我们往往会根据程序的功能，将代码拆分放在多个文件中。
一般情况下，函数的声明和类型的声明放在头文件（.h）文件中，函数的实现放在源文件(.c)中。
在test.c文件中我们要使用Add函数应包含Add.h
这里我们用双引号==(" ")==包含头文件。
八.static和extern
static和extern是C语言中的两个关键字，在讲这两个关键字之前我们先讲一下作用域和生命周期。
1.作用域
作用域（scope）是程序设计概念，通常来说，一段程序代码中所用到的名字并不总是有效（可用）的，而限定这个名字的可用性的代码范围就是这个名字的作用域。
局部变量的作用域是局部变量所在的局部范围。
全局变量的作用域是整个项目。
对于局部变量a的作用域就是红色框中的{}。第二个printf中使用a变量就会报错。
2.生命周期
生命周期指的是变量的创建(申请内存)到变量的销毁(收回内存)之间的⼀个时间段。
局部变量的生命周期是：进入作用域生命周期开始，出作用域，生命周期结束。
全局变量的生命周期是这个项目。
3.static
3.1static修饰局部变量
void test()
{
int n = 0;
n++;
printf("%d ", n);
}
int main()
{
int i = 0;
for (i = 0; i < 5; i++)
{
test();
}
return 0;
}
在上面这段代码中test函数中的n是一个局部变量，在进入test函数时创建，出test函数时销毁，因此代码的运行结果应该是5个1。
那我们在n前面加上static后会发生什么现象呢？
我们发现代码运行结果变成了1 2 3 4 5，发生这种现象可能是因为n的大小没发生变化，也就是出test函数时n没有被销毁。确实是这样，static修饰局部变量改变了变量的生命周期，生命周期改变的本质是改变了变量的存储类型，本来一个局部变量是存储在内存的栈区的，但是被 static 修饰后存储到了静态区。存储在静态区的变量和全局变量是一样的，生命周期就和程序的生命周期一样了，只有程序结束，变量才销毁，内存才回收。但是作用域不变的。
3.2static修饰全局变量
这里先讲一下extern这个关键字：
在test.c文件中使用a时要先声明一下，extern是用来声明外部符号的，如果一个全局的符号在A文件中定义的，在B文件中想使用，就可以使用extern 进行声明，然后使用。
当我们用static修饰a后会发生什么呢？
这是因为static修饰全局变量后，使全局变量失去了外部链接属性，外部链接属性变成了内部链接属性，使得全局变量只能在自己所在的源文件内部使用了，其他源文件，即使声明了，也是无法正常使用的。
3.3static修饰函数
其实static修饰函数和static修饰全局变量的效果是一样的。
没有static修饰，外部Add函数可以在test.c文件中声明后使用。
加上static后
和static修饰全局变量的效果一样，一个函数在整个工程都可以使用，被static修饰后，只能在本文件内部使用，其他文件无法正常的链接使用了。本质是因为函数默认是具有外部链接属性，具有外部链接属性，使得函数在整个工程中只要适当的声明就可以被使用。但是被 static 修饰后变成了内部链接属性，使得函数只能在自己所在源文件内部使用。
以上我们就讲完了函数的内容，希望对大家有所帮助。
648
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
