编译与链接的过程可分解为4个步骤：预处理、编译、汇编、链接。
1. 预处理
源代码文件和相关#开头预编译指令（#define、#ifdef、#include等）被预处理成一个 .i 文件。
该过程相当于如下命令：
g++ -E helloworld.cpp -o helloworld.i
其中：-E表示只进行预处理；-o表示生成目标文件，可以是 .i、.s、.o文件。
经过预编译后的 .i 文件不包含任何宏定义，因为所有的宏定义已经被展开，并且包含的文件也已经被插入到 .i 文件中。所以当无法判断宏定义是否正确或头文件包含是否正确时，可以查看预处理后的文件来确定问题。
2. 编译
编译过程就是把预处理完的文件进行一系列的词法分析、语法分析、语义分析以及优化后产生相应的汇编代码文件，即：编译器将高级语言翻译成机器语言。
该过程相当于如下命令：
g++ -S helloworld.i -o helloworld.s
其中：-S表示只执行源代码到汇编代码的转换，输出汇编代码。
编译器可以将一个源代码文件编译成一个未链接的目标文件，然后由编译器最终将这些目标文件链接起来形成可执行文件。
3. 链接
把每个源代码模块独立地编译，然后按照要求把它们“组装”起来的过程就是链接。链接的主要内容就是把各个模块之间相互引用的部分都处理好，使得各个模块之间能够正确的衔接。
链接过程主要包括了地址和空间分配、符号决议和重定位等这些步骤。事实上，定义其他模块的全局变量和函数在最终运行时的绝对地址都要在最终链接的时候才能确定。
最基本的静态链接过程如图所示：
每个模块的源代码文件经过编译、汇编成目标文件（如 .o文件），目标文件和库一起链接形成最终可执行文件。
重定位：
对于多个模块，编译器在没法确定地址的情况下会将目标地址设为0，等待链接器将目标多个文件链接起来的时候再将其修正，这个地址修正的过程叫做重定位。
每个目标文件除了拥有自己的数据和二进制代码外，还提供了3个表：未解决符号表、导出符号表、地址重定向表。
- 未解决符号表：提供了所有在该编译单元里引用但是定义并不在本编译单元的符号以及其出现的地址；
- 导出符号表：提供了本编译单元具有定义，并且愿意提供给其他单元使用的符号及其地址；
- 地址重定向表：提供了本编译单元所有对自身地址的引用的记录。
静态链接与动态链接
链接分为静态链接和动态链接。
1. 静态链接：
对函数库的链接是放在编译时期完成的是静态链接。所有相关的目标文件与牵涉到的函数库被链接合成一个可执行文件。这些函数库被称为静态库，通常文件名为“libxxx.a”的形式。
（1）将相关A.cpp编译成A.o文件：g++ -c A.cpp
（2）由*.o文件创建静态库libxxx.a文件：ar cr libXXX.a A.o B.o C.o
（3）显示静态库中的目标文件：ar tv libXXX.a
（4）使用静态库文件：g++ -o targetName *.cpp -L. -lXXX.a
2. 动态链接：
动态链接把对一些库函数的链接载入推迟到程序运行时期，即动态链接库，通常文件名为“libxxx.so”的格式。
动态链接库编译与使用方法：
（1）将A.cpp生成A.o文件：g++ -fPIC -o A.o -c A.cpp
（2）由*.o文件创建动态库：g++ -shared -o libXXX.so A.o B.o
（3）一句话搞定：g++ -fPIC -shared -o libXXX.so A.cpp B.cpp
g++与gcc的区别
两者都可以编译C和C++代码，区别在于：
- 后缀是.c的，gcc把它当做是C程序，而g++当做是C++程序；后缀为.cpp的，两者都会认为是C++程序；
- 编译阶段，g++会调用gcc，对于C++代码，两者是等价的；链接阶段，gcc命令不能自动和C++程序使用的库链接，所以通常使用g++来完成链接。
目标文件类型
目标文件有3种类型：
1. 可重定位的目标文件：
这是由汇编器汇编生成的 .o文件，链接器拿一个或一些可重定位的目标文件作为输入，经链接处理后，生成一个可执行文件或一个可被共享的对象文件（ .so文件）。
2. 可执行的目标文件
3. 可被共享的目标文件：
这些就是所谓的动态库文件，也即 .so文件。如果拿静态库来生成可执行程序，那每个生成的可执行程序中都会有一份库代码的拷贝，会占用磁盘空间和宝贵的物理内存，使用动态库就能避免这个问题：(1) .so文件和其他 .so或 .o文件输入到链接器，经链接处理后生成另外的 .so文件或可执行的目标文件；(2)在运行时，动态链接器拿它和一个可执行的目标文件一起另外一些 .so文件来一起处理，在Linux系统里面创建一个进程映像。
2293
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
