C++编译知识笔记（二）——Linux ELF文件解析_linux编译后的目标文件可执行吗

编译器编译源代码后生成的文件叫做目标文件，也就是.o文件，里面包含了可执行的机器码和数据等，这里我们就以Linux平台为例来详细分析下目标文件里面存放的内容。目标文件从结构上讲，和可执行文件基本是一样的，主要区别仅仅是没有经过链接，从而可能有些符号或者地址还没有被调整，但整体是差不多的。这篇文章会以一个目标文件为实例来详细聊一下Linux下的目标文件里究竟有什么，以及它和可执行文件所用到的格式ELF（Executable Linkable Format）。

一、ELF格式概述

Linux下面的可执行文件格式是ELF，是COFF（Common Object File Format，早期的类UNIX系统使用）格式的变种，虽然名字就是可执行文件格式，但不光是可执行文件是这个格式，目标文件也是按这种文件类型来保存的，不光如此，Linux下面一共有四类文件是按照ELF的格式来保存的，如下：

对于一个熟练的linux平台的c/c++开发人员，这些文件类型应该都不陌生。另外，前面提到过，.a的静态链接库可以理解为.o的打包，因此本质上也属于ELF类型。

先不考虑具体的格式，我们已经知道目标文件里保存了我们执行程序所需要的内容，那么显然里面应该有执行所需要的指令和数据，这是最基本的，除此之外，还有链接时所需要的一些信息，比如符号表、调试信息、字符串等。一般目标文件将这些信息按不同的属性和类型，以“段”（section或segment）的形式存储，比如代码段、数据段等。

下图用一个简单的示例直观的表示了程序编译后的ELF目标文件格式（省略了一些段）：

首先会是一个文件头，它描述了这个ELF文件的属性，包括是否是可执行文件、大端还是小端、文件适应的目标硬件架构等。文件头内容如下：

文件头中还有一个段表，包含了各个段的信息，段表如下：

可以看到一共有13各个段，而后面要用到的ojbdump -h命令则会省略一些不关键的辅助性质的段。

文件头后面就是各个段的具体内容。.开头的段都是系统保留段，应用程序也可以使用一些非保留名字来创建自定义段。图里的.text是代码段，保存了编译后的机器码，.data是数据段，保存已经初始化的全局静态变量和局部静态变量，而.bss段则是保存未初始化的全局变量和局部静态变量，这个比较令人困惑的bss的名字主要是因为历史原因。多提一句，这里说的静态变量指的是声明周期是整个程序的变量，在c/c++程序里，所有的全局变量和static 修饰的局部变量属于这一类型，至于全局变量是否由static关键字修饰影响的只是这个全局变量的可见性，加了static的全局变量只在这个编译单元可见，各个编译单元可以有同名的static全局变量。不要把静态变量和static关键字搞混了。

二、常见段及对应用途

除了上面提到的数据代码bss段等，这里贴一下《程序员的自我修养》一书中的一个ELF文件常见段和对应用途总结表：

三、目标文件内容解析

下面以一个修改过的《程序员的自我修养》一书中的例子来实际看看目标文件的各个段的情况

int printf(const char* format , ...);

int global_init_var = 1;
int global_uninit_var;

