在 jdk 21 中，switch 模式匹配通过 instanceof 的扩展语法和 switch 的模式匹配特性实现。核心做法是直接在 case 中使用类型作为模式，配合 record 或 sealed class 进行精确匹配，无需显式类型转换。例如，使用 case string s -> ... 直接绑定变量，若类型不匹配则自动跳过。jdk 21 进一步增强了这一功能，支持更复杂的模式组合。
instanceof 模式匹配的具体用法
JDK 16 引入的 instanceof 模式匹配允许在判断类型的同时直接声明变量。在 JDK 21 中，这一特性更加稳定且广泛适用。开发者可以直接在条件语句中使用 if (obj instanceof String s)，其中 s 即为强类型变量，后续代码可直接使用而无需强制转换。这种写法不仅减少了样板代码，还提高了安全性，因为编译器会确保类型检查与变量绑定同步完成。
public class Example {
public void process(Object obj) {
if (obj instanceof String s) {
System.out.println("String: " + s.length());
} else if (obj instanceof Integer i) {
System.out.println("Integer: " + i * 2);
}
}
}
上述代码展示了如何在 process 方法中处理不同类型的对象。当输入为字符串时，输出其长度；当输入为整数时，输出其两倍值。若输入既非字符串也非整数，则无输出。此逻辑依赖于 instanceof 的类型检查与变量绑定机制，确保 s 和 i 仅在对应类型匹配时可用。
switch 中的模式匹配进阶应用
JDK 21 的 switch 模式匹配允许在 case 分支中直接使用类型模式，并结合 when 子句添加额外条件。这种组合使得复杂的多态逻辑处理更加简洁。例如，在处理形状对象时，可以根据具体形状类型（如圆形、矩形）执行不同操作，同时还能基于属性（如半径大小）进一步细化行为。这种灵活性显著降低了嵌套条件语句的使用频率。
public class ShapeProcessor {
public String describe(Object shape) {
return switch (shape) {
case Circle c when c.radius() > 5 -> "Large circle";
case Circle c -> "Small circle";
case Rectangle r -> "Rectangle with area " + (r.width() * r.height());
default -> "Unknown shape";
};
}
}
该示例定义了 describe 方法，用于描述传入的形状对象。对于半径大于 5 的圆形，返回 "Large circle"；否则返回 "Small circle"。对于矩形，计算并返回其面积描述。其他情况统一返回 "Unknown shape"。这里的关键在于 when 子句的应用，它允许在类型匹配的基础上增加运行时条件判断，从而避免额外的嵌套 if-else 结构。
sealed class 如何限制 switch 覆盖范围
在 JDK 21 中，结合 sealed class 与 switch 模式匹配可以确保类型系统的完整性。通过定义一个密封类及其有限子类，编译器能够验证 switch 表达式是否覆盖了所有可能的子类型。如果遗漏任何子类，编译器将报错，提示开发者补充相应分支。这种机制不仅提升了代码的可维护性，还减少了因未处理特定类型而导致的潜在运行时错误。
public sealed interface Shape permits Circle, Rectangle {}
public record Circle(double radius) implements Shape {}
public record Rectangle(double width, double height) implements Shape {}
public class CompleteShapeProcessor {
public String classify(Shape shape) {
return switch (shape) {
case Circle c -> "Circle";
case Rectangle r -> "Rectangle";
};
}
}
以上代码定义了一个密封接口 Shape，仅允许 Circle 和 Rectangle 两个记录类实现。在 classify 方法中，switch 表达式必须涵盖这两个子类型，否则编译失败。这保证了无论未来如何扩展 Shape 的实现，只要新增子类，就必须更新相关逻辑，从而维持类型安全。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
