目标文件里有什么——揭秘目标文件

程序源代码被编译后生成的机器指令被放在代码段（.text）；全局变量和局部静态变量被放在数据段( .data )；除此之外还有程序里边的只读变量（如const修饰的变量）和字符串常量被分配在只读数据段( .rodata )，注释信息段( .comment )，堆栈提示段（.nute.GNU-stack）。

未初始化的全局变量和静态局部变量的默认值都是0，为他们在数据段分配空间是不必要的，所以将它们放在 .bss 的段中。 在.bss这个空间中，只是为未初始化的全局变量和静态局部变量预留位置而已，并不做其他工作，没有内容，不占内存空间。等到最终链接成可执行文件的时候再在 .bss 段分配空间。 

程序源代码被编译后主要被分成两部分：程序指令和程序数据。代码段（.text）属于程序指令，数据段( .data )和 .bss属于程序数据。

将程序指令和程序数据分开的优势有三：

（1）两者权限不同，可以防止被改写。数据区域对进程来说是可读可写的，而指令区域只读，放在不同的区域也就是说放在两个不同的续存区域，可以防止程序的指令被改写。

（2）chcha（缓存）中数据缓存和指令缓存相分离。程序的指令和数据分开对提高CPU的缓存命中率有很大的好处。

（3）在子进程中，程序段是可以共享的，但是数据段是私有的。系统中运行着多个程序的副本的时候，指令都是一样的，只需要保存一份指令即可 。

段表：

 段表是保存段的基本属性的结构，描述了每个段的信息，包括每个段的段名，短的长度，在文件中的偏移，读写权限以及其他的属性。可以说，段结构是由段表决定的，编译器，连接器和装载器都是依靠段表来定位和访问各个段的属性的。段表的结构比较简单，是一个以结构体为元素的数组。数组元素的个数等于段的个数。段表由n个结构体数组组成。数组元素的个数与它的个数相同，其中第一个是无效描述符为NULL，所以一共有的段表数量为数组元素减去一。

sh_name:段名

sh_type:段的类型

​sh_flags:段的标志位

sh_addr:段虚拟地址

sh_offset:段偏移

sh_size:段的长度

sh_addralign:短地址对齐

段的类型：

段的名字只是在编译和链接的过程中有意义，并不能真正的表示段的类型。对于编译器和链接器来说，主要决定段的属性的是段的类型和段的标志位。

链接的接口：符号

在连接中，函数和变量统称为符号，函数名或变量名就是符号名。整个链接过程就是以内符号才能完成。符号表用来管理，记录目标文件中用到的所有符号，每一个定义的符号都有一个对应的值，叫做符号值。对于变量和函数来说，符号值就是它们的地址。

符号表：符号表与段表结构类似，均为结构体数组。

成员包括：

st_ name:符号表。包含该符号名在字符串表中的下标

st_value:符号相对应的值，可能是一个绝对值，也可能是一个地址。不同的符号所对应的值的含义不同。

st_size:符号大小。对于包含数据的符号，这个值是该数据类型的大小。比如一个double类型的符号占8个字节，如果这个值为4，表示这个符号占4个大小的字节。

st_info:符号类型和绑定信息。

st_shndx：符号所在的段。

符号修饰与函数签名：编译器在函数或者变量的前后加上一些前缀与后缀避免名字冲突。

由于不同的编译器采用不同的名字修饰方法，必然会导致由不同的编译器编译产生的目标文件无法正常相互链接，这是导致不同的编译器之间不能互相操作的主要原因。