怎么使用密封类Sealed实现受限的类继承体系架构设计

千敏酱_2534

千敏酱_2534

2026-04-03

511人浏览

原创

密封类用于禁止任意继承,强制所有子类型与之同文件定义以实现穷举验证;其子类只能是同文件的class或object,配合when可确保编译期穷尽检查。

怎么使用密封类sealed实现受限的类继承体系架构设计

密封类(Sealed Class)不是用来“实现继承”的,而是用来“禁止任意继承”的——它强制你显式声明所有合法子类型,从而让类型体系可穷举、可验证。

为什么 sealed class 不能被普通 extends 继承

在 Kotlin 中,sealed class 默认是 final 的:任何未在同一个文件中直接声明的子类都会编译失败。这不是语法限制,而是设计契约——所有子类型必须和密封类定义在同一个文件里(或嵌套在其中),编译器才能静态确认“就这些”。

  • 错误现象:Class 'MySub' is not allowed to inherit from sealed class 'Result'
  • 常见原因:把子类写在另一个文件、用了 open class 中间层、或误用 interface 模拟多态
  • 正确做法:子类必须是 class Sub : Result() 或 object Success : Result(),且与 sealed class Result 同文件

如何配合 when 表达式做穷尽检查

密封类的核心价值在 when:当所有分支都被覆盖,Kotlin 编译器能确保无遗漏;一旦新增子类,所有未更新的 when 会立刻报错(而不是运行时崩溃)。

  • 必须写全分支,否则报错:Non-exhaustive 'when' expression: the following cases are missing: Success, Error
  • 允许省略 else 分支(前提是已覆盖全部子类型)
  • 如果用了 is 类型检查而非 when,就失去穷尽性保障——别这么做
  • 示例:
    fun handleResult(r: Result) = when (r) {
        is Result.Success -> r.data
        is Result.Error -> throw r.exception
    }

object 和 class 子类的选择依据

密封类下混用 object(单例)和 class(可构造)不是风格问题,而是语义约束:

  • 状态无关、无需参数的场景(如加载中、完成、失败信号)→ 用 object Loading : Result()
  • 携带数据的场景(如成功返回值、错误详情)→ 用 class Success(val data: String) : Result()
  • 避免对 object 子类使用构造函数调用(Success() 会报错),也别给 object 加属性(除非是 val 常量)
  • 如果需要序列化,object 自动是单例,但 class 子类需手动加 @Serializable

Java 互操作时密封类会退化成普通抽象类

Kotlin 的密封性在 JVM 字节码层面无法完全保留。Java 代码能看到的是一个抽象类 + 若干 public 子类,且 Java 可以随意继承它们——这会破坏原本的设计意图。

  • 后果:Java 调用方可能写出未被 when 覆盖的新子类实例,导致运行时 MatchError
  • 缓解方式:在密封类上加 @JvmInline 不可行(不支持),只能靠文档约束 + 封装模块边界(如只暴露 sealed class 的伴生对象工厂方法)
  • 更稳妥的做法:若模块要被 Java 大量调用,改用 enum class(仅限无状态)或自定义 Result 接口 + 私有实现 + 静态工厂

真正难的不是写对语法,而是在团队协作中守住“所有子类型必须同文件”这条线——IDE 有时会自动把新类生成到错误包路径,或者重构时不小心移走,这类问题不会立刻报错,但会让 when 的穷尽性失效。

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

11057

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

8162

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

7072

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1184

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

968

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1436

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

2909

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

20191

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1275

8

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.7万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 133.9万人学习