Java密封类需用permits显式列出所有子类,子类须在同一编译单元中声明并用final/sealed/non-sealed修饰;non-sealed用于开放特定分支继承;switch匹配时要求穷尽所有permits子类或含default。
密封类怎么声明才合法
Java 的
类必须显式列出所有允许的子类,且这些子类必须用
子句声明,或在同一个编译单元中直接定义并用
/
/
明确响应。
常见错误现象:
或子类编译失败提示 “not allowed to extend sealed class”。
列表里的类名必须是**已存在或同文件定义**的类,不能是未声明的引用
被许可的子类必须在
中**全名拼写一致**(含包名),如果子类在其他文件,需确保它和父类在相同模块且模块描述符中开放了该包
子类不能是匿名类、本地类,也不能是泛型类型参数化后的具体类(如
)
如果子类在另一个文件,它必须用
、
或
三者之一修饰——漏掉会报错
sealed + non-sealed 组合的实际意义
用
是为了“在密封链中开一个口子”,让某个子类可以继续被任意继承,而其他分支仍受控。这不是妥协,而是分层控制的设计选择。
使用场景:比如你定义了
密封类,允许
、
、
;其中
本身结构稳定,你希望它也密封;但
可能需要用户扩展为
、
等,这时就把它声明为
。
立即学习
“
Java免费学习笔记(深入)
”;
类本身**不自动继承父类的密封性**,它只是“解除父类对它的继承限制”,后续继承关系由它自己决定
如果误把本该
的子类写成
,会导致用户无法扩展,但编译器不会警告——这是设计意图问题,不是语法错误
模块化项目中,
类若在导出包里,外部模块才能继承它;没导出=实际仍不可继承
switch 表达式匹配 sealed 类时的 exhaustiveness 检查
Java 编译器在 switch 中对密封类做穷尽性检查(exhaustiveness),前提是 switch 的类型是密封类,且所有 permitted 子类都出现在 case 分支中(或有
),否则报错:
。
Eclipse导入Android或其他的JAVA项目的正确方法 WORD版
本文档主要讲述的是Eclipse导入Android或其他的JAVA项目的正确方法;希望本文档会给有需要的朋友带来帮助;感兴趣的朋友可以过来看看
下载
性能影响很小,这是编译期检查,不增加运行时开销;但能提前暴露漏处理的子类,尤其在新增子类后忘记更新 switch 逻辑时。
case 必须是具体子类名,不能用通配或模式变量(如
不触发穷尽检查,除非启用 preview 的模式匹配特性)
如果子类是
,则不能只列它——因为它的子类数量不可知,编译器拒绝认定“穷尽”,此时必须加
IDE 可能提示“add missing cases”,但别盲目点;先确认是否真要覆盖全部,还是有意用
处理未知扩展
和 record、enum、interface 混用的边界情况
密封类可以是
(从 Java 15+ 支持),也可以是
(enum 本身就是隐式 sealed),但不能直接是 interface——接口不能用
修饰,不过可以用
类实现接口,再让子类继承该类。
容易踩的坑在于混淆“密封的是谁”:比如你写了
,这会直接编译失败,因为
不能修饰 interface。
record 做密封父类时,其组件字段自动
,子类不能重写 accessor,但可以定义自己的字段和方法
enum 实现密封语义是天然的,无需加
关键字;但它不能作为
列表中的成员(enum 是具体值,不是可继承的类)
如果密封类实现了某个 interface,子类不必重复 implements——继承即继承契约,但子类若想额外实现别的 interface,可以自由添加
真正难的不是语法,是判断哪些类该密封、哪些分支该开放、哪些 case 该用 default 而不是硬列全——这取决于你是否真的掌控了领域模型的演化节奏。漏掉一个
或多写一个
条目,系统边界就悄悄变了。
sealedpermitsnon-sealedfinalsealederror: sealed type must have at least one permitted subtypepermitspermitsNodefinalsealednon-sealednon-sealedExpressionLiteralBinaryOpVariableBinaryOpVariableEnvVariableConfigVariablenon-sealednon-sealednon-sealedfinalnon-sealeddefaultthe switch expression does not cover all possible valuescase Expression e:non-sealeddefaultdefaultrecordenumsealedsealedsealed interface Shape permits Circle, Rectsealedfinalsealedpermitsnon-sealedpermits