从源码到行为：实现模式的四个层面
一门编程语言从文本到可执行行为，通常要经历词法分析、语法分析、语义处理、中间表示、执行与运行时支撑。所谓“实现模式”，就是这些环节中反复出现、可复用的结构方案。理解它们，比记住某个编译器的代码更有迁移价值。
词法与语法：手写递归下降仍是主流
词法分析把字符流切成记号，语法分析再把记号组织成抽象语法树。常见模式有两类：一类是手写递归下降，配合优先级爬升处理表达式；另一类是使用解析器生成器，从文法描述自动产出分析表。手写递归下降的优点是错误提示可控、调试直观，适合语法需要频繁演进的场景；生成器方案在文法稳定、追求开发效率时更省力。选择哪种，往往取决于语言是否允许语法扩展。
中间表示：让优化与多后端成为可能
直接对语法树求值简单，但优化空间有限。引入中间表示后，前端与后端解耦，同一份程序可以面向解释器、字节码虚拟机或本地代码生成。常见的模式包括三地址码、控制流图和基于栈的字节码。中间表示的设计要平衡信息保留与结构规整：保留太少，优化无从下手；保留太多，通行分析变复杂。
解释与编译：不是二选一
解释执行启动快、实现简单，适合脚本与交互场景；编译执行运行效率高，但需要更多前期工作。实践中常见混合模式：先解析为字节码，再由虚拟机解释执行，热点路径触发即时编译。这种分层设计让语言在启动速度与峰值性能之间取得折中，也增加了实现复杂度，需要谨慎管理去优化与栈帧布局。
运行时支撑：被低估的一半
垃圾回收、异常处理、并发原语、反射与调试接口，都属于运行时支撑。它们不直接出现在语法里，却深刻影响语言的手感。例如，精确垃圾回收需要编译器在栈帧中保留根信息；异常处理需要与调用栈展开机制配合；协程需要运行时管理调度与挂起恢复。实现模式的选择在这里往往决定语言能否支持某些编程范式。
模式背后的权衡
没有普遍最优的实现模式。手写前端换来更好的诊断信息，字节码换来可移植性，即时编译换来性能但抬高复杂度。评估一种实现模式，应看它是否与语言目标一致：是优先开发效率，还是优先运行性能；是面向嵌入场景，还是面向大型工程。理解这些取舍，才能在阅读语言实现或设计自有语言时做出清醒判断。
