Scala密封特性