java 17+通过类型模式(如case string s)简化类型检查与转换,java 21新增记录模式(如case circle(point(var x, var y), double r))支持嵌套解构,提升安全性、简洁性与表达力。
java 17+(特别是 java 21 正式支持完整模式匹配)通过 switch 的增强语法,允许在 case 中直接对对象的类型、结构甚至字段值进行匹配,无需冗长的 instanceof + 强制转换 + 条件判断组合。核心在于使用**类型模式(type patterns)**和**记录模式(record patterns)**(java 21 起正式标准化),让 switch 更安全、更简洁、更具表达力。
✅ 基础:用类型模式替代 instanceof + cast
传统方式需先检查类型再强转,容易出错且啰嗦:
// ❌ 旧写法
if (obj instanceof String) {
String s = (String) obj;
System.out.println("String: " + s.length());
} else if (obj instanceof Integer) {
Integer i = (Integer) obj;
System.out.println("Integer: " + i * 2);
}
Java 17+ 可直接在 case 中声明并绑定变量:
// ✅ Java 17+ 类型模式(需要 --enable-preview 于 Java 17/18/19/20)
switch (obj) {
case String s -> System.out.println("String: " + s.length());
case Integer i -> System.out.println("Integer: " + i * 2);
case Double d when d > 0 -> System.out.println("Positive double");
case null -> System.out.println("Got null");
default -> System.out.println("Unknown type");
}
-
每个
case Type var自动完成instanceof Type检查 + 安全绑定,var在该分支作用域内直接可用 -
when子句支持额外布尔条件(如d > 0),比if更紧凑 -
case null是合法分支,显式处理空值,避免 NPE - 注意:Java 17–20 需启用预览特性:
javac --enable-preview --source 17 MyFile.java
✅ 进阶:用记录模式解构 record 对象(Java 21+ 推荐)
若对象是 record(如 Point(int x, int y)),Java 21 支持直接在 case 中解构其组件:
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。
record Point(int x, int y) {}
record Circle(Point center, double radius) {}
record Rectangle(Point p1, Point p2) {}
<p>Object shape = new Circle(new Point(0, 0), 5.0);</p><p>switch (shape) {
case Circle(Point(var x, var y), double r) ->
System.out.printf("Circle at (%d,%d), r=%.1f%n", x, y, r);
case Rectangle(Point(x1, y1), Point(x2, y2)) ->
System.out.printf("Rect from (%d,%d) to (%d,%d)%n", x1, y1, x2, y2);
case Point(int x, int y) ->
System.out.printf("Standalone point (%d,%d)%n", x, y);
default ->
System.out.println("Not a supported shape");
}</p>
-
Circle(Point(var x, var y), double r)表示:匹配Circle实例,并同时解构其center字段为Point类型,再进一步解构该Point的x和y;radius直接绑定为double r - 嵌套模式天然支持深度结构匹配,代码可读性远超手动 getter 调用
- 所有绑定变量(
x,y,r等)在对应分支内自动生效,类型安全、不可变
✅ 实用技巧与注意事项
-
必须覆盖所有可能类型:编译器会检查是否遗漏常见子类型(尤其在密封类 hierarchy 下)。配合
sealed类 +permits,可实现穷尽匹配(exhaustive matching) -
不支持普通 class 的字段解构:只有
record或未来可能扩展的模式才支持解构;普通类仍需类型模式 + 手动调用 getter -
慎用复杂 when 条件:过度依赖
when可能降低可读性,简单逻辑推荐保留在分支体内 -
返回值支持:switch 表达式(带
->或:+yield)可直接返回结果,适合做类型安全的转换函数
✅ 示例:类型安全的 JSON-like 数据解析
假设你有一组异构数据(来自 JSON 解析后的 Object):
Object data = Map.of("name", "Alice", "age", 30, "active", true);
<p>String description = switch (data) {
case Map, ?> m when m.containsKey("name") && m.containsKey("age") ->
String.format("Person: %s (%d)", m.get("name"), m.get("age"));
case List> list when !list.isEmpty() ->
"Non-empty list of " + list.size();
case String s when s.isBlank() ->
"Empty string";
case String s ->
"Plain string: " + s;
case Integer i when i
"Negative integer";
case Integer i ->
"Positive integer: " + i;
default ->
"Unknown data format";
};</p>
这种写法兼具类型判断、空值防护、业务逻辑校验,且无强制转换风险。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