void func1(int i){
	printf("%d\n", i);
}
int main(void){
	static int static_init_var = 2;
	static int static_uninit_var;
    static const int static_const_init_var = 3;
	static const int static_const_uninit_var;
	const int const_init_var = 4;
	int init_var = 5;
	int uninit_var;
	func1(static_init_var + static_uninit_var + static_const_uninit_var + static_const_uninit_var + init_var + uninit_var);
	return init_var;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

gcc -c test.c编译得到text.o，经objdump命令查看段情况如下：

可以看到有id从0-5的6个段（省略了非关键的段），使用objdump -s -d test.o命令可以看到各段存放的内容按16进制展示如下:

而3（.bss）因为没有实际内容所以不包含在里面，其中4、5、6是辅助功能用到的段，这里先不讨论，下面我们看下0 1 2 3三个段，也就是代码段.text，只读数据段.rodata，数据段.data，以及.bss段。

3.1 代码段.text

代码段里保存的都是机器码，用objdump -s -d test.o命令可以得到反汇编之后的汇编代码，内容如下：

这里不过多解释汇编语句，可以看到内容对应我们写的两个函数。

3.2 只读数据段.rodata

.rodata，根据字面意思就很好理解，read only data，和.data段类似，但是是保存只读的静态常量，

可以看到有两个只读数据，因为字节序（大端小端）的关系字节的顺序和我们的习惯顺序是反着的，0x25640a00是"%d\n"对应的asc2妈加上一个结束的\0，而0x03000000则是对应的static const int static_const_init_var = 3;

只有静态变量或者常量才有必要提前定义在数据段里，所以可以看到const int const_init_var这种并不会保存在数据段里，而是直接在指令里写死临时分配在栈上，可以参考text段的汇编代码。

3.3 数据段.data

数据段保存已经初始化的全局静态变量和局部静态变量，0x01000000和0x02000000分别对应int global_init_var = 1;和static int static_init_var = 2;

3.4 .bss段

.bss段（Block Started by Symbol）则保存未初始化的全局变量和局部静态变量，实际上只是place holder，不会保存实际内容，可以说是通过.bss段给变量预留空间，不需要占用ELF文件的空间，加载到内存里才会实际占用空间。上面的例子里我们也能看.bss段在列表里，但并没有.bss段的内容。需要注意的一种特殊情况是初始化为0也有可能被编译器当成未初始化放在.bss段里以节省空间。

可以总结为：

• Uninitialized global/static data
• “Block Started by Symbol”
• “Better Save Space”
• Has section header but occupies no space

这个名字不像其他段那么直观，有兴趣进一步深入了解的可以参照【参考4】和【参考5】。

3.5 重定位表（Reloacation Table）相关段.rela.xxx

重定位表是用于链接阶段的重定位的，在独立地生成每个编译单元的时候很多变量和函数的地址是没法确定的，需要在链接阶段进行修正，后续静态链接会详细说明这个过程，这里先看下重定位表的结构，每一个需要重定位操作的段都会对应一个重定位表段，比如.text对应了一个.rela.text，可以用objdump -r命令查看，可以看到上面的示例程序有两个重定位表段，分别是.text的和.eh_frame的。

以printf的调用，也就是.text重定位表中的第2行为例，这行是说OFFSET为1b的地方需要后续链接阶段重定位，.text段的1b位置正是对printf的call指令的寻址部分，也就是printf的地址需要重定位，重定位类型为R_X86_64_PC32，这是一种相对寻址的重定位类型，后续聊静态链接的时候再展开讲。

3.6 字符串表.strtab和.shstrtab

ELF文件中用到了很多字符串，比如段名、变量名等，通常由.strtab和.shstrtab两个段保存，分别为字符串表（string table）和段表字符串表（section header string table），前者用来保存普通的字符串，比如符号的名字，后者用来保存段表中用到的字符串，比如段名。因为字符串是变长的，这里采取的是连续保存并用\0分割，通过offset来获取。

我们可以用readelf命令打出来：


这里贴个ascii码表方便对照着看：

比如.strtab这个字符串，2e7374 72746162就是对应内容，前后各有一个\0，因此有一个为9的offset就可以获取到。

3.7 符号表.symtab

要将多个目标文件链接在一起，本质上就是将各个目标文件的内容合并后并且能保证运行时互相的变量访问和函数调用正常，也就是对内外部函数和变量的访问都能找到正确的地址，在链接中将函数和变量统称为符号，函数名或变量名就是符号名，整个链接过程的核心就是根据符号来确定正确的地址。每一个目标文件都会有一个相应的符号表（Symbol Table，.symtab段），记录了目标文件所用到的所有符号，注意是所用到的所有，不管包含在内部的符号还是外部符号。每个定义的符号有一个对应的值，叫符号值，对于变量和函数来说，就是他们的地址。

符号有不同的类型，上图说明了：
（1）func1和main的类型是T，说明是在.text段，且全局可见。
（2）global_init_var的类型是D，表明是全局可见且在.data段的。
（3）global_uninit_var的类型是C，表明是全局可见的在common块的。
（4）printf的类型是U，说明是未定义的，该符号在编译单元外部。
（5）static_const_init_var的类型是r，说明在.rodata段。
（6）static_const_uninit_var和static_uninit_var的类型是b，说明在.bss段。
（7）static_init_var的类型是d，表明是局部可见且在.data段，大小写表明了可见性。

【参考】
1.《程序员的自我修养—链接、装载与库》
2.https://stackoverflow.com/questions/64626917/global-variables-and-the-data-section
3.https://stackoverflow.com/questions/1856599/when-to-use-static-keyword-before-global-variables
4.https://www.cnblogs.com/idorax/p/6400210.html
5.https://en.wikipedia.org/wiki/.bss