C++程序的编译是一个复杂而精妙的过程，涉及多个阶段的转换、分析和优化。理解这个过程不仅有助于解决编译错误和链接错误，还能帮助开发者编写更高效、更可移植的代码。一个典型的C++编译流程包括：预处理、编译（词法分析、语法分析、语义分析、中间代码生成、优化）、汇编、以及链接。
参考：https://qeext.cn/category/guide.html
预处理阶段由预处理器处理以#开头的指令。#include将头文件内容递归插入当前位置；#define和#undef管理宏定义；#if、#ifdef、#ifndef、#else、#elif、#endif实现条件编译。预处理器的输出是“翻译单元”——一个没有任何预处理指令的纯C++源代码文件。预处理器是文本处理器，不理解C++语法，这既是它的简单之处，也是问题的来源（宏污染、调试困难）。
编译阶段的核心是词法分析。词法分析器将源代码字符流转换为标记（token）序列。标记是语言的最小语法单元，如关键字（if、while、class）、标识符（变量名、函数名）、字面量（数字、字符串）、运算符（+、*、->）、以及标点符号（;、{、}）。词法分析器会跳过注释和空白字符，并跟踪源位置（用于错误报告）。
语法分析将标记序列组织为抽象语法树（AST）。语法分析器根据C++的语法规则（由上下文无关文法定义）构建AST。如果代码违反语法规则（如缺少分号、括号不匹配），语法分析器会报告语法错误。C++的语法是上下文相关的，这意味着某些构造的合法性依赖于上下文（例如，A * B可能是乘法，也可能是指针声明）。这使C++的语法分析比其他语言更复杂。
参考：https://qeext.cn/category/maintenance.html
语义分析在AST上添加语义信息：类型检查、名称解析、重载决议、模板实例化、以及访问控制检查。编译器建立符号表，记录每个标识符的类型和作用域。对于模板，语义分析包括模板参数的替换（实例化）和概念检查（C++20）。语义错误包括：类型不匹配、未声明的标识符、访问私有成员、以及违反ODR。
中间代码生成将经过语义分析的AST转换为与平台无关的中间表示（IR）。LLVM使用IR，GCC使用GIMPLE。IR是一种低级的、静态单赋值形式的代码，简化了后续的优化和代码生成。生成IR时，编译器也会生成调试信息（如果启用了-g），以支持源代码级别的调试。
优化阶段是编译器最复杂的部分。优化器在IR上应用一系列变换，以提高代码质量。常见的优化包括：
常量折叠：1 + 2直接替换为3。
常量传播：将变量的已知常量值传播到使用点。
死代码消除：移除永远不会执行的代码（如if (false)的分支）。
循环优化：循环展开、循环不变代码外提、向量化。
内联：将函数调用替换为函数体。
公共子表达式消除：避免重复计算相同的表达式。
复制传播：用原始变量替换副本变量。
优化级别（-O0、-O1、-O2、-O3、-Os、-Oz）控制优化激进程度。-O0表示不优化，编译最快，适合调试。-O2是平衡性能和编译时间的常用选择。-O3启用更激进的优化（如循环展开和内联），可能增加代码体积。-Os优化代码大小，-Oz更激进地优化大小（Clang）。
代码生成将优化的IR转换为目标机器的汇编代码。这一步包括寄存器分配（决定哪些变量放在寄存器中）、指令选择（将IR操作映射到目标机器的指令）、以及指令调度（重排指令以利用流水线）。代码生成器也可以进行目标相关的优化，如窥孔优化（替换低效的指令序列）。
参考：https://qeext.cn/category/limited.html
汇编阶段将汇编代码转换为机器码，生成目标文件（.o或.obj）。目标文件包含：代码段（.text）、数据段（.data）、只读数据段（.rodata）、BSS段（未初始化的静态数据）、以及符号表和重定位信息。符号表记录了目标文件导出的符号（全局函数和变量）和引用的符号（外部符号）。重定位信息告诉链接器哪些地址需要调整。
链接阶段将一个或多个目标文件以及库合并为可执行文件或共享库。链接器的主要任务是符号解析和重定位。
符号解析将每个符号引用与一个符号定义关联。如果同一个符号有多个定义（除了内联函数和模板实例化），链接器报告多重定义错误。如果符号引用找不到定义，链接器报告未定义引用错误。静态库的处理特殊：链接器从库中提取那些“能解决当前未定义引用”的目标文件。
重定位调整代码中的地址引用，使其指向最终的内存地址。例如，一个函数调用指令在目标文件中包含一个占位符地址，链接器将其替换为被调用函数的实际地址。重定位发生在代码段和数据段中。
链接器优化包括：死代码剥离（移除未被引用的函数和数据）、链接时优化（LTO，在整个程序范围内应用优化）、以及相同代码折叠（合并相同的函数）。
可执行文件格式因平台而异：Linux使用ELF（可执行和可链接格式），Windows使用PE（可移植可执行文件），macOS使用Mach-O。可执行文件包含入口点（_start或mainCRTStartup）、段映射、以及动态链接信息。
动态链接在程序加载时或运行时解析符号。动态库（共享库）包含位置无关代码（PIC），允许在内存中的任意地址加载。动态链接器（ld.so在Linux上，dyld在macOS上）负责加载依赖的库、解析符号、以及执行重定位。动态链接的优点是代码共享（多个程序共享同一份库代码）和独立更新（替换库无需重新链接程序），代价是启动时间开销和潜在的版本冲突。
参考：https://qeext.cn/category/original.html
预编译头文件是加速编译的技术。通过将稳定且包含频繁的头文件预先编译为二进制形式，编译器在后续编译中可以跳过解析这些头文件的过程。预编译头文件可以减少大型项目的编译时间，但维护困难（需要确保预编译头的内容始终一致）。
模块（C++20）是C++对头文件机制的替代。模块将接口与实现分离，同时避免了宏污染和重复解析。模块可以独立编译为二进制接口（BMI），导入模块比包含头文件快得多。模块还提供了更好的封装（只有导出的声明可见），并支持更细粒度的依赖管理。
理解编译过程有助于解决实际问题：
当遇到“未定义引用”错误时，检查是否忘记链接库、库顺序是否正确、或者符号是否被条件编译排除。
当遇到“多重定义”错误时，检查是否在头文件中定义了非内联函数或全局变量。
当编译时间过长时，检查是否使用了过多的模板、是否包含了不必要的大型头文件、是否可以使用前置声明替代包含、是否启用了预编译头或模块。
当链接时优化导致调试困难时，可以临时禁用LTO进行调试。
当需要分析代码性能时，检查优化级别和编译器生成的汇编代码。
编译过程的复杂性和灵活性是C++强大性能的来源，也是学习曲线陡峭的原因。掌握编译原理的基础知识，是成为高效C++开发者的重要一步。
参考：https://qeext.cn
