scala - 案例类继承有什么*如此*错误？

Question

在寻找其他东西时，完全出于巧合，我偶然发现了一些关于案例类继承是多么邪恶的评论。有一个叫做 ProductN 的东西，坏蛋和国王， Sprite 和巫师，以及一些非常理想的属性是如何随着案例类继承而丢失的。那么案例类继承有什么问题呢？

Answer 1

一个字:平等

case 类附带提供的 equals 和 hashCode 实现。称为 equals 的等价关系是这样工作的(即必须具有以下属性):

1. 对于所有x； x 等于 x 为 true(自反)
2. 对于x、y、z；如果 x 等于 y 并且 y 等于 z 那么 x 等于 z(传递)
3. 对于x，y；如果 x 等于 y 那么 y 等于 x(对称)

只要您允许继承层次结构中的相等性，您就可以打破 2 和 3。以下示例简单地证明了这一点:

case class Point(x: Int, y: Int)
case class ColoredPoint(x: Int, y: Int, c: Color) extends Point(x, y) 

然后我们有:

Point(0, 0) equals ColoredPoint(0, 0, RED)

但不是

ColoredPoint(0, 0, RED) equals Point(0, 0)

您可能会争辩说所有的类层次结构都可能存在这个问题，这是事实。但是案例类的存在专门用于从开发人员的角度简化相等性(以及其他原因)，因此让它们表现非直观将是一个自己的目标的定义!

---

还有其他原因；值得注意的是 copy did not work as expected和 interaction with the pattern matcher .