编译原理

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

在此，我想多说关于程序编译的一些规范和方法，一般来说，无论是C、C++、还是pas，首
先要把源文件编译成中间代码文件，在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 文件。

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