1.3 解释器、编译器、AOT、JIT 与虚拟机
语言实现不是简单的“编译型”和“解释型”二分。真实系统经常混合多种策略。Python 实现会把源码解析成字节码，再解释字节码。Java 会把源码编译成 class 文件，然后虚拟机解释并即时（JIT）编译热点方法。JavaScript 引擎可能懒解析、先解释执行、收集反馈、编译热点函数、假设失效后去优化（deopt），再重新编译。C 编译器通常做预先编译（ahead-of-time）为本地机器码，但最终程序仍然依赖运行时库和操作系统加载器。
关键问题不是“这门语言是不是编译型”。更好的问题是：工作在什么时候完成？执行的是什么表示？需要哪些运行时服务？优化时能获得哪些信息？
解释器
解释器直接执行某种程序表示。这个表示可能是源文本、抽象语法树（AST）、字节码或自定义中间表示（IR）。树遍历解释器（tree-walking interpreter）递归执行抽象语法树节点。字节码解释器（bytecode interpreter）在循环中执行紧凑指令。线程化解释器（threaded interpreter）用实现技巧减少分派（dispatch）开销。解释器通常比完整的本地机器码后端更容易构建，也更容易插桩观察。
解释器适合 REPL、脚本、教学、调试、沙箱和高度动态语言。它保留运行时灵活性，因为不需要过早承诺静态代码布局。它也能提供很好的自省能力（introspection）：栈追踪、动态钩子、运行时补丁和交互式求值。
代价是执行开销。如果每个加法、变量访问和函数调用都经过分派循环，热点代码可能远慢于优化后的机器码。解释器仍然可以被仔细工程化，但分派、动态检查和装箱值（boxed value）常常主导运行成本。
预先编译（AOT）
预先编译在程序运行前完成大部分翻译。输出可能是本地机器码、字节码、WebAssembly 或另一个可部署产物。当启动延迟、可预测部署、静态分析和运行时简单性很重要时，AOT 很有吸引力。命令行工具、内核、嵌入式软件和许多服务器程序都受益于 AOT。
AOT 拥有的运行时信息较少。它可能不知道某个部署中哪些分支最热、哪些对象形状最常见、哪些虚调用在生产环境中实际是单态的（monomorphic）、哪些配置值很常见。性能引导优化（profile-guided optimization）可以把真实执行数据反馈给 AOT 构建，但这会给构建系统增加反馈回路。
虚拟机
虚拟机定义一种并不等同于物理 CPU 的执行模型。它可能是栈式、寄存器式、面向对象、沙箱化、垃圾回收或基于能力（capability-based）的。虚拟机可以提供字节码验证、内存管理、异常处理、动态加载、反射、安全边界和性能采集。
虚拟机把语言前端和物理机器解耦。编译器可以输出可移植字节码，然后多个虚拟机实现在不同平台上运行这些字节码。这是 JVM、.NET CLR、许多语言专属字节码虚拟机和 WebAssembly 运行时的核心思想。代价是你必须设计、优化、调试和保护一个运行时层。
JIT 编译与去优化
即时编译（just-in-time）把部分编译工作移动到运行时。JIT 可以观察真实执行：哪些函数经常被调用，哪些分支经常被走，哪些对象形状出现，哪些类型流过动态操作。然后它可以为现实优化，而不是只为保守猜测优化。
JIT 优化是投机性（speculative）的。假设一个 JavaScript 函数目前只见过数字。JIT 可能编译一条快速的数值路径。之后这个函数收到字符串。优化代码的假设失效了。健壮 JIT 必须去优化：它重建安全的解释器或基线（baseline）状态，并在不违反语言语义的前提下继续执行。去优化是 JIT 最迷人的原因之一。JIT 不只编译代码，还要编译从假设中安全逃离的路线。
如何选择执行策略
没有任何策略永远胜出。嵌入应用的配置语言可能最适合解释器。小型命令行工具可能最适合 AOT。可移植教学语言可能最适合 VM。长期运行、热点稳定的动态负载可能最适合 JIT。混合设计很常见：解析成 AST，把 AST 降低成字节码，解释冷代码，baseline 编译温代码，优化热点代码，并在假设失效时 deopt。
执行策略会从一开始影响编译器架构。如果目标是字节码虚拟机，代码生成器输出虚拟机指令，而运行时必须定义栈行为、调用帧、常量和堆对象。如果目标是本地代码，你最终必须面对 ABI、寄存器、指令选择、重定位和目标文件。如果计划 JIT，IR 必须保留足够元数据，以便去优化时重建源码级状态。
比较成本模型，不要背口号
解释器启动快、源码诊断好，却反复支付分派成本；AOT 在运行前花更多时间，通常换来稳定吞吐与部署行为；JIT 先解释或基线编译，再依据真实性能数据优化热点；虚拟机则给字节码、对象布局、垃圾回收与运行时服务一份跨硬件的执行契约。
例如循环中的虚调用，AOT 常保守地用间接分派；JIT 若观察到 99.9% 的接收者都是 Circle，可插入类型守卫后直接调用并内联。一旦出现新类型就去优化，还原到解释器或基线帧。去优化不是失败，而是保证投机优化正确的机制。
选择提示
- 区分冷启动与热态吞吐；短脚本和长服务的最佳方案不同。
- 字节码是表示，虚拟机是执行系统；虚拟机可以解释、JIT 或混合。
- 根据启动、吞吐、包大小、可移植性、沙箱与调试优先级选择。