sealed abstract
和abstract
Scala类有什么区别?
Answers:
区别在于,密封类的所有子类(无论是否抽象)都必须与密封类位于同一文件中。
如回答所示,密封类的所有直接继承的子类(是否抽象)都必须在同一文件中。这样做的实际后果是,如果模式匹配不完整,则编译器可以发出警告。例如:
sealed abstract class Tree
case class Node(left: Tree, right: Tree) extends Tree
case class Leaf[T](value: T) extends Tree
case object Empty extends Tree
def dps(t: Tree): Unit = t match {
case Node(left, right) => dps(left); dps(right)
case Leaf(x) => println("Leaf "+x)
// case Empty => println("Empty") // Compiler warns here
}
如果Tree
is为sealed
,则编译器会发出警告,除非最后一行未注释。
sealed
关键字,为什么编译器不能推断出模式匹配不完整?
sealed
关键字的jar文件中。到此为止,所有内容都已编译,包括match
语句。现在,另一个用户抓住了这个jar并进行了扩展Tree
。没有什么可以阻止他这样做的,但是到那时,match
声明不再完整。由于他没有编译它,只是从您的jar中使用它,因此编译器无法警告他。而且由于创建罐子时您并不知道它,所以它无法警告您。
sealed
?看起来很容易推断,因为即使没有新的孩子(编译器尚不了解他们),也没有分支Empty
。我说的是警告创建瓶子的人,而不是警告使用它的人。
Empty
丢失了,但是重点是,即使您添加Empty
,它也可能是不完整的,取决于是否在单独的编译中发生了什么。