C++ 从源文件.cpp到可执行文件.exe经历了什么?
Step 0. Prepossing Phrase (.cpp -.i)
编译器Compiler 处理头文件#include, 宏定义#define, 条件编译指令
告诉当前源文件.cpp调用的函数接口存在,但是是否实现与编译器Compiler无关。
具体做法是复制将头文件展开(复制)到当前文件中。
这个Phrase完成后仍然是人类语言。
Step 1. Compilation Phrase (.i - .obj)
编译器compiler将.i文件翻译成机器语言binary language ,生成目标文件.obj
无论该文件内部函数功能是否在程序中被调用,每个.cpp文件都会生成一个对应的.obj文件,但是可执行文件.exe只会生成一个。
当然也可以手动选择不编译该文件,Linker 优化功能可能会省略那些未被调用的.obj文件.
Step 2. Liking Phrase (.obj - .exe)
简单讲,Linker通过每个文件(包含库文件)之间的关系将多个文件整理起来。
Linker的2个真正功能:
- Symbol Resulotion: 找到所有
.obj文件当中的'未识别符号'的定义; - Relocation: 把所有代码段、数据段安排到最终的
.exe地址空间中。
注1. 如果函数前标注了static,那么函数只在当前.cpp文件中可见。
注2. 如果函数调用了2个同名函数,会引发Linker Error , 因为Linker无法判断调用的是哪个,但是确实存在。
注3. 如果只存在函数声明,不存在实现,而该函数恰好被调用,会引发Linker Error。
Compiler 只和接口(声明)对接,Linker才会寻找是否真的存在。