自己动手实现一个可以运行在 JVM 上的编程语言
内容提要
文章介绍如何用ANTLR4和ASM实现运行在JVM上的简易语言Jinx，支持类定义、变量定义和打印。先用ANTLR4解析源码，遍历语法树生成变量与打印指令，并记录变量类型和局部变量表索引；再用ASM生成含main方法的字节码，变量定义用LDC加STORE，打印用System.out.println。示例Test类编译运行后输出Mike、2370、1.1。
延伸解读
JVM 语言实现的关键：字节码生成
文章展示了实现 JVM 语言的核心步骤：先用 ANTLR4 解析源码并生成中间指令列表，再用 ASM 将这些指令转换为符合 JVM 规范的字节码。这种两阶段设计将语法分析与代码生成解耦，使得扩展语言特性时只需调整指令生成逻辑，而不必重写解析器。对于想入门语言实现的开发者，这是一个清晰且可操作的范例。
变量类型与局部变量表索引的映射
在语法树遍历阶段，Loader 会为每个变量记录类型和局部变量表索引，并存入 Map。后续打印变量时，通过变量名查表获取索引和类型，从而生成正确的加载指令（ILOAD/DLOAD/ALOAD）和 println 调用。这种设计确保了变量引用的一致性，但也意味着变量必须先定义后使用，且不支持作用域嵌套。
基于栈的指令生成模式
变量定义和打印的字节码生成都遵循 JVM 的栈式指令模式：先将常量或变量值压入操作数栈，再执行存储或方法调用。例如变量定义使用 LDC 压栈后接 STORE 指令，打印则先获取 System.out 再加载变量并调用 println。理解这一模式是掌握 JVM 字节码生成的基础，文章通过具体代码直观地展示了这一过程。
示例验证与字节码可读性
文章通过一个包含字符串、整数和小数的 Test 类示例，编译后运行输出正确结果，并用 javap 展示了生成的字节码。这验证了从源码到字节码的完整链路。读者可以借助 javap 工具自行检查生成的字节码，对照文章中的指令序列加深理解。需要注意的是，示例仅覆盖了最基本的变量定义和打印，尚未涉及表达式、控制流等更复杂的语言特性。
Q&A
Jinx 语言支持哪些语法特性？
Jinx 支持类定义、变量定义和变量打印。变量值可以是字符串、整数或小数。
如何用 ANTLR4 解析 Jinx 源代码？
首先定义 Jinx 的语法文件（.g4），然后使用 ANTLR4 生成词法分析器（JinxLexer）和语法分析器（JinxParser）。通过 CharStreams 读取源文件，创建词法分析器和词法符号流，再创建语法分析器并调用 jinx() 方法得到语法树。
在遍历语法树时，如何记录变量信息？
在 Loader 类中，使用一个 Map 存储变量名到变量索引和类型的映射。当遇到变量定义时，计算变量在局部变量表中的索引（当前变量数量），记录类型（从词法符号获取），并将变量名、索引和类型存入 Map，同时生成对应的变量指令。
变量定义和打印分别生成什么 JVM 指令？
变量定义：根据类型使用 LDC 指令将常量推入栈顶，然后使用 STORE 指令（ISTORE 用于整型，DSTORE 用于浮点型，ASTORE 用于字符串）将值存入局部变量表。变量打印：先使用 GETSTATIC 获取 System.out，然后使用 LOAD 指令（ILOAD、DLOAD、ALOAD）加载变量值，最后调用 PrintStream.println 方法。
如何使用 ASM 生成包含 main 方法的类字节码？
创建 ClassWriter 对象，调用 visit 方法定义类（版本、访问标志、类名、父类等）。然后使用 visitMethod 创建 main 方法（访问标志为 public static，描述符为 ([Ljava/lang/String;)V）。遍历指令列表，对每条指令调用其 apply 方法将指令写入 MethodVisitor。最后添加 RETURN 指令，调用 visitMaxs 和 visitEnd，再通过 toByteArray 获取字节码。
编译 Jinx 源代码的完整流程是什么？
首先进行词法分析（JinxLexer）和语法分析（JinxParser）生成语法树。然后使用 ParseTreeWalker 遍历语法树，Loader 监听器生成指令列表并获取类名。最后根据指令列表和类名使用 ASM 生成字节码，并写入到以类名命名的 .class 文件中。
