Java Sealed Classes 和 Exhaustive Pattern Matching 指南

Java 17 引入 sealed classes，允许开发者明确列出接口或类的允许子类。此功能使 exhaustive pattern matching 成为可能，编译器可在 switch 表达式中验证所有情况均已覆盖，无需 default 子句。例如，一个 sealed interface `SealedType` 与子类 `TypeA` 和 `TypeB` 可用于仅处理这两种情况的 switch 表达式，无需 default 子句。

然而，这引入了新的破坏性更改：向 sealed class 添加新子类会在未重新编译的情况下破坏消费者代码，可能导致 runtime exception（如 `MatchException`）。这在 sealed types 暴露于公共 API 时尤为严重，因为分别编译可能导致未被发现的失败。

Sealed types 最适合在单个组件内部使用，所有代码一起重新编译时。跨模块边界使用时，可能引入仅在运行时可检测的新破坏方式。开发者应慎重考虑 sealed types 是否适用于公共 API。

FAQ Q: What are Java sealed classes and how do they work with pattern matching?

FAQ A: Java sealed classes, introduced in Java 17, allow developers to explicitly define which classes or interfaces can extend or implement a given type. This enables exhaustive pattern matching, where the compiler ensures all possible sub-types are handled in a switch expression, eliminating the need for a default clause. However, adding a new sub-type can break existing code if not recompiled.

来源: Hacker News · 由HeadlinesBriefing整理摘要