JEP 457: Class-File API (预览) 集成至 JDK 22

JEP 457 提出了一个用于解析、生成和转换 Java 类文件的 API，旨在作为 JDK 内部对 ASM（Java 字节码操作和分析框架）的替代品，并计划未来将其作为公共 API 开放。Oracle 的 Java 语言架构师 Brian Goetz 将 ASM 描述为“具有大量遗留问题的旧代码库”，并提供了背景信息，说明该草案将如何演变并最终取代 ASM。

核心原则

1. 不可变性：Class-File API 将类文件实体（如字段、方法、属性和字节码指令）视为不可变对象，确保在类文件进行转换时能够可靠共享。
2. 树结构表示：API 采用树结构表示，以反映类文件的层次结构，支持用户驱动的导航以实现高效解析。
3. 惰性解析：API 强调惰性解析，仅在满足用户需求时处理类文件的部分内容。

API 结构与抽象

Class-File API 位于 java.lang.classfile 包及其子包中，包含三个主要抽象：

1. 元素（Elements）：类文件组件的不可变描述。
2. 构建器（Builders）：每种复合元素对应的构建器，用于构建类文件。
3. 转换（Transforms）：在构建过程中修改元素的函数。

新方法与模式匹配

API 引入了使用模式解析类文件的新方法，取代了 ASM 的基于访问者的方法。这种方法利用了 Java 的模式匹配能力，使表达式更直接和简洁。例如，开发者可以遍历 CodeModel 中的指令，并匹配感兴趣的元素以构建依赖图。

生成类文件

API 提供了使用构建器生成类文件的功能。与传统习惯不同，客户端提供一个接受构建器的 lambda 表达式，这种方法使代码生成更具体和透明，并支持操作序列的重放。此外，API 还提供了管理块作用域、局部变量索引计算和标签管理的高级便利。

转换能力

Class-File API 的转换能力显著。解析和生成方法对齐，使得转换无缝进行。例如，开发者可以处理类文件以移除特定方法或通过应用各种转换来修改方法体。

应对类文件格式的快速演变

JEP 457 的一个重要方面是它如何应对 Java 生态系统中类文件格式的快速演变。通过提供一个与 JDK 共同演化的标准 API，确保使用该 API 的框架和工具将自动支持最新 JDK 的类文件。这对于采用具有类文件表示的新语言和虚拟机功能至关重要。

结论

JEP 457 的 Class-File API 是一个前瞻性的解决方案，符合现代 Java 开发的需求。其设计原则、抽象和转换能力使其成为 Java 开发者的强大工具，提高了 Java 生态系统中类文件管理的效率和可靠性。