程序的编译——从源代码到可执行文件

首先引用一段他人的总结：

关于程序的编译和链接
——————————

在此，我想多说关于程序编译的一些规范和方法，一般来说，无论是C、C++、还是pascal，首先要把源文件编译成中间代码文件(目标文件)，在Windows下也就是 .obj 文件，UNIX下是 .o 文件，即 Object File，这个动作叫做 编译（compile）。然后再把大量的Object File合成执行文件，这个动作叫作 链接（link）。

编译时，编译器需要的是语法的正确，函数与变量的声明的正确。对于后者，通常是你需要告诉编译器头文件的所在位置（头文件中应该只是声明，而定义应该放在C/C++文件中），只要所有的语法正确，编译器就可以编译出中间目标文件。 一般来说，每个源文件都应该对应于一个中间目标文件（O文件或是OBJ文件）。


链接时，主要是链接函数和全局变量，所以，我们可以使用这些中间目标文件（O文件或是OBJ文件）来链接我们的应用程序. 链接器并不管函数所在的源文件，只管函数的中间目标文件（Object File），在大多数时候，由于源文件太多，编译生成的中间目标文件太多，而在链接时需要明显地指出中间目标文件名，这对于编译很不方便，所以，我们要给中间目标文件打个包，在Windows下这种包叫“库文件”（Library File)，也就是 .lib 文件，在UNIX下，是Archive File，也就是 .a 文件。 linux 下有动态库和静态库，动态库以.so为扩展名，静态库以.a为扩展名。


总结一下，源文件首先会生成中间目标文件，再由中间目标文件生成执行文件。在编译时，编译器只检测程序语法，和函数、变量是否被声明。如果函数未被声明，编译器会给出一个警告，但可以生成Object File。而在链接程序时，链接器会在所有的Object File中找寻函数的实现，如果找不到，那到就会报链接错误码（Linker Error），在VC下，这种错误一般是：Link 2001错误，意思说是说，链接器未能找到函数的实现。你需要指定函数的Object File.

                                                                                                                ————转载至陈皓老师博客

因为之前看到cvte的招聘上说明掌握编译链接知识优先，所以在这里刨一波编译链接的知识。
这些知识可以参考《操作系统概念》的8.1.2节，地址绑定。
如图所示：

关于动态加载：一个子程序只有在被调用时才会加载，如果之前没有加载，可重定位的链接器将加载所需要的子程序。————不需要操作系统提供特别的支持
优点是：不用的子程序绝不会被加载，减小进程占用的内存。


关于静态链接和动态链接:   ————当初在多益网络面试时就没回答出来（它们的区别）
如上图所示，在加载期间链接的目标模块属于静态链接，而在运行期间加载系统库这一动作属于动态链接。
如果使用静态链接，那么在加载期间由加载程序将要使用的库（和其他目标模块一样）合并到二进制程序镜像中，那么就会导致二进制程序比较大，运行时内存占用也比较多。
而使用动态链接，其概念和动态加载是类似的，那么就节省了内存。而且还可用于库更新。————通常需要操作系统的帮助。
在windows系统下，我们经常看见dll文件，其实就是动态链接库。一般来说，误删的话会导致某二进制程序，即exe无法运行，因为缺少其要使用的库
更详细内容，参考《操作系统概念》8.1节