1.11 一个翻译家族的发家史
沿高级语言、汇编语言、机器语言、目标文件、符号链接和装载运行追踪软件翻译链。
学习目标
- 能沿高级语言、编译目标、汇编机器码、符号链接和装载运行追踪程序形态变化
- 能区分编译器、汇编器、链接器和加载器各自的输入、输出、错误和所有权
- 能在架构不匹配、未定义符号和运行时缺失场景中定位首个阶段违约并重放
1.11 一个翻译家族的发家史
本页依据刘欣《码农翻身》（2018 年第 1 版）及出版社公开书目信息，独立重构 1.11 一个翻译家族的发家史。正文、代码、图示、实验和练习都是本课程重新设计的教学材料，不复制原书正文、插图、练习答案或代码。
CPU 不能直接理解源代码中的变量、函数和类型。高级语言先被编译成汇编或目标代码，汇编器把符号指令编码成机器指令，链接器组合目标文件并解析符号，加载器再把可执行文件建立成进程运行映像。每一步都有独立的输入输出，前一步成功不代表后一步必然成功。
三个会让翻译链失真的陷阱
翻译链合同
↡本页把故事重构为高级语言经过编译、汇编、链接和装载，逐步形成可运行进程映像的工具链；每个阶段都有明确输入输出。不是把工具拟人化，而是要求每个产物都能追溯到源输入、架构、符号和失败证据。
最小形态链可以写成：
source -> object files -> executable -> process image源代码变化会影响语义和目标代码，汇编和架构变化会影响机器编码，链接变化会影响符号和重定位，装载变化会影响映射、依赖和入口。最终程序启动不是对前面所有合同的替代性证明。
四个目录节点到机制证据
1.11 一个翻译家族的发家史
目录概念 ↡从源代码到进程映像的编译、汇编、链接与装载协作过程。 提供整条验收边界：固定源输入和目标架构，逐步检查每个产物、符号和运行时依赖。
机器语言
↡处理器按照指令集编码解释的机器指令字节及其架构语义。 是最终面向 CPU 的编码形态，不等同于汇编文本。检查指令编码、架构属性、字节序、入口和权限，才能判断装载后的 CPU 是否能解释它。
汇编语言
↡用助记符、寄存器和操作数表达指令意图，并可能包含伪指令、标签和重定位信息的符号语言。位于人类可读语义与机器编码之间。汇编器要把合法符号变成目标节和机器字节，同时保留尚待链接的重定位信息。
高级语言
↡用类型、控制流、函数和数据抽象表达程序意图，再由编译器转换为更接近目标架构的中间或目标表示的语言。不直接指定最终指令布局。编译器输出可能依赖优化、目标架构、ABI 和运行时；验证时要保存源版本、编译选项和目标属性。
最小可重放实现
source = fixed_source(target="riscv64")
object = compile_and_assemble(source)
executable = link(object, libraries)
image = load(executable, runtime)
assert image.entry_is_mapped
assert reset_and_run(source) == reference_result这段草图只表达工具链合同，不复制书中叙事或代码。实际复核应保存源哈希、编译命令、目标节、机器字节、符号表、重定位、库依赖、映射权限、入口和运行结果。
五步复核翻译与装载链
1. 固定高级源码和目标架构
保存源文件、版本、编译选项、目标架构、ABI 和依赖清单。先预测会产生哪些目标节、符号和入口，再运行编译。
Lab
产物、符号与装载实验
只改变一个架构、符号或运行时条件，观察翻译链在哪一阶段停止。
源、目标架构、符号和运行时匹配
source → object → link symbols → load entry → process image
判定
通过：产物链可追溯，入口映射有效
当前场景：基线构建；记录源哈希、目标属性、目标文件、符号、依赖、入口和复位结果。
正常、边界与故障证据
| 样本 | 只改变的变量 | 预期判定 | 必存证据 |
|---|---|---|---|
| 正常 | 源、架构、依赖和运行时匹配 | 各阶段产物可追溯，入口可运行 | 源哈希、命令、目标、符号、映射 |
| 边界 | 优化、架构属性、库顺序或权限接近阈值 | 在相应阶段停止并给出依赖或回退 | 架构、节属性、重定位、库和权限 |
| 故障 | 一个符号缺失、编码不兼容或库不可装载 | 首个阶段拒绝可定位，修复后重放 | 首差、产物、提供者、加载错误和复位 |
故障诊断：按产物链找首个断点
- 核对源与编译：确认源版本、编译选项、目标架构和生成目标是否符合预期。
- 核对编码与重定位：检查汇编助记符、机器字节、节属性、架构和未完成重定位，排除文本与编码混淆。
- 核对符号与依赖：列出定义、未定义、提供者、库搜索顺序和 ABI，找首个无法解析的符号。
- 核对装载与运行：检查段映射、权限、动态库、入口和运行时；修复后从空构建目录重放，不用旧产物掩盖问题。
术语表
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 1.11 一个翻译家族的发家史
高级语言经过编译、汇编、链接和装载，逐步形成可运行进程映像的工具链。
- 机器语言
处理器按照指令集编码解释的机器指令字节及其架构语义。
- 汇编语言
用助记符、寄存器和操作数表达指令意图的符号语言。
- 高级语言
用类型、控制流、函数和数据抽象表达程序意图的语言。
练习
练习
问题 1： 编译器没有报错，但链接器报告未定义符号，应该如何解释？
问题 2： 汇编文本看起来正确，为什么仍可能生成不能执行的文件？
问题 3： 链接成功但启动时报缺少共享库，问题属于哪个边界？
本页小结
1.11 一个翻译家族的发家史的关键不是记住几个工具名字，而是能区分高级语言、汇编语言、机器语言、目标文件、符号和进程映像的输入输出。完成标准是从固定源重放到运行，在未定义符号、架构不匹配或运行时缺失中定位首个断点，并证明干净复位后产物链再次闭合。