Back to Basics: The structure of a Program

• 语言: 英语
• 格式: .pdf
• 来源: github.com/CppCon

摘要

文档详细讲解了C++程序的构建过程，包括从源文件到可执行文件的各个阶段。主要内容包括翻译单元的定义及其与代码的关系、编译的六个阶段（预处理、语法分析、语义分析和代码生成）、链接加载的过程（创建可执行图像）、ABI（应用程序二进制接口）的重要性、头文件和源文件的使用方式、预compiled files的作用、程序初始化和运行的具体流程。文档还强调了C++程序结构中的关键概念，如内联、默认模板参数、作用域以及如何处理外部引用。

AI总结

### 文档总结：《Back to Basics: The Structure of a Program》

#### 1. **概述**
- **程序构建过程**：从源文件到可执行程序的构建过程涉及多个阶段。
- **翻译单元（TU）**：是源代码经过预处理后生成的中间结果，是编译器处理的基本单位。
- **翻译阶段**：包括词法分析、语法分析、语义分析和代码生成。
- **声明与定义**：一个程序中，多个声明是可以的，但定义必须唯一（One-Definition Rule，ODR）。
- **存储持续时间**：变量的生命周期由存储类（如`static`、`extern`、`thread_local`）决定。
- **ABI与名称编码**：编译器和链接器必须在ABI（应用程序二进制接口）和名称编码上达成一致。
- **链接与加载**：链接器将目标文件和库组合成可执行文件，加载器将其加载到内存中运行。

#### 2. **编译过程**
- **预处理阶段（Phase 1-6）**：包括宏替换、条件编译、注释处理等词法分析，输出翻译单元。
- **编译阶段（Phase 7-8）**：进行语法和语义分析，生成目标代码（汇编或机器码）。
- **链接阶段（Phase 9）**：将目标文件和库合并，生成最终的可执行文件。

#### 3. **One-Definition Rule (ODR)**
- 每个非内联函数或变量必须在程序中只有一个定义。
- 内联函数或变量可以在每个翻译单元中定义一次。
- 类的定义必须在所有使用它的翻译单元中完全一致。

#### 4. **存储持续时间**
- 变量的存储持续时间由其存储类决定，如`static`（静态存储）、`extern`（全局存储）、`thread_local`（线程本地存储）等。

#### 5. **ABI与名称编码**
- 编译器必须在ABI上一致，确保生成的目标代码可以被链接器正确处理。
- 名称编码是编译器将函数和变量名称转换为二进制形式的方式。

#### 6. **链接与加载**
- **链接器**：将目标文件和库组合成一个可执行文件。
- **加载器**：将可执行文件加载到内存中，进行符号重定位，初始化堆栈和寄存器，调用`main()`函数。

#### 7. **程序表示**
- 源代码由三种文件组成：
- **头文件**：通常多次包含，用于定义接口。
- **源文件**：通常只包含一次，用于实现功能。
- **资源文件**：用于存储非执行数据（如图标、图像）。

#### 8. **输入文件**
- **用户定义代码**：包括头文件、源文件和资源文件。
- **依赖库**：包括预编译库（如`libstdc++.a`、`libc++.so`）和第三方库（如Boost、Catch2）。

#### 9. **构建与运行C++程序**
- **高阶视图**：输入文件通过编译器和链接器生成可执行文件，操作系统加载器将其加载到内存中运行。

#### 10. **关键概念**
- **术语澄清**：文档旨在明确一些容易混淆的概念，如翻译单元、预处理、编译、链接等。
- **核心流程**：从源文件到可执行程序的构建过程涉及预处理、编译、链接和加载四个主要阶段。

### 总结
文档详细讲解了C++程序的构建和执行过程，从源代码到可执行程序的每个阶段都进行了深入分析，重点介绍了翻译单元、编译阶段、链接加载、ABI、ODR等核心概念。通过清晰的结构和逻辑，帮助开发者理解C++程序的内部机制。