什么是链接？

首先我们需要知道，一个源文件（以.c为例）是经过什么最后形成的一个可执行的文件（windows下为.exe文件）。

一个.c的源文件，要经历

1.预处理：头文件的展开替换

2.编译：将对应的语言转换成为汇编语言

3.汇编：通过汇编指令形成一个可重命名的二进制文件

4.链接：静态链接和动态链接（下面要谈的内容）

这四个步骤才能最终的形成一个可执行的文件。

我们接下来的目的就是要具体的谈一谈链接的过程。如果你对上面的三个步骤还没有一定的了解的话，建议先去学习一下相关的知识。

一个源文件通过汇编之后形成的二进制文件，如果不进行链接的话，最终还是无法被执行的。

而链接的方式分为静态链接和动态链接两种方式。

在静态链接时使用的库我们称之为静态链接库，在动态链接时使用的库我们称之为动态链接库。

这时引出一个新的问题什么是库？

库的含义其实很好理解，比如我们在学习c/c++时，都会使用到各种的标准库，即当一个函数或类大量的被重复使用时，我们可以将这些具有某种功能的大量被重复使用的函数或类封装在一起，形成一个库文件，简称“库”

我们在一个项目中，使用到的函数或者类等可能会出现在其他的源文件中（比如我们常常将函数的定义单独的写在对应的源文件中），那么编译器在链接时就会有两种链接的方式。

• 静态链接：无论是在缺失在标准库还是自己的目标文件中的函数（实际上是以地址的形式进行查询）链接器都会找到他们的地址链接，最终形成一个可执行文件，这个文件可以独立的载入内存中运行！
• 动态链接：链接器将现在项目中的其它文件中寻找部分缺失的地址，形成一个可执行文件，但是这个可执行的文件中任然是缺失部分的地址，此时将可执行文件载入内存中运行时，链接器才会链接上另一部分缺失的地址。

第一种方式形成的可执行文件虽然可以独立的在内存中运行，

1. 但是可执行文件内部拷贝了缺失的目标文件和静态链接库的指令和数据，文件本身的体积会很大。
2. 当系统中存在多个链接同一个静态库的可执行文件时，每个可执行文件中都存有一份静态库的指令和数据，就会造成内存空间的极大浪费。

我们可以在linux下更好的观察这一现象（ linux下默认的是采用动态链接的方式）

首先我创建了一个holle.c的文件 ，并且通过gcc -o holle holle.c形成了一个可执行文件holle

我们通过file holle可以观察到这是一个采用动态链接的方式形成的

那么接下来我再通过相关的指令采用静态链接的方式，形成一个新的可执行文件hollestatic

 接下来我们可以进一步的观察一下两个文件的大小

 大家可以看到静态链接形成的文件比动态链接形成的文件要多出很多倍，如果你有多个程序的话，浪费的内存就会更大！！

所以我们通过的编译器采用的都是动态链接的方式，虽然动态链接相比静态链接在性能上有所下将（下将的幅度很小），我们还是愿意采用这种以极小的时间换取大量的空间的方式。