C++ 怎么编写一个程序链接器(Linker)将多个目标文件合并并重定位符号地址

小丽大大_8541

小丽大大_8541

2026-11-01

826人浏览

原创

Linker的核心任务是解析ELF/COFF格式并处理重定位,而非简单拼接二进制;需依赖libelf等成熟库解析目标文件,正确执行符号解析、地址分配与重定位填空,手工实现易出错且不可靠。

c++ 怎么编写一个程序链接器(linker)将多个目标文件合并并重定位符号地址

Linker 的核心任务不是“写个程序”,而是理解 ELF/COFF 格式与重定位表

你无法用几行 C++ 从零写出生产级 linker(如 ld 或 lld),因为 linker 不是简单拼接二进制——它必须解析目标文件格式(Linux 下主要是 ELF)、读取符号表(.symtab)、处理重定位条目(.rela.text, .rela.data)、解决外部引用、分配虚拟地址、填充 GOT/PLT,并生成可执行头。直接手写等于重实现 binutils 的一半逻辑。

如果你的目标是理解 linker 行为或做轻量实验,正确路径是:复用现有解析库 + 实现关键重定位逻辑,而非从头造轮子。

用 libelf 和 libbfd 解析目标文件比手撕二进制靠谱得多

手动 fread 读 ELF header、section header、symbol table 容易错位(比如忽略 e_ident 字节序、漏掉 sh_offset 偏移计算、混淆 st_value 是绝对地址还是 section 相对偏移)。真实项目都依赖成熟库:

  • libelf(来自 elfutils):轻量、POSIX 友好,适合只读解析;需用 elf_begin()、elf_getscn()、gelf_getsym() 逐层访问
  • libbfd(来自 binutils):支持 ELF/COFF/Mach-O,但 ABI 不稳定、文档差;bfd_openr() + bfd_check_format() + bfd_canonicalize_symtab() 是基础链
  • 不推荐用 std::ifstream + 自定义 struct 读 ELF:Elf64_Shdr 对齐、padding、动态节区顺序都会导致 sizeof(Elf64_Shdr) ≠ 实际磁盘长度

重定位的本质是“填空”:找到指令中的占位符并写入真实地址

例如 x86-64 下一条 call func@PLT 编译后生成的机器码里,调用目标地址是 0(占位),对应一个 R_X86_64_PLT32 重定位项;linker 必须:
① 查出 func 的最终运行时地址(可能来自另一个 .o 文件的 .text 段起始 + 符号偏移)
② 按该重定位类型公式计算填入值(如 S + A - P,其中 S=符号地址, A=加数, P=重定位点地址)
③ 把结果按字节序写回目标文件的 .text 数据块指定偏移处

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载

常见陷阱:

  • 忽略重定位类型差异:R_X86_64_64(写 8 字节)和 R_X86_64_PC32(写 4 字节,带符号扩展)不能混用
  • 符号未定义(UND)却强行解析:必须先做符号合并(STB_GLOBAL 跨文件覆盖规则)、弱符号(STB_WEAK)处理
  • 段地址未对齐就写入:若输出段 .text 要求 16 字节对齐,但重定位点落在第 3 字节,直接写会破坏对齐约束

真正能跑通的最小可行 linker 需要至少三类输入:.o 文件、符号定义列表、内存布局描述

你可以用 C++ 写一个“链接脚本解释器 + 重定位执行器”,但必须依赖外部信息:

  • 输入:一组 .o(用 libelf 解析),一个简易链接脚本(如 SECTIONS { . = 0x400000; .text : { *(.text) } })
  • 过程:遍历所有 .o 的 .symtab 合并全局符号 → 按脚本分配各段基址 → 扫描所有 .rela.* 节区 → 对每个重定位项查符号地址、算值、覆写目标段数据
  • 输出:构造新 ELF 文件头、程序头(PT_LOAD)、写入拼合后的 .text/.data 内容 —— 这步最容易出错,因为 e_phoff、e_shoff、sh_offset 全要手工计算且严格对齐

哪怕只支持两个不含外部库调用的 .o 文件(比如一个定义 add(int,int),一个调用它),你也得处理符号索引重映射、重定位偏移修正、节区字符串表(.shstrtab)重建 —— 这些细节在 readelf -S 和 objdump -dr 输出里藏得很深,不对照看根本没法调试。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关专题

更多
c++和c语言的区别有哪些
c++和c语言的区别有哪些

c++和c语言的区别:1、面向对象编程(OOP)支持不同;2、新增特性不同;3、标准库不同;4、编译方式不同;5、命名空间不同等等。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.14

2288

9

c++和python学习顺序推荐
c++和python学习顺序推荐

一般建议先学习C++,再学习Python,因为这样可以逐步从较为底层的编程语言向更高级的语言过渡。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

1039

6

python和c++学习性价比分析
python和c++学习性价比分析

Python易于学习,广泛应用于Web开发、数据科学和人工智能等领域,但性能较低。C语言性能高,适用于对性能要求较高的场景,如游戏开发和系统编程,但学习曲线陡峭,错误处理复杂。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

447

5

c语言和c++一样吗
c语言和c++一样吗

c语言和c++是两种不同的编程语言,虽然有相似之处,但存在显著差异。c语言专注于过程式编程和系统级开发,以简洁、高效著称。c++作为c语言的超集,引入了面向对象编程,增强了代码组织和管理能力,但学习曲线也更陡峭。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

347

5

c语言和c++先学哪个好
c语言和c++先学哪个好

初学者选择学习c语言还是c++语言,需要根据个人学习目标、背景以及编程兴趣和预期应用方向来决定。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

426

5

c语言和c++的区别和联系
c语言和c++的区别和联系

c语言和c++是计算机科学领域应用广泛的编程语言。虽然它们有着相似的基础,但它们在语言类型、语法功能和内存管理方面存在着显著差异。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

600

5

c++软件中文更改教程
c++软件中文更改教程

对于 ide,可通过打开设置,找到语言设置,选择中文,并保存更改。对于非 ide 应用程序,可查找设置或选项,选择语言设置,更改为中文,并保存更改。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.21

1429

9

python和java和c++学习性价比分析
python和java和c++学习性价比分析

Python以其易学性、丰富的库和活跃的社区而著称,适合数据科学、人工智能和Web开发。Java以其跨平台性、企业级应用开发和Android应用开发而闻名。C++以其底层控制能力、高效性能和游戏开发而著称。选择哪种语言取决于个人兴趣、职业方向和特定需求。想了解更多python和java和c++的相关内容,可以阅读本专题下面的文章。

2024.03.22

1237

7

c++和c语言学习顺序推荐
c++和c语言学习顺序推荐

对于初学者,建议先学习C语言,掌握编程基础后再转入C++,便于理解面向对象编程概念。有编程经验者可直接学习C++,快速接触高级编程技术。想了解更多c++和c语言的相关内容,可以阅读本专题下面的文章。

2024.03.25

1325

9

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习