Scala 禁止case class inheritance
case class Person(name: String, age: Int) case class FootballPlayer(name: String, age: Int, number: Int) extends Person(name, age)
在编译时会报出以下错误:
Error:(5, 12) case class FootballPlayer has case ancestor Person, but case-to-case inheritance is prohibited. To overcome this limitation, use extractors to pattern match on non-leaf nodes.
case class FootballPlayer(name: String, age: Int, number: Int) extends Person(name, age)
^
原因有挺多,下边的两篇文章讲了下理由,但我还是没明白其中的必要性。
http://tech.schmitztech.com/scala/caseclassinheritence.html
http://stackoverflow.com/questions/11158929/what-is-so-wrong-with-case-class-inheritance
我们可以使得两个case class继承同一个trait来实际于case class继承的行为,但是这样就得自己写extractor了。比如
sealed trait Person{ def age: Int def name: String } case class FootballPlayer(name: String, age: Int, number: Int) extends Person val torres = FootballPlayer("Fernando Torres", 31, 19) val Person(name, age) = torres // can‘t resolve symbal Person
会编译出错, 因为Person是个trait,它并不支持extractor的语法。
需要给Person加个Companion object,像这样
object Person{ def unapply(p: Person) = Some((p.name, p.age)) }
这时就能用extractor了
val torres = FootballPlayer("Fernando Torres", 31, 19) val Person(name, age) = torres
编译器会为case class生成equals方法,但普通类就不会了。
sealed trait Person{ def age: Int def name: String } case class FootballPlayer(name: String, age: Int, number: Int) extends Person class Doctor(val name: String, val age: Int) extends Person val torresA = FootballPlayer("Fernando Torres", 31, 19) val torresB = FootballPlayer("Fernando Torres", 31, 19) println(torresA == torresB)//true val docA = new Doctor("C", 30) val docB = new Doctor("C", 30) println(docA == docB)//false
这时,当两个FootballPlayer的构造参数相同,它们就相等。但是对于Doctor类来说不是这样了。
当给FootballPlayer这个case class的父类Person定义了equals方法之后,就不是这样了。
sealed trait Person{self => def age: Int def name: String override def equals(that: Any):Boolean = { that match{ case p: Person => p.age == self.age && p.name == self.name case _ => false } } override def hashCode: Int = { var hash = 1 hash = hash * 31 + age hash = hash * 31 + {if(name !=null) name.hashCode else 0} hash } } case class FootballPlayer(name: String, age: Int, number: Int) extends Person class Doctor(val name: String, val age: Int) extends Person val torresA = FootballPlayer("Fernando Torres", 31, 19) val torresB = FootballPlayer("Fernando Torres", 31, 19) torresA.equals(torresB) println(torresA == torresB)//true val docA = new Doctor("C", 30) val docB = new Doctor("C", 30) println(docA == docB) //true val footballPlayerC = FootballPlayer("C", 30, 30) println(footballPlayerC == docA) //true println(footballPlayerC.hashCode())//1958 println(docA.hashCode())//1958
貌似这时候case class就不会生成equals方法了, 转而使用父类Person的equals方法。并且要记得同时在Person中覆盖hashCode方法,不然就破坏了equals对hashCode的要求。考虑到hashCode和equals要是自己写还是有点麻烦,所以没有必要就不要在case class的父类中实现equals和hashCode方法了。还是让编译器给case class生成equals和hashCode比较简单。