如果你像我一样，没有受过正规的计算机科学教育，并且对 构建/想知道编译器是如何工作的:

我推荐“Java编程语言处理器:编译器和解释器”， 对于自学成才的计算机程序员来说，这是一本令人惊叹的书。

在我看来，理解那些基本的语言理论、自动化机器和集合理论并不是什么大问题。问题是如何把这些东西转换成代码。上面的书告诉您如何编写解析器、分析上下文和生成代码。如果你不能理解这本书，那么我不得不说，放弃构建编译器吧。这本书是我读过的最好的编程书。

还有一本书，也很好，《c语言编译器设计》，里面有很多代码，告诉你如何构建编译器和词法分析器工具。

构建编译器是一种有趣的编程实践，可以教会您许多编程技能。

不要买龙的书。这是浪费金钱和时间，不适合从业者。

如果你想了解更多关于编译器(和元编译器)的知识，这不是一本书，而是一篇技术论文和一个非常有趣的学习经历……本网站将引导您构建一个完全自包含的编译器系统，可以编译自己和其他语言:

教程:metaccompilers第1部分

这一切都是基于一份惊人的10页技术论文:

META II:一种面向语法的编译器编写语言

从1964年开始。我从1970年开始学习如何构建编译器。当您最终明白编译器如何自我再生....时，会有一个令人兴奋的时刻

我从大学时代就认识这个网站的作者，但我和这个网站没有任何关系。

龙之书绝对是关于“构建编译器”的书，但是如果您的语言不像当前这一代语言那么复杂，那么您可能想看看设计模式中的解释器模式。

书中的示例设计了一种类似正则表达式的语言，并且经过了深思熟虑，但正如书中所述，它有助于思考整个过程，但实际上只在小型语言上有效。然而，用这种模式为一种小型语言编写解释器要快得多，而不必学习所有不同类型的解析器，yacc和lex等等……

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

您可以使用Apache软件基金会的BCEL。使用这个工具，您可以生成类似汇编程序的代码，但它是带有BCEL API的Java。您可以学习如何生成中间语言代码(在本例中是字节代码)。

简单的例子

用这个函数创建一个Java类: maxAsString(int a, int b) { If (a > b) { 返回Integer.valueOf(一).toString (); } if (a < b) { 返回Integer.valueOf (b) .toString (); }其他{ 返回“=”; ｝ ｝

现在用这个类运行BCELifier

BCELifier bcelifier = new BCELifier("MyClass", System.out);
bcelifier.start();

您可以在控制台上看到整个类的结果(如何构建字节代码MyClass.java)。该函数的代码如下:

private void createMethod_1() {
  InstructionList il = new InstructionList();
  MethodGen method = new MethodGen(ACC_PUBLIC, Type.STRING, new Type[] { Type.INT, Type.INT }, new String[] { "arg0", "arg1" }, "maxAsString", "MyClass", il, _cp);

  il.append(InstructionFactory.createLoad(Type.INT, 1)); // Load first parameter to address 1
  il.append(InstructionFactory.createLoad(Type.INT, 2)); // Load second parameter to adress 2
    BranchInstruction if_icmple_2 = InstructionFactory.createBranchInstruction(Constants.IF_ICMPLE, null); // Do if condition (compare a > b)
  il.append(if_icmple_2);
  il.append(InstructionFactory.createLoad(Type.INT, 1)); // Load value from address 1 into the stack
  il.append(_factory.createInvoke("java.lang.Integer", "valueOf", new ObjectType("java.lang.Integer"), new Type[] { Type.INT }, Constants.INVOKESTATIC));
  il.append(_factory.createInvoke("java.lang.Integer", "toString", Type.STRING, Type.NO_ARGS, Constants.INVOKEVIRTUAL));
  il.append(InstructionFactory.createReturn(Type.OBJECT));
  InstructionHandle ih_13 = il.append(InstructionFactory.createLoad(Type.INT, 1));
  il.append(InstructionFactory.createLoad(Type.INT, 2));
    BranchInstruction if_icmpge_15 = InstructionFactory.createBranchInstruction(Constants.IF_ICMPGE, null); // Do if condition (compare a < b)
  il.append(if_icmpge_15);
  il.append(InstructionFactory.createLoad(Type.INT, 2));
  il.append(_factory.createInvoke("java.lang.Integer", "valueOf", new ObjectType("java.lang.Integer"), new Type[] { Type.INT }, Constants.INVOKESTATIC));
  il.append(_factory.createInvoke("java.lang.Integer", "toString", Type.STRING, Type.NO_ARGS, Constants.INVOKEVIRTUAL));
  il.append(InstructionFactory.createReturn(Type.OBJECT));
  InstructionHandle ih_26 = il.append(new PUSH(_cp, "equals")); // Return "equals" string
  il.append(InstructionFactory.createReturn(Type.OBJECT));
  if_icmple_2.setTarget(ih_13);
  if_icmpge_15.setTarget(ih_26);
  method.setMaxStack();
  method.setMaxLocals();
  _cg.addMethod(method.getMethod());
  il.dispose();
}

我发现Dragon的书太难读了，因为它太专注于语言理论，而实际上编写编译器并不需要这些理论。

我将添加Oberon书籍，其中包含了一个惊人的快速和简单的Oberon编译器项目Oberon的完整源代码。