c++ - 典型的 C++ 编译器处理哪些工作？

Question

在对编译器及其工作原理进行了一些研究之后，我了解到该过程通常分为 4 个步骤:预处理器、编译器、汇编器和链接器。我设想这些步骤的方式是每个步骤都是它自己的独立程序；预处理器程序、编译程序、汇编程序和链接程序。但是，您了解到有时创建汇编代码和生成目标文件的过程全部由编译器程序处理，有时则不然。它似乎在很大程度上取决于所使用的上下文和编程语言。那么我的问题是，将 C++ 源代码翻译成机器代码的典型翻译过程是如何分解的？

1. 预处理器是一个独立于编译器的程序吗？或者该过程通常是编译器程序的一部分？
2. 编译器通常负责什么？生成汇编代码然后转换为机器代码？
3. 链接器是在编译器完成后运行的独立程序吗？

旁注:我的问题与其他 C++ 编译器线程不同，因为我不仅要问编译器如何工作，还要问某些其他进程(例如链接)是否有自己的可执行程序，或者它们是否通常内置在编译器中程序。

Answer 1

所有现代编译器(至少是 gcc 和 clang，但我怀疑其他编译器有很大不同)都将预处理和编译器作为一个可执行文件。这主要是因为编译器希望能够生成良好的错误消息[指向正确的行和列，并且当它涉及宏时，可以说“从宏 FOO(x) 调用”]，并理解“我们是什么文件当编译器具有要查看的实际源代码而不是预处理代码时，'re in' 会更容易。

链接器通常是一个单独的程序，而汇编器仅用于内联汇编代码[通常作为编译器的集成部分]——否则，编译器将直接生成机器码而不使用汇编器[至少在 LLVM 中是这样] ，这是我最了解的编译器]。因此，编译器会生成一个完整的目标文件。

如果您有正确的选项，将调用链接器，但它是一个单独的可执行文件，它将目标文件与运行时库链接在一起，并在“main 之前”启动代码(全局对象构造，以及类似的，如以及“准备调用 main”)。这将生成可执行文件。

如果使用其他选项，编译器将只生成一个目标文件，或者以符号形式生成的机器代码的反汇编(-S 选项)。

负责代码生成的编译器后端部分通常还处理优化和各种代码转换以帮助优化阶段——例如 Clang + LLVM 将产生“统一”循环，无论是否您使用了 while、for 或 goto 进行循环。

这有助于更高级的阶段不必识别许多不同形式的循环，并允许编译器生成“好的”代码，而不管程序员如何形成循环。 [当然，如果你让它足够复杂，编译器可能不会完全弄清楚你的循环是如何工作的，也不会优化得很好，但是对于基本形式之间的直接转换，它会做同样的最终代码生成，不管来源的样子]。