sealed 类与穷举式 switch
构建编译器可以检查的封闭层次结构
sealed 类与穷举式 switch 是 CoddyKit 上的免费 Dart Academy 课时。 这是第 2 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Dart Academy 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 Dart Academy 课程共包含 4 节课。
封闭的类型家族
sealed 类定义了一组固定的子类型。文件外的代码不能添加新子类型,因此整个家族都是完全确定的。
sealed class Shape {}声明子类型
sealed 类型的子类位于同一个文件中。它们共同构成编译器必须考虑的所有变体。
class Circle extends Shape {}
class Square extends Shape {}不能直接实例化
sealed 类会隐式成为抽象类,因此您永远不能直接创建它。您只能构建它已知的某个子类型。
var s = Shape(); // error
var s = Circle(); // oksealed 的作用
由于这些子类型是完整穷举的,Dart 知道完整的列表。这让 switch 能够检查您是否处理了每一种情况。
对所有子类型使用 switch
对 sealed 值使用 switch 时,可以通过模式匹配每个子类型。每个分支都会看到与之匹配的精确类型。
switch (shape) {
case Circle(): print('round');
case Square(): print('boxy');
}检查是否覆盖全部情况
如果遗漏某个子类型,编译器会报告错误。在 sealed switch 中,您无法悄悄漏掉某种情况。
无需 default
由于每种情况都已覆盖,您不需要 default 分支。添加它反而只会掩盖未来遗漏的情况。
将 switch 作为表达式
将 switch 作为表达式使用,可以直接计算出一个值。完整性检查仍然适用,因此每个分支都必须返回某个结果。
final name = switch (shape) {
Circle() => 'circle',
Square() => 'square',
};添加新变体
之后添加新的子类型时,每个遗漏它的 switch 都会标红。编译器会引导您逐一更新它们。
class Triangle extends Shape {}
// existing switches now errorsealed 与 abstract
abstract 类允许存在未知的外部子类型,因此 switch 无法覆盖全部情况。sealed 则会封闭这个集合,以便进行完整检查。
非常适合表示状态
sealed 类型非常适合建模应用的状态,例如 Loading、成功和错误。这样每个界面分支都能得到保证。✅
sealed class Result {}
class Loading extends Result {}
class Done extends Result {}快速检查
快速检查 sealed 是否覆盖全部情况。
回顾
您已经看到,sealed 类会封闭一个类型家族,并让每个 switch 都覆盖全部情况,因此遗漏的情况会变成编译错误。🎯
常见问题解答
「sealed 类与穷举式 switch」课时是免费的吗?
是的 — 「sealed 类与穷举式 switch」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 Dart Academy 课程的其余内容,请升级到 CoddyKit PRO。 Dart Academy 课程共包含 4 节课。
「sealed 类与穷举式 switch」这节课中我会学到什么?
构建编译器可以检查的封闭层次结构 你通过在浏览器中直接运行的动手代码来练习 Dart Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 Dart Academy 需要有经验吗?
无需任何先前经验。CoddyKit 上的 Dart Academy 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 2 节课,共 4 节。
「sealed 类与穷举式 switch」课时需要多长时间?
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。
我能在这节 Dart Academy 课中编写并运行代码吗?
能。每节 Dart Academy 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。
此课程中的所有课时
- final 字段与深度不可变性
- sealed 类与穷举式 switch
- base、interface 与 final 修饰符
- copyWith 与值相等