《程序员的自我修养》p3 关于目标文件

在这里插入图片描述

目标文件的格式

目标文件中的信息以“段”的形式存储:

  • 程序源代码编译后的机器指令经常被放在代码段:.code 或 .text
  • 已初始化的全局变量和局部静态变量经常放在数据段:.data
  • 未初始化的全局变量和局部静态变量保存在 .bss段,
    注意:.bss段为未初始化的全局变量和局部静态变量预留位置,并没有内容,所以它在文件中也不占据空间

在这里插入图片描述

挖掘SimpleSection.o

objdump命令是Linux下的反汇编目标文件或者可执行文件的命令,它以一种可阅读的格式让你更多地了解二进制文件可能带有的附加信息。
在这里插入图片描述
在这里插入图片描述

主要段在ELF文件中结构如下所示:

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

ELF文件结构
在这里插入图片描述

文件头 /usr/include/elf.h

在这里插入图片描述
ELF文件头定义:

在这里插入图片描述
在这里插入图片描述

段表

段表描述了ELF文件中各个段的信息,ELF文件的段结构就是由段表决定的,编译器、链接器和装载器都是依靠段表来定位和访问各个段的属性的

段表的结构:
以Elf32_Shdr结构体为元素的数组,数组元素的个数等于段的个数,每个结构体都对应一个段,Elf32_Shdr又被称为段描述符
在这里插入图片描述

重定位表

.rel.text段,类型为SHT_REL,这是一个重定位表
链接器在处理目标文件时,代码段和数据段中那些对绝对地址引用的位置,需要重定位;这些重定位的信息就记录在ELF文件的重定位表中,对于每个需要重定位的代码段或数据段,都会有一个相应的重定位表,比如“.rel.text”就是针对“.text”段的重定位表;
一个重定位表同时也是ELF文件中的一个段,这个段的类型就是“SHT_REL”

关于bss段
通过读文件头,就能知道段表的位置,段表中记录了所有段的属性信息

链接:所有obj文件的global符号进行处理;local的符号不做任何处理
符号解析:所有obj符号表中对符号引用的地方都要找到该符号定义的地方
编译过程之中:不分配内存地址;

链接的接口—符号

在链接中,目标文件之间相互拼合实际上是目标文件之前对地址的引用,即对函数和变量的地址的引用
在链接中,我们将函数和变量统称为符号,函数名或变量名就是符号名
在这里插入图片描述

关于符号的管理:每一个目标文件都有一个相应的符号表,记录了该目标文件中用到的所有符号;每个定义的符号都有一个对应的值,叫做符号值;对于变量和函数来说,符号值就是他们的地址。

ELF符号表结构
ELF文件中的符号表往往是文件中的一个段,段名一般叫“.symtab”。符号表的结构是Elf_32(32位ELF文件)结构的数组,每个Elf_32结构对应一个符号
在这里插入图片描述
特殊符号
在这里插入图片描述

符号修饰与函数签名
extern “C”
C++为了与C兼容,在符号管理上,C++有一个用来声明或定义一个C的符号的extern“C”关键字用法
在这里插入图片描述

C++编译器会将在external“C”的大括号内的代码当做C语言处理
我们会遇到有些头文件声明了一些C语言的函数和全局变量,但是这个头文件可能会被C语言代码或C++代码包含。如果有一个C语言的函数在C++代码中被使用,编译器可能会对其进行修饰,导致其无法与C语言库中相对应的符号进行链接,所以我们使用extern “C”来声明此函数;
C++的宏 “_cplusplus”,我们可以使用条件宏来判断当前编译单元是不是C++代码
举个栗子:
在这里插入图片描述

如果当前编译单元是C++代码,那么memset会在extern “C”里面被声明;如果是C代码,就直接声明

弱符号与强符号
编译器默认函数和初始化了的全局变量为强符号,未初始化的全局变量为弱符号

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值