讲师中心 微信公众号
AI工具推荐 视频效率加速

怎么使用 sealed 关键字声明密封类限制特定子类的继承范围

阿静姑娘_5815

阿静姑娘_5815

发布时间:2026-04-13 21:31:06

|

245人浏览过

|

来源于php中文网

原创

sealed类不能被任意类继承,因其核心作用是限制继承链,仅允许声明时显式指定的子类继承,从而保障类型安全与编译期穷尽性检查。

怎么使用 sealed 关键字声明密封类限制特定子类的继承范围

sealed 类为什么不能被任意类继承

密封类的核心作用是明确限制继承链——它只允许在声明时就指定的几个子类去继承,其他任何类都无法扩展它。这和 final 类不同:final 是彻底禁止继承,而 sealed 是“有名单的开放”。Kotlin 1.5+ 和 Java 15+(预览)都支持该特性,但语义和语法细节差异较大,实际用错常导致编译失败。

Kotlin 中 sealed class 的正确声明方式

Kotlin 要求所有直接子类必须与 sealed class 在同一个文件中(除非是 sealed interface,但那是 Kotlin 1.9+ 的新特性)。常见错误是把子类放到另一个文件,或忘了加 constructor() 修饰符(比如写成 class Sub : SealedBase 却没加 override 或构造参数匹配)。

实操建议:

  • sealed class 本身必须是 open(Kotlin 默认不 open,但 sealed 隐式 open,无需显式写)
  • 所有直接子类必须是非 private 的,且不能是 external 或 inner(除非是 companion object 内部的嵌套类)
  • 推荐用 object 声明无状态的分支(如 object Loading : UiState()),用 class 声明带数据的分支(如 data class Success(val data: String) : UiState())
  • 如果需要跨文件使用子类,改用 sealed interface + public 实现类(Kotlin 1.9+),但要注意 JVM 字节码兼容性

Java 中 sealed class 的模块化约束

Java 的 sealed 类强制要求用 permits 明确列出允许继承的子类,且这些子类必须与父类在同一个模块中(或未命名模块)。最常踩的坑是:子类用了 public 但没在 permits 里声明,或者子类和父类不在同一模块却没导出包。

实操建议:

  • sealed class Shape permits Circle, Rectangle —— Circle 和 Rectangle 必须已存在、非 final、且声明为 non-sealed 或 final 或 sealed
  • 若子类是 non-sealed,它自己可以被进一步继承;若是 final,则彻底终止继承链
  • 模块 module-info.java 中需确保子类所在包已 exports,否则编译器报错 class is not visible
  • Java 的 sealed 仅支持直接子类,不支持间接继承校验(即 A sealed → B extends A → C extends B 不受 A 约束)

sealed 类在 when 表达式中的穷尽性检查

这是 sealed 类最关键的收益点:Kotlin 编译器能静态确认 when 是否覆盖了所有可能分支,Java 则依赖 switch 的 sealed 支持(Java 21+ 正式版才稳定)。一旦漏写某个子类分支,Kotlin 直接报错 Exhaustive when expected,Java 则可能触发 Missing default label 警告(取决于编译选项)。

注意点:

  • Kotlin 中,只要子类都在同一文件,when (state) { is Loading -> ... } 就能触发穷尽检查;若用了 sealed interface 且子类跨文件,需确保它们都被 public 且模块可见
  • Java 的 switch 要启用穷尽性,必须用 sealed 类型作为 selector,并且所有 permits 子类都出现在 case 中,或有一个 default 分支(否则编译失败)
  • 别在 sealed 类里留空的 else 分支——那会绕过类型安全,失去密封意义

真正容易被忽略的是模块边界和文件位置约束:Kotlin 看文件,Java 看模块+permits+可见性,两者都不靠运行时检查,全靠编译期验证。一旦路径或模块配置偏移一格,错误信息往往不指向根本原因。

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

热门AI工具

更多
创客贴AI

创客贴AI是一款AI图像与设计工具,AI辅助的智能在线设计工具。

码上飞
码上飞 Hot

一款基于自然语言的AI应用开发平台,可根据用户描述自动生成应用程序,帮助个人和团队快速完成应用原型与开发。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

UpDream
UpDream Hot

一款AI视频创作工具,主要用于哔哩哔哩推出的自研AI视频创作工具,适合需要提升相关任务效率的用户。

相关专题

更多
java
java

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

12097

2023.06.15

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

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

9182

2023.07.05

java自学难吗
java自学难吗

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

7852

2023.07.31

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

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

1284

2023.08.01

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

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

1028

2023.08.02

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

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

1536

2023.08.02

java有什么用
java有什么用

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

3169

2023.08.02

java在线网站
java在线网站

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

20411

2023.08.03

DBeaver怎么导入数据
DBeaver怎么导入数据

DBeaver数据导入专题,整理Excel、CSV、SQL、TXT等常见文件的数据导入方法,涵盖目标数据库选择、数据表创建、字段映射、数据类型设置及导入参数配置等操作,帮助用户将本地文件中的数据写入数据库,并了解批量导入、重复数据处理和导入失败等常见问题的解决方法。

20

2026.11.05

热门下载

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

精品课程

更多
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn