编译过程详解

程序编译过程分析

Preprocessing
用于将所有的#include头文件以及宏定义替换成其真正的内容，预处理之后得到的仍然是文本文件，但文件体积会大很多。gcc的预处理是预处理器cpp来完成的，实现时可以直接使用cpp命令，直接gcc也行;

Compilation
将经过预处理之后的程序转换成特定汇编代码(assembly code)（不同机型灰汇编语言不一样）的过程，想深入学习可以学习编译原理这门科目，相关书籍也是很多;

Assemble
汇编过程将上一步的汇编代码转换成机器码(machine code)，这一步产生的文件叫做目标文件，是二进制格式。gcc汇编过程通过as命令完成;

Linking
链接过程将多个目标文以及所需的库文件(.so等)链接成最终的可执行文件(executable file)。

1.预处理，生成预编译文件（.文件）：
    Gcc –E hello.c –o hello.i
2.编译，生成汇编代码（.s文件）：

    Gcc –S hello.i –o hello.s
3.汇编，生成目标文件（.o文件）：
    Gcc –c hello.s –o hello.o
4.链接，生成可执行文件：
    Gcc hello.o –o hello

链接过程的具体详解

在成功编译之后，就进入了链接阶段。在这里涉及到一个重要的概念：函数库。

读者可以重新查看这个小程序，在这个程序中并没有定义”printf”的函数实现，且在预编译中包含进的”stdio.h”中也只有该函数的声明，而没有定义函数的实现，那么，是在哪里实现”printf”函数的呢？最后的答案是：系统把这些函数实现都被做到名为libc.so.6的库文件中去了，在没有特别指定时，Gcc会到系统默认的搜索路径”/usr/lib”下进行查找，也就是链接到libc.so.6库函数中去，这样就能实现函数”printf”了，而这也就是链接的作用。

函数库一般分为静态库和动态库两种。静态库是指编译链接时，把库文件的代码全部加入到可执行文件中，因此生成的文件比较大，但在运行时也就不再需要库文件了。其后缀名一般为”.a”。动态库与之相反，在编译链接时并没有把库文件的代码加入到可执行文件中，而是在程序执行时由运行时链接文件加载库，这样可以节省系统的开销。动态库一般后缀名为”.so”，如前面所述的libc.so.6就是动态库。Gcc在编译时默认使用动态库。

参考地址：https://blog.csdn.net/xiaohouye/article/details/52084770
https://www.cnblogs.com/CarpenterLee/p/5994681.html