我刚刚和一位同事进行了一次谈话，在哪里谈论 V8 JavaScript 引擎。根据维基百科，
V8 在执行 JavaScript 之前将其编译为本机机器码 [...]，而不是更传统的技术，例如解释字节码或将整个程序编译为机器码并从文件系统执行。
哪里（如果我错了，请纠正我）“解释字节码”是 Java 的工作方式，“编译整个程序”适用于 C 等语言或 C++。现在我们想知道、辩论和提出关于差异、相似性的错误断言和假设。为此，我建议咨询 SO 方面的专家。
那么，谁能做到
注意事项：
【问题讨论】：
标签： compiler-construction compilation interpreter interpretation
几乎不可能回答您的问题，原因很简单：没有几种方法，它们是一个连续统一体。这个连续体中涉及的实际代码也相当相同，唯一的区别是事情发生的时间，以及是否以某种方式保存了中间步骤。这个连续体中的各个点（不是一条线，一个级数，而是更多的一个具有不同角的矩形，您可以靠近）是：
例如，纯粹的解释编程语言几乎不会做#4，而#2 有点隐式发生在 1 和 3 之间，所以你几乎不会注意到它。它只是读取代码的一部分，并立即对它们做出反应。这意味着实际开始执行的开销很低，但是例如在一个循环中，相同的文本行被读取并重新读取。
在矩形的另一个角落，有传统的编译语言，通常，第 4 项包括将实际机器代码永久保存到文件中，然后可以在以后运行。这意味着您在开始时要等待相对较长的时间，直到整个程序被翻译（即使您只在其中调用一个函数），但 OTOH 循环更快，因为不需要再次读取源代码。
还有一些介于两者之间的东西，例如虚拟机：为了可移植性，许多编程语言不会编译成实际的机器码，而是编译成字节码。然后有一个编译器生成字节码，还有一个解释器获取这个字节码并实际运行它（有效地“将其转换为机器码”）。虽然这通常比编译和直接转为机器代码要慢，但将这种语言移植到另一个平台更容易，因为您只需移植通常用高级语言编写的字节码解释器，这意味着您可以使用现有的编译器来执行这种“有效地转换为机器代码”，并且不必为您要运行的每个平台制作和维护后端。此外，如果您可以将编译为字节码一次，然后只分发编译后的字节码，那么这个 可以 更快，这样其他人就不必花费 CPU 周期在例如在您的代码上运行优化器，并且只为字节码到本机的翻译付费，这在您的用例中可能可以忽略不计。此外，您没有分发源代码。
介于两者之间的另一件事是即时编译器 (JIT)，它实际上是一个解释器，它以编译的形式保存它曾经运行过的代码。这种“保留”使其比纯解释器慢（例如，增加开销和 RAM 使用导致交换和磁盘访问），但在重复执行一段代码时使其更快。它也可以比代码的纯编译器更快，例如只有一个函数被重复调用，因为如果不使用它不会浪费时间编译程序的其余部分。
最后，您可以在这个矩形上找到其他点，例如通过不永久保存已编译的代码，而是再次从缓存中清除已编译的代码。这样你可以例如在嵌入式系统上节省磁盘空间或 RAM，代价是可能不得不再次编译一段很少使用的代码。许多 JIT 编译器都这样做。
【讨论】：
现在许多执行环境都使用字节码（或类似的东西）作为代码的中间表示。因此，源代码首先编译成中间语言，然后由虚拟机解释（解码字节码指令集）或进一步编译 转化为机器码，由硬件执行。
很少有生产语言被解释而不被预编译成某种中间形式。但是，很容易将这样的解释器概念化：只需考虑一个类层次结构，其中包含每种语言元素类型的子类（if 语句、for 等），并且每个类都有一个 Evaluate 方法来评估给定节点。这也通常称为interpreter design pattern。
例如，考虑以下代码片段在假设的解释器（用 C# 实现）中实现 if 语句：
class IfStatement : AstNode {
private readonly AstNode condition, truePart, falsePart;
public IfStatement(AstNode condition, AstNode truePart, AstNode falsePart) {
this.condition = condition;
this.truePart = truePart;
this.falsePart = falsePart;
}
public override Value Evaluate(EvaluationContext context) {
bool yes = condition.Evaluate(context).IsTrue();
if (yes)
truePart.Evaluate(context);
else
falsePart.Evaluate(context);
return Value.None; // `if` statements have no value.
}
}
这是一个非常简单但功能齐全的解释器。
【讨论】：