我正在阅读有关C语言中的库的信息,但尚未找到关于什么是目标文件的解释。其他任何编译文件和目标文件之间的真正区别是什么?
如果有人可以用人类的语言解释,我会很高兴。
我正在阅读有关C语言中的库的信息,但尚未找到关于什么是目标文件的解释。其他任何编译文件和目标文件之间的真正区别是什么?
如果有人可以用人类的语言解释,我会很高兴。
Answers:
目标文件是编译阶段的实际输出。它主要是机器代码,但是具有允许链接程序查看其中包含哪些符号以及其正常工作所需的符号的信息。(作为参考,“符号”基本上是全局对象,函数等的名称。)
链接器获取所有这些目标文件并将它们组合成一个可执行文件(假设它可以,即:没有任何重复或未定义的符号)。如果您不告诉他们使用命令行选项“仅进行编译”,那么很多编译器都会为您执行此操作(阅读:它们自己运行链接器)。(-c
是常见的“仅编译;不链接”选项。)
对象文件是已编译文件本身。两者之间没有区别。
通过链接目标文件形成可执行文件。
目标文件包含CPU可以理解的低级指令。这就是为什么它也称为机器代码的原因。
此低级机器代码是指令的二进制表示形式,您也可以直接使用汇编语言编写指令,然后使用汇编器将汇编语言代码(以英语表示)处理为机器语言(以Hex表示)。
这是针对高级语言(例如C)的代码的此过程的典型高级流程
->经过预处理器
->提供优化的代码,仍然在C中
->通过编译器
->给出汇编代码
->经过一个汇编程序
->以机器语言给出存储在目标文件中的代码
->通过链接器
->获取可执行文件。
该流程可能会有一些变化,例如,大多数编译器可以直接生成机器语言代码,而无需通过汇编程序。同样,他们可以为您做预处理。尽管如此,分解组成部分以更好地理解还是很不错的。
有3种目标文件。
以可以在链接时与其他可重定位目标文件组合的形式包含机器代码,以形成可执行目标文件。
如果您a.c
有源文件,要使用GCC创建其目标文件,应运行:
gcc a.c -c
整个过程将是:预处理器(cpp)将在ac上运行。其输出(仍然是源)将输入到编译器(cc1)中。其输出(汇编)将输入到汇编器(如),从而产生relocatable object file
。该文件包含目标代码和链接(如果-g
使用,则进行调试)元数据,并且不能直接执行。
可重定位目标文件的一种特殊类型,可以在加载时或运行时动态加载。共享库就是这类对象的一个例子。
包含可以直接(通过加载程序,例如execve)加载到内存中并随后执行的机器代码。
通过多个运行链接器的结果relocatable object files
是executable object file
。链接器通过将所有相同类型的输入部分(例如.data
)合并到相同类型的输出部分,从左到右合并命令行中的所有输入目标文件。它使用symbol resolution
和relocation
。
链接时static library
,将输入对象中引用的功能复制到最终可执行文件中。dynamic libraries
而是使用符号表创建,这将允许与库的函数/全局变量动态链接。因此,结果是部分可执行的目标文件,因为它取决于库。如果该库不存在,则该文件将不再执行。
链接过程可以如下进行:
ld a.o -o myexecutable
命令:gcc a.c -o myexecutable
将调用在点1和点3提到的所有命令(cpp-> cc1-> as-> ld 1)
1:实际上是collect2,它是ld的包装。