sealed trait Scala学习笔记-面向对象篇

被sealed 声明的 trait仅能被同一文件的的类继承。
除了这个,我们通常将sealed用于枚举中,因为编译器在编译的时候知道这个trait被哪些类继承过,因此我们在match时对sealed trait进行case 的时候,如果你没有判断全部编译器在编译时就会报错。下面举例:

在Person.class文件中:
sealed trait Person
case class Teacher(name:String,age:Int) extends Person
case class Student(name:String,age:Int) extends Person

首先,Person这个trait只能在Person.class这个文件中声明,其次,编译器还会做枚举检验:

val someone:Person = Teacher("wang",30)
someone match {
   case x:Teacher => println("is a teacher")
}

编译的时候编译器会报错,因为你没有对Person的所有子类进行case 捕捉。

Warning:(14, 3) match may not be exhaustive.
It would fail on the following inputs: Calculate, Result(_)
  a match {
  ^

你可能感兴趣的:(sealed trait Scala学习笔记-面向对象篇)