我应该在声明 case 类 时使用 final 修饰符吗?

Should I use the final modifier when declaring case classes?

根据 scala-wartremover 静态分析工具,我必须将 "final" 放在每个案例的前面 类 我创建:错误消息显示 "case classes must be final".

根据 scapegoat(Scala 的另一个静态分析工具),我不应该这样做(错误消息:"Redundant final modifier on case class")

谁是对的,为什么?

从使用它确实会改变事情的意义上说,它并不多余。正如人们所预料的那样,您不能扩展最终案例 class,但可以扩展 non-final。 为什么 wartremover 建议 case classes 应该是最终的?好吧,因为扩展它们并不是一个好主意。考虑一下:

scala> case class Foo(v:Int)
defined class Foo

scala> class Bar(v: Int, val x: Int) extends Foo(v)
defined class Bar

scala> new Bar(1, 1) == new Bar(1, 1)
res25: Boolean = true

scala> new Bar(1, 1) == new Bar(1, 2)
res26: Boolean = true
// ????

真的吗? Bar(1,1) 等于 Bar(1,2)?这是出乎意料的。但是等等,还有更多:

scala> new Bar(1,1) == Foo(1)
res27: Boolean = true

scala> class Baz(v: Int) extends Foo(v)
defined class Baz

scala> new Baz(1) == new Bar(1,1)
res29: Boolean = true //???

scala> println (new Bar(1,1))
Foo(1) // ???

scala> new Bar(1,2).copy()
res49: Foo = Foo(1) // ???

Bar 的副本具有类型 Foo?这样可以吗?

当然,我们可以通过覆盖 .equals(和 .hashCode.toString.unapply.copy 以及,可能 .productIterator.productArity.productElement 等)BarBaz 上的方法。但是 "out of the box",任何扩展 case class 的 class 都会被破坏。

这就是原因,您不能再通过另一个案例 class 扩展一个案例 class,从那以后它就被禁止了,我认为是 scala 2.11。将案例 class 扩展为 non-case class 仍然是允许的,但至少在 wartremover 看来这并不是一个好主意。