Scala 对象相等性与 Scala 与 Java 的结合使用
1. 对象相等性相关内容
在对象相等性的讨论中,子类是否能与超类的实例相等是一个需要考虑的问题。例如, ColoredPoint
重写了 canEqual
方法,这使得彩色点永远不可能与普通点相等。而匿名子类引用 pAnon
没有重写 canEqual
方法,其实例就可以与 Point
实例相等。
有一种观点认为 canEqual
方法违反了里氏替换原则(Liskov Substitution Principle,LSP)。比如,通过比较运行时类来实现 equals
方法,会导致无法定义其实例能与超类实例相等的子类,这被认为是违反 LSP 的。但实际上,这是一种错误的解读。LSP 并不要求子类的行为与超类完全相同,只要求子类的行为符合超类的契约。
以之前的例子来说,“ coll contains cp
” 返回 false
,尽管 cp
的 x
和 y
值与集合中的点匹配。这看似违反了 LSP,但实际上是因为重写 ColoredPoint
的 equals
方法表明,坐标为 (1, 2)
的靛蓝色点与坐标为 (1, 2)
的无色点是不同的。所以,