C++程序形成过程

源程序 -> 预编译 -> 汇编 -> 编译 -> 链接 -> 可执行文件

预编译：展开包含的头文件、宏定义等操作

汇编： 把已经预编译的文件编译成汇编代码的过程，整个过程会包含语法，词法的分析，和一些优化操作。

编译：其实是跟汇编可以合成一个阶段，变成目标代码。也就是二进制文件。

      编译过程会将 那些引用到的在其他文件里面实现的函数将会变成一个特点的符号（如Car类的构造函数 extrn  ??0Car@@QAE@XZ:near ）这些符号称做为解析的符号，表示在链接的时候需要被解析。符号的生成名称具体跟编译器有关，但是会保证一个类的某个函数名称在同一个编译里面必须是唯一的，因为我们在预编译阶段已经把Car.h包含进来所以编译器能正确生成这个函数的名字，然后在链接的时候 会找到改名字的函数，把此标识名字替换为函数的地址。这样就实现的链接。

链接：将单个编译后的文件链接成一个可执行程序。前面的预编译、汇编、编译都是正对单个文件，以一个文件为一个编译单元，而链接则是将所有关联到的编译后单元文件和应用到的库文件，进行一次链接处理，之前编译过的文件 如果有用到其他文件里面定义到的函数，全局变量，在这个过程中都会进行解析。

      在符号解析(symbol resolution)阶段，链接器按照所有目标文件和库文件出现在命令行中的顺序从左至右依次扫描它们，在此期间它要维护若干个集合:(1)集合E是将被合并到一起组成可执行文件的所有目标文件集合；(2)集合U是未解析符号(unresolved symbols，比如已经被引用但是还未被定义的符号)的集合；(3)集合D是所有之前已被加入到E的目标文件定义的符号集合。一开始，E、U、D都是空的。

(1): 对命令行中的每一个输入文件f，链接器确定它是目标文件还是库文件，如果它是目标文件，就把f加入到E，并把f中未解析的符号和已定义的符号分别加入到U、D集合中，然后处理下一个输入文件。

(2): 如果f是一个库文件，链接器会尝试把U中的所有未解析符号与f中各目标模块定义的符号进行匹配。如果某个目标模块m定义了一个U中的未解析符号，那么就把 m加入到E中，并把m中未解析的符号和已定义的符号分别加入到U、D集合中。不断地对f中的所有目标模块重复这个过程直至到达一个不动点(fixed point)，此时U和D不再变化。而那些未加入到E中的f里的目标模块就被简单地丢弃，链接器继续处理下一输入文件。

(3): 如果处理过程中往D加入一个已存在的符号，或者当扫描完所有输入文件时U非空，链接器报错并停止动作。否则，它把E中的所有目标文件合并在一起生成可执行文件。