Когда ответил , все , непосредственно наследующие подклассы запечатанного класса (абстрактного или нет), должны находиться в одном файле. Практическим следствием этого является то, что компилятор может предупредить, если сопоставление с образцом является неполным. Например:
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
равно sealed
, то компилятор предупреждает, если последняя строка не закомментирована.