C语言—函数—系统整理

1. 什么是函数

函数又名子程序，在计算机科学中，子程序是一个大型程序中的某部分代码， 由一个或多个语句块组成。它负责完成某项特定任务，而且相较于其他代 码，具备相对的独立性。

C语言和其他语言中的函数、子程序、过程作用相同，但是细节上略有不同，一些函数执行某些作用，例如printf（）把数据打印到屏幕上。其次函数可以返回一个值供程序使用。

有些人可能要问，为什么我们要用函数，都直接写下main（）中不是也可以？

• 使用函数可以省去编写重复代码的苦差。

• 可以让程序更加模块化，从而提高程序代码的可读性，方便后期的修改、完善。

2. 函数库、库函数、头文件

函数库：函数库是由系统建立的具有一定功能的函数的集合。库中存放函数的名称和对应的目标代码，以及连接过程中所需的重定位信息。用户也可以根据自己的需要建立自己的用户函数库。

库函数：存放在函数库中的函数。库函数具有明确的功能、入口调用参数和返回值。

头文件：有时也称为包含文件。C语言库函数与用户程序之间进行信息通信时要使用的数据和变量，在使用某一库函数时，都要在程序中嵌入（用#include）该函数对应的头文件。

我初次接触C语言的时候一直不太明白为什么加入了声明，就可以用别的源文件定义的函数？

C语言加入头文件，头文件中包含的都是声明、宏定义等预处理信息，在预处理阶段编译器会将该文件的内容添加到该行的位置，而里面的函数声明是为了告诉编译器，该函数的名字、返回值、形参类型数量等信息之外，还间接说明了在别的源文件或者本文件main函数下面中已经定义，而具体有没有定义，需要看链接程序是否检索的到，如果没有，则会报错。所以在编译的过程中，只要有了声明，编译器就会默认该函数已经被定义，即告诉编译器可以使用这个函数，从而编译通过。

3. 自定义函数

库函数是为了大多数基本运算而生成的。而自定义函数是为了完成个人的、更加复杂的、单一的功能的函数。

ret_type fun_name(para1, * )
{ 
    statement;//语句项
}

ret_type 返回类型
fun_name 函数名
para1    函数参数

4. 函数参数

4.1实际参数（实参）

实际参数是主调函数赋给被调函数的具体值。

实参可以是：常量、变量、表达式、函数等，无论实际参数以何种形式都要被求值，即如果是表达式的形式，在调用之前要计算该表达式求值，再将该值赋给被调函数的形式参数。

实参在传递参数的时候，是从右向左传递的。

4.2 形式参数（形参）

形式参数是指在定义函数时，后括号中的变量，因为形式参数只有在函数被调用的过程中才实例化（分配内存单元），所以和定义在函数中的变量一样，形式参数也是局部变量，属该函数私有，当函数调用完成之后就自动销毁了。这意味着在其他函数中使用同名变量不会引起名称冲突。

5. 函数调用

5.1传值调用

void swap(int x,int y)
{
    int temp;
    temp = x;
    x=y;
    y=temp;
}

int main()
{
    int a = 1;
    int b = 2;
    swap(a,b);
    printf("a=%d,b=%d\n",a,b); 
    return 0 ;
}

这里的a和b的结果并没有交换。因为我们仅仅是吧a和b空间的值赋值给了x和y，仅仅交换x，y的值并不能改变a和b，并且在执行完swap函数之后，x和y的空间就自行还给系统了。

5.2传址调用

传值调用和传址调用本质上都是传递数字，前者是传递变量内部存放的数值。后者传递的变量的地址，地址也是由一串数字构成，我们可以在被调用函数中使用解引用标识符（*）间接的访问该空间，从而改变或者访问该空间的值。

6. 函数的嵌套调用和链式访问

6.1函数的嵌套调用

首先函数可以嵌套调用，不可以嵌套定义。

void test2()
{
    printf("hehe");
}
void test1()
{
     test2();   
}
int main()
{
    test1();
    return 0 ;
}

6.2函数的链式访问

就是把一个函数的返回值作为另一个函数的参数。

结果4321

7. 函数的声明和定义

函数的声明：告诉编译器有一个函数叫什么，参数有哪些，返回类型是什么。但是该函数的具体存不存在，决定不了。

//如果主函数在自定义函数的上面，我们则需要在主函数上声明该函数，否则IDE会报警告。先声明后使用！
//函数声明时，形参的名字可以省略，因为声明只是在说明该参数的类型，并没有实际创建变量，所以写不写都不影响。。
//我们一般在写函数的时候，会把自定义函数卸载别的源文件中（例如game.c），并把头文件、函数声明、宏定义等信息在写对应的头文件中（game.h）。
//但实际上ANSI C也接受    int add();   这种形式的声明，但最终会从标准中去除。
int add(int  a,int  b);     //函数声明形参函数名称可以可不写，如果写了并不一定要和该函的定义的形参函数名一致。
int add(int  , int );       //这里必要的只是返回值、函数名、形参类型等信息，因为这里并没有真正的创建函数。
                            //这列的int主要是规定我们在传递实参的时候的数量、类型。如果数量一致，类型不同，编译器会把实际参数强制转换为形参的类型。但跳出警告，说数据丢失等。
                            //而返回值，和函数名主要是用于我们在链接阶段的时候在各个源文件或者函数库中寻找该函的定义。                                     

int main()
{
    int a = 10;
    int b = 20;
    int sum = add(a,b);
    printf("%d\n",sum);
    return 0;
}
//函数的定义
int add(int x,int y)
{
    return x+y;
}

上面这种函数定义是ANSI C风格的函数头，注意ANSI C也接受之前的形式，但是将视为废弃不用的形式。

void add(x,y)
int x;
char y;
{
    //语句块
}


void add(x,y)
int x,y;
{
    //语句块
}

但是这种形式已经逐渐淘汰，做出演示目的是为了我们在看老代码的时候，明白其中的意思。

我们在实际工作中为什么要将函数的声明和定义分别写在独立的.h和.c文件中？

1.首先有利于我们不同函数之间的调用，因为调用同工程不同源文件下的函数时，我们只需要在需要调用函数的源文件上添加被调用函数的声明即可。

2.一些情况下，我们不想让对方知道该函数的代码内容，那么就可以把程序编译成静态库（.Lib）。这样的话，我们把.h和.Lib文件给别人用时，对方加上.h文件，相当于给了该函数的声明，再将静态库导入（.lib文件），可以让对方知道该函数的具体功能，且不暴露代码内容。

总结：

• .h文件是用于声明函数的。

• .lib文件是隐藏式的具体代码文件。这种方式类似于库函数printf(),我们只需要在使用的使用添加头文件#include“stdio.h”，而该函数的具体实现代码（就是函数库）是一开始就集成在我们开发环境中的，不再需要我们手动导入。

chatGPT的回答:这使得程序更容易维护和修改，因为在.h文件中声明函数，可以让其他程序文件和模块调用该函数，而.c文件中定义函数，可以将函数的实现细节封装起来，从而提高代码的可移植性和可重用性。

8. 函数的递归

程序调用自身的编程技巧称为递归。他就是通常把一个大型发杂的问题层层转化为一个与原问题相似且规模较小的问题来求解。

主要思想：大事化小

递归的两个必要条件：

• 存在限制条件，当满足或者不满足这个限制条件的时候，递归便不再继续（即结束条件）。

• 每次递归调用之后越来越接近这个限制条件。

尾递归：最简单的递归形式，把递归调用至于函数的末尾，即正好return语句之前。这种递归相当于循环。