Java 21 switch 模式匹配实战:sealed 接口 + record 替代 if-instanceof 链
Java 21 switch 模式匹配实战:sealed 接口 + record 替代 if-instanceof 链
处理一族类型时,你写过多少这样的代码?if (shape instanceof Circle c) { ... } else if (shape instanceof Rectangle r) { ... } else if ...。分支一多就成了又臭又长的判断链,新增类型时编译器还不提醒你哪里漏了处理。Java 21 把 switch 模式匹配(JEP 441)转正,配合 sealed 接口和 record,能把这类代码写得又短又安全,漏一个分支直接编译报错。这篇用一个几何图形的例子讲透。
老写法:instanceof 链的三个痛点
先看没有模式匹配时的典型写法:
interfaceShape{}recordCircle(doubleradius)implementsShape{}recordRectangle(doublew,doubleh)implementsShape{}recordTriangle(doublebase,doubleheight)implementsShape{}doublearea(Shapeshape){if(shapeinstanceofCircle){Circlec=(Circle)shape;// 还得手动强转returnMath.PI*c.radius()*c.radius();}elseif(shapeinstanceofRectangle){Rectangler=(Rectangle)shape;returnr.w()*r.h();}elseif(shapeinstanceofTriangle){Trianglet=(Triangle)shape;return0.5*t.base()*t.height();}thrownewIllegalArgumentException("未知图形: "+shape);}痛点有三:每个分支都要手动强制转型;分支之间没有约束,漏写一个类型编译器一声不吭,只能运行时抛异常;代码噪音大,真正的业务(算面积)被样板代码淹没。
第一步:用 sealed 封死类型集合
sealed关键字(Java 17 转正)让你显式声明「哪些类型可以实现这个接口」。这一步是模式匹配能做穷尽性检查的前提:
sealedinterfaceShapepermitsCircle,Rectangle,Triangle{}recordCircle(doubleradius)implementsShape{}recordRectangle(doublew,doubleh)implementsShape{}recordTriangle(doublebase,doubleheight)implementsShape{}permits列出的三个就是Shape的全部实现,编译器由此知道这是一个封闭集合。record 则自动生成构造器、radius()这类访问器和equals,做数据载体正合适。
第二步:switch 模式匹配,强转全省了
有了 sealed,switch 就能直接对类型分支,并自动把匹配到的对象绑定到一个变量,不用再强转:
doublearea(Shapeshape){returnswitch(shape){caseCirclec->Math.PI*c.radius()*c.radius();caseRectangler->r.w()*r.h();caseTrianglet->0.5*t.base()*t.height();};}注意这里没有 default 分支,却能编译通过。因为Shape是 sealed 的,编译器确认三个 case 已经覆盖了所有可能的类型——这就是穷尽性(exhaustiveness)。它的价值在下一节。
sealed + switch 的杀手锏:漏分支编译不过
假设某天团队新增了一种图形:
sealedinterfaceShapepermitsCircle,Rectangle,Triangle,Square{}recordSquare(doubleside)implementsShape{}只要你没在area的 switch 里补上case Square,编译立刻失败:
error: the switch statement does not cover all possible input values这就是它比 instanceof 链强的核心:新增类型时,编译器会揪出每一处需要更新的 switch,而不是等到线上跑出IllegalArgumentException才发现。类型安全从运行时提前到了编译期。
record 解构:直接把字段拆出来
Java 21 的模式匹配还支持 record 解构(record patterns),可以在 case 里直接把 record 的字段绑定成变量,连访问器都省了:
doublearea(Shapeshape){returnswitch(shape){caseCircle(doubler)->Math.PI*r*r;caseRectangle(doublew,doubleh)->w*h;caseTriangle(doubleb,doubleh)->0.5*b*h;caseSquare(doubles)->s*s;};}when 守卫:同一类型再按条件细分
有时同一类型要根据取值走不同逻辑,用when加一个布尔守卫即可,比嵌套 if 清爽得多:
Stringdescribe(Shapeshape){returnswitch(shape){caseCirclec when c.radius()>100->"超大圆";caseCirclec->"普通圆";caseRectangle(doublew,doubleh)when w==h->"正方形(其实是矩形)";caseRectangler->"矩形";default->"其他图形";};}注意顺序:带 when 的分支要放在同类型的无条件分支前面,否则无条件分支会先兜住,守卫永远命中不了——编译器也会对这种「被遮蔽」的 case 报错,算是又帮你兜了一层。
别忘了处理 null
传统 switch 遇到 null 会直接抛NullPointerException。Java 21 允许显式写case null,把空值也纳入统一处理,不用在 switch 外面再包一层判空:
StringsafeDescribe(Shapeshape){returnswitch(shape){casenull->"空图形";caseCirclec->"圆";default->"其他";};}小结
sealed接口封死类型集合,是 switch 做穷尽性检查的前提;record 做不可变数据载体。- Java 21 的 switch 模式匹配自动完成类型匹配与变量绑定,彻底告别手动强转和 instanceof 链。
- 最大价值是编译期穷尽性:sealed 类型下漏写分支直接编译失败,新增类型时编译器帮你定位所有要改的地方。
- record 解构直接拆字段,
when守卫按条件细分,case null统一处理空值。
一句话记忆:sealed 定义「就这几种类型」,switch 模式匹配保证「每种都处理到」——漏一个,编译器不放你过。