scala - 声明案例类时是否应该使用 Final 修饰符？

Question

根据scala-wartremover静态分析工具我必须将“final”放在我创建的每个案例类前面:错误消息显示“案例类必须是最终的”。

根据scapegoat (Scala 的另一个静态分析工具)相反，我不应该(错误消息:“案例类上的冗余最终修饰符”)

谁是对的，为什么？

Answer 1

从使用它确实会改变事情的意义上来说，它并不是多余的。正如人们所期望的，您不能扩展最终案例类，但可以扩展非最终案例类。为什么 wartremover 建议病例分类应该是最终的？嗯，因为扩展它们并不是一个好主意。考虑一下:

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等)Bar 和 Baz 上的方法。但是“开箱即用”，任何扩展案例类的类都会被破坏。

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