密封特�质

密封特质用于定义封闭的层次结构，其中所有可能的子类都是已知的。它们只能在其声明所在的同一文件中扩展，允许编译器执行穷尽性检查。此功能对于模式匹配特别有用。