我应该在声明 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
等)Bar
和 Baz
上的方法。但是 "out of the box",任何扩展 case class 的 class 都会被破坏。
这就是原因,您不能再通过另一个案例 class 扩展一个案例 class,从那以后它就被禁止了,我认为是 scala 2.11。将案例 class 扩展为 non-case class 仍然是允许的,但至少在 wartremover 看来这并不是一个好主意。
根据 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
等)Bar
和 Baz
上的方法。但是 "out of the box",任何扩展 case class 的 class 都会被破坏。
这就是原因,您不能再通过另一个案例 class 扩展一个案例 class,从那以后它就被禁止了,我认为是 scala 2.11。将案例 class 扩展为 non-case class 仍然是允许的,但至少在 wartremover 看来这并不是一个好主意。