2026-04-24

Java 的密封类与穷举模式匹配机制

Java 17 引入了密封类（sealed classes）和接口，用于限制哪些类型可以继承或实现基础类。此功能支持 switch 表达式中的穷举模式匹配，允许编译器在无需 default 子句的情况下验证所有可能的情况均已处理。