目标代码文件、可执行文件和库
C编程的基本策略是使用程序将源代码文件转换为可执行文件，此文件包含可以运行的机器语言代码。C分两步完成这一工作：编译和链接。编译器将源代码转换为中间代码，链接器将此中间代码与其他代码相结合来生成可执行文件。C使用被划分为两部分的这一方法使程序便于模块化。我们可以分别编译各个模块，然后使用链接器将编译过的模块结合起来。这样，如果需要改变一个模块，则不必重新编译所有其他模块。同时，链接器将自己的程序与预编译的库代码结合起来。
中间文件的形式有多种选择。最一般的选这，同时也是大部分C程序员的选择，是将源代码转换为机器语言代码，将结果放置在一个目标代码文件（简称为目标文件）中。虽然目标文件包含机器语言代码，但该文件还不能运行。目标文件包含源代码的转换结果，但该转换结果并不是一个完整的程序。
目标代码文件中的所缺少的第一个元素的一种叫做启动代码（start-up code）的东东，此代码相当于自己程序和操作系统之间的接口。
目标代码中缺少的第二个元素是库函数的代码。几乎所有C程序都利用标准C库中包含的库函数。比如printf（）函数，目标代码文件不包含这一函数的代码，它只包含声明使用printf（）函数的指令。实际代码存储在库中。库文件中包含许多函数的目标代码。
链接器的作用是将这3个元素（目标代码、系统的标准启动代码和库代码）结合在一起，并将它们存放在单个文件，即可执行文件中。对库代码来说，链接器只从库中提取我们编写代码中使用函数所需要的代码。
简而言之，目标文件和可执行文件都是由机器语言指令组成的。但目标文件只包含自己编写的代码转换成机器语言，而可执行文件还包含我们编写代码中使用的库例程以及启动代码的机器代码。
C基础——目标代码文件、可执行文件和库
http://bbs.elecfans.com/jishu_467127_1_1.html
(出处: 中国电子技术论坛)
