翻译阶段

编译器处理 C++ 源文件时，如同严格按照以下顺序进行各个阶段的处理：

阶段 1

阶段 2

阶段 3

保持换行符。是否可将非换行空白字符序列缩减成单个空格字符是未指明的。

将输入分析为预处理记号，到某个给定字符为止时，通常将可构成一个预处理记号的最长字符序列处理成下一个预处理记号，即使这会导致后继分析失败也是如此。这常被称为最大吞噬 (maximal munch)。

int foo = 1;
int bar = 0xE+foo;   // 错误：非法的预处理数字 0xE+foo
int baz = 0xE + foo; // OK
 
int quux = bar+++++baz; // 错误：bar++ ++ +baz，而非 bar++ + ++baz。

最大吞噬规则的唯一例外是：

#define R "x"
const char* s = R"y"; // 非良构的原始字符串字面量，而非 "x" "y"
const char* s2 = R"(a)" "b)"; // 原始字符串字面量后随普通字符串字面量

struct Foo { static const int v = 1; };
std::vector<::Foo> x; // OK，<: 未被当作 [ 的代用记号
extern int y<::>;     // OK，同 extern int y[]。
int z<:::Foo::value:>; // OK，int z[::Foo::value];

• 头文件名预处理记号仅在 #include 指令中形成。

std::vector<int> x; // OK，<int> 不是头文件名

阶段 4

阶段 5

注意：某些实现中，能以命令行选项控制此阶段所进行的转换：gcc 和 clang 用 -finput-charset 指定源字符集的编码，用 -fexec-charset 和 -fwide-exec-charset 指定无编码前缀的 (C11 起)字符串和字符字面量中的执行字符集的编码，而 Visual Studio 2015 Update 2 及之后版本分别用 /source-charset 和 /execution-charset 指定源字符集和执行字符集。

阶段 6

拼接相邻的字符串字面量。

阶段 7

发生编译：将各个预处理记号转换成记号（token）。将所有记号当作一个翻译单元进行语法和语义分析并进行翻译。

阶段 8

检验每个翻译单元，产生所要求的模板实例化的列表，其中包含显式实例化所要求者。定位模板定义，并进行所要求的实例化，以产生实例化单元（instantiation unit）。

阶段 9

将翻译单元、实例化单元和为满足外部引用所需的库组件汇集成一个程序映像，它含有在其执行环境中执行所需的信息。

注意

某些编译器不实现实例化单元（又称为模板仓库或模板注册表），而是简单地在阶段 7 编译每个模板实例化，存储代码于其所显式或隐式要求的对象文件中，然后由连接器于阶段 9 将这些编译后的实例化缩减到一个。

引用

参阅