在声明case类时，我应该使用final修饰符吗？
在声明case类时，我应该使用final修饰符吗？
提问于 2016-01-02 01:07:31
根据scala-wartremover静态分析工具，我必须将"final“放在我创建的每个case类的前面:错误消息说"case类必须是final”。
根据scapegoat (Scala的另一个静态分析工具)，我不应该(错误消息：“case类上的冗余最终修饰符”)
谁是对的，为什么？
回答 1
Stack Overflow用户
回答已采纳
发布于 2016-01-02 02:32:51
它并不是多余的，因为使用它确实会改变事情。正如人们所期望的那样，您不能扩展final case类，但您可以扩展非final类。为什么wartremover建议case类应该是最终类？嗯，因为扩展它们并不是一个很好的主意。请考虑以下内容：
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类的类都会被破坏。
这就是原因，你不能再用一个case类来扩展另一个case类，这是被禁止的，我认为是scala 2.11。通过非case类扩展case类仍然是允许的，但至少在wartremover看来并不是一个好主意。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/34561614
复制相关文章
相似问题
腾讯云开发者
