我记得大约七年前问过这个问题，当时我对编程还是个新手。

我问的时候非常小心，令人惊讶的是，我没有像你们在这里受到那么多批评。然而，他们确实给我指出了“龙书”的方向，在我看来，这是一本真正伟大的书，解释了编写编译器所需知道的一切(当然，你必须掌握一两种语言)。你懂的语言越多越好。

是的，很多人说读那本书是疯狂的，你不会从中学到任何东西，但我完全不同意这种说法。

许多人还说编写编译器是愚蠢和毫无意义的。编译器开发之所以有用，原因有很多:

因为它很有趣。 它是有教育意义的，当你学习如何编写编译器时，你会学到很多计算机科学和其他技术，这些技术在编写其他应用程序时很有用。 如果没有人编写编译器，现有的语言就不会变得更好。

我没有立即编写自己的编译器，但在询问之后，我知道从哪里开始。现在，在学习了许多不同的语言和阅读了龙书之后，写作并不是什么大问题。(我也在学习计算机工程，但我对编程的大部分知识都是自学的。)

总之，《龙之书》是一个很棒的“教程”。但是在尝试编写编译器之前，先花些时间掌握一两种语言。不过，不要指望在未来十年左右成为编译器大师。

如果你想学习如何编写解析器/解释器，这本书也是不错的选择。

资源清单:

A Nanopass Framework for Compiler Education ¶ Advanced Compiler Design and Implementation $ An Incremental Approach to Compiler Construction ¶ ANTLR 3.x Video Tutorial Basics of Compiler Design Building a Parrot Compiler Compiler Basics Compiler Construction $ Compiler Design and Construction $ Crafting a Compiler with C $ Crafting Interpreters [Compiler Design in C] 12 ¶ Compilers: Principles, Techniques, and Tools $ — aka "The Dragon Book"; widely considered "the book" for compiler writing. Engineering a Compiler $ Essentials of Programming Languages Flipcode Article Archive (look for "Implementing A Scripting Engine by Jan Niestadt") Game Scripting Mastery $ How to build a virtual machine from scratch in C# ¶ Implementing Functional Languages Implementing Programming Languages (with BNFC) Implementing Programming Languages using C# 4.0 Interpreter pattern (described in Design Patterns $) specifies a way to evaluate sentences in a language Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages $ Let's Build a Compiler by Jack Crenshaw — The PDF ¶ version (examples are in Pascal, but the information is generally applicable) Linkers and Loaders $ (Google Books) Lisp in Small Pieces (LiSP) $ LLVM Tutorial Modern Compiler Implementation in ML $ — There is a Java $ and C $ version as well - widely considered a very good book Object-Oriented Compiler Construction $ Parsing Techniques - A Practical Guide Project Oberon ¶ - Look at chapter 13 Programming a Personal Computer $ Programing Languages: Application and Interpretation Rabbit: A Compiler for Scheme¶ Reflections on Trusting Trust — A quick guide Roll Your Own Compiler for the .NET framework — A quick tutorial from MSDN Structure and Interpretation of Computer Programs Types and Programming Languages Want to Write a Compiler? - a quick guide Writing a Compiler in Ruby Bottom Up Compiling a Lisp — compile directly to x86-64

传说:

链接到PDF文件 $印刷书籍的链接

还有一本书还没有推荐，但非常重要，那就是约翰·莱文的《链接器和加载器》。如果您不使用外部汇编程序，则需要一种方法来输出可以链接到最终程序的目标文件。即使您正在使用外部汇编程序，也可能需要了解重定位以及整个程序加载过程如何工作，以制作一个工作工具。这本书收集了很多关于各种系统的这个过程的随机知识，包括Win32和Linux。

来自comp.compiler常见问题解答:

《个人电脑编程》作者:Per Brinch Hansen Prentice-Hall 1982 ISBN 0-13-730283-5

这本书名很不幸的书 解释单用户编程环境的设计和创建 用于微电脑，使用一种类似pascal的语言，叫做Edison。作者介绍 一个的逐步实现的所有源代码和解释 爱迪生编译器和简单的支持操作系统，全部写在 爱迪生本身(除了一个小的支持内核写在符号 PDP 11/23汇编程序;完整的源代码也可以为IBM订购 个人电脑)。

这本书最有趣的地方是:1)它的能力 演示如何创建一个完整的，独立的，自我维护的， 有用的编译器和操作系统，以及2)有趣的讨论 语言设计和规范的问题和权衡。

“Brinch Hansen on Pascal Compilers” by Per Brinch Hansen 普伦蒂斯-霍尔 1985 ISBN 0-13-083098-4

Another light-on-theory heavy-on-pragmatics here's-how-to-code-it book. The author presents the design, implementation, and complete source code for a compiler and p-code interpreter for Pascal- (Pascal "minus"), a Pascal subset with boolean and integer types (but no characters, reals, subranged or enumerated types), constant and variable definitions and array and record types (but no packed, variant, set, pointer, nameless, renamed, or file types), expressions, assignment statements, nested procedure definitions with value and variable parameters, if statements, while statements, and begin-end blocks (but no function definitions, procedural parameters, goto statements and labels, case statements, repeat statements, for statements, and with statements).

编译器和解释器都是用Pascal* (Pascal " * ")编写的 Pascal子集扩展了一些爱迪生风格的创建功能 软件开发系统。用于IBM个人电脑的Pascal编译器由 但是很容易将这本书的Pascal编译器移植到任何作者 方便的Pascal平台。

本书使编译器的设计和实现看起来很简单。我 尤其是作者对质量的关注， 可靠性和测试。编译器和解释器可以很容易地使用 作为一个更复杂的语言或编译器项目的基础，特别是 如果你被要求快速启动并运行一些东西。

每当我想尝试一种新的语言想法时，我就写一个简单的解析器，让它生成一些容易获得良好编译器的语言，比如C。

你认为c++是如何完成的?

你可能想看看Lex/Yacc(或Flex/Bison，随便你怎么称呼它们)。Flex是一个词法分析器，它将解析和识别语言的语义组件(“标记”)，而Bison将用于定义解析每个标记时发生的情况。这可以是，但绝对不限于，打印出C代码，供编译器编译成C，或者动态运行指令。

这个常见问题应该对你有帮助，这个教程看起来很有用。