JEP 455: 原始类型在模式匹配、instanceof和switch中的应用（预览）

JEP 455 已从Proposed to Target状态提升为Targeted状态，计划在JDK 23中实现。该JEP由Project Amber主导，旨在通过在所有模式上下文中允许使用原始类型模式来增强模式匹配，并扩展instanceof和switch以支持所有原始类型。Oracle技术团队的负责人Aggelos Biboudis最近发布了该功能的更新版规范草案。

主要改进

1. 简化原始类型测试与转换：

   • 开发者可以直接在不同原始类型（如int、byte、float）之间进行测试和转换，而无需传统的繁琐语法。

   • 例如，原本需要手动范围检查和显式类型转换的代码，现在可以简化为：

     if (i instanceof byte b) {
         ... b ...
     }

2. 增强switch表达式的处理能力：

   • switch表达式可以直接处理原始类型模式，提升代码的清晰度和表达力。

   • 例如，使用原始类型模式简化switch语句：

     switch (x.getStatus()) {
         case 0 -> System.out.println("OK");
         case 1 -> System.out.println("Warning");
         case 2 -> System.out.println("Error");
         case int i -> System.out.println("Unknown status: " + i);
     }

3. 改进记录模式与原始类型的交互：

   • 之前记录模式对原始类型的支持有限，需要显式类型声明并可能导致信息丢失。

   • 新增强允许更灵活地分解记录，自动缩小类型而不丢失信息，例如：

     if (json instanceof JsonObject(var map)
         && map.get("name") instanceof JsonString(String n)
         && map.get("age") instanceof JsonNumber(double a)) {
         int age = (int)a; // 使用JEP 455后更直接的处理方式
     }

4. 修复instanceof和switch中原始类型模式的遗漏：

   • 通过将原始类型纳入这些结构，开发者可以执行更细致和安全的类型检查，减少转换过程中的信息丢失风险。

目标与影响

• 目标：JEP 455不旨在引入新的类型转换机制，而是使现有机制更加健壮和包容。
• 影响：该更新简化了处理不同类型数据的语法，使Java的类型检查机制更加一致，提升开发体验的直观性和效率。

结论

JEP 455是Java语言演进中的重要一步，通过将原始类型模式集成到所有相关上下文中，增强了Java的模式匹配能力。这一更新不仅简化了代码，还使类型检查机制更加统一，为开发者提供了更高效和直观的编程体验。