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

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

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

谁是正确的，为什么？

最佳答案

从某种意义上讲，使用它确实可以改变事情，这不是多余的。如您所料，您不能扩展最终案例类，但是可以扩展非最终案例类。
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等)来解决此问题。但是“开箱即用”的任何扩展case类的类都将被破坏。

这就是原因，您不能再将一个案例类扩展到另一个案例类，自从我认为scala 2.11开始就被禁止了。仍然可以将案例类扩展为非案例类，但是至少在Wartremover看来这不是一个好主意。

关于scala - 在声明案例类时是否应该使用final修饰符？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/34561614/