Question

根据scala-wartremover静态分析工具，我必须将“final”放在我创建的每个case类的前面：错误消息说“case classes必须是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等方法。但是“开箱即用”，任何扩展案例类的类都会被破坏。

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

在声明案例类时我应该使用final修饰符吗？

1 个答案: