什么是C中的目标文件?


139

我正在阅读有关C语言中的库的信息,但尚未找到关于什么是目标文件的解释。其他任何编译文件和目标文件之间的真正区别是什么?
如果有人可以用人类的语言解释,我会很高兴。



Answers:


152

目标文件是编译阶段的实际输出。它主要是机器代码,但是具有允许链接程序查看其中包含哪些符号以及其正常工作所需的符号的信息。(作为参考,“符号”基本上是全局对象,函数等的名称。)

链接器获取所有这些目标文件并将它们组合成一个可执行文件(假设它可以,即:没有任何重复或未定义的符号)。如果您不告诉他们使用命令行选项“仅进行编译”,那么很多编译器都会为您执行此操作(阅读:它们自己运行链接器)。(-c是常见的“仅编译;不链接”选项。)


实际上,对于大多数编译器来说,编译阶段的输出是汇编代码,然后编译器调用汇编程序将其转换为目标文件。
克里斯·多德

15
@ChrisDodd:较早的编译器经常出现这种情况。如今,除非您要求,否则编译器不会生成汇编代码,并且通常不会在内部使用它。但是无论哪种方式,汇编都是编译阶段的子阶段,因此,所有这些都是没有意义的。
cHao

2
一个目标文件可以执行吗?
亲爱的

1
@Honey:通常不。即使目标文件是为执行而设计的格式(从根本上来说,它从来都不是),但有关“工作所需的符号”的那部分内容基本上会扼杀交易。甚至您的标准“ hello world”都需要链接到C运行时库。
cHao

74
  1. 对象文件是已编译文件本身。两者之间没有区别。

  2. 通过链接目标文件形成可执行文件。

  3. 目标文件包含CPU可以理解的低级指令。这就是为什么它也称为机器代码的原因。

  4. 此低级机器代码是指令的二进制表示形式,您也可以直接使用汇编语言编写指令,然后使用汇编器将汇编语言代码(以英语表示)处理为机器语言(以Hex表示)。

这是针对高级语言(例如C)的代码的此过程的典型高级流程

->经过预处理器

->提供优化的代码,仍然在C中

->通过编译器

->给出汇编代码

->经过一个汇编程序

->以机器语言给出存储在目标文件中的代码

->通过链接器

->获取可执行文件。

该流程可能会有一些变化,例如,大多数编译器可以直接生成机器语言代码,而无需通过汇编程序。同样,他们可以为您做预处理。尽管如此,分解组成部分以更好地理解还是很不错的。


5
优化代码不会在预处理器阶段或紧随其后立即生成。预处理器仅处理自己的语言,仅此而已。优化发生在编译和组装阶段。
Ignas2526'4

是我们编译后得到的目标文件与机器语言中的可执行文件相同吗?我很困惑,因为您说目标文件是在最后一步的第二步创建的,而最后一步是可执行文件。那么,编译后得到的.0文件是可执行文件吗?
AV94

一个目标文件也不能执行吗?
亲爱的

33

有3种目标文件。

可重定位目标文件

以可以在链接时与其他可重定位目标文件组合的形式包含机器代码,以形成可执行目标文件。

如果您a.c有源文件,要使用GCC创建其目标文件,应运行: gcc a.c -c

整个过程将是:预处理器(cpp)将在ac上运行。其输出(仍然是源)将输入到编译器(cc1)中。其输出(汇编)将输入到汇编器(如),从而产生relocatable object file。该文件包含目标代码和链接(如果-g使用,则进行调试)元数据,并且不能直接执行。

共享对象文件

可重定位目标文件的一种特殊类型,可以在加载时或运行时动态加载。共享库就是这类对象的一个​​例子。

可执行目标文件

包含可以直接(通过加载程序,例如execve)加载到内存中并随后执行的机器代码。

通过多个运行链接器的结果relocatable object filesexecutable object file。链接器通过将所有相同类型的输入部分(例如.data)合并到相同类型的输出部分,从左到右合并命令行中的所有输入目标文件。它使用symbol resolutionrelocation

奖励阅读:

链接时static library,将输入对象中引用的功能复制到最终可执行文件中。dynamic libraries而是使用符号表创建,这将允许与库的函数/全局变量动态链接。因此,结果是部分可执行的目标文件,因为它取决于库。如果该库不存在,则该文件将不再执行。

链接过程可以如下进行: ld a.o -o myexecutable

命令:gcc a.c -o myexecutable将调用在点1和点3提到的所有命令(cpp-> cc1-> as-> ld 1

1:实际上是collect2,它是ld的包装。


11

目标文件就是您编译一个(或多个)源文件时所获得的。

它可以是完全完成的可执行文件或库,也可以是中间文件。

目标文件通常包含本机代码,链接器信息,调试符号等。


2

目标文件是依赖于函数,符号和文本来运行程序的代码。就像旧的电传机一样,需要电传打字才能将信号发送到其他电传机。

处理器需要运行二进制代码的方式相同,目标文件就像二进制代码,但没有链接。链接会创建其他文件,以便用户不必自己编译C语言。将目标文件与某些编译器(如c语言或vb等)链接后,用户可以直接打开exe文件。

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.