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) 的无色点是不同的。所以,
超级会员免费看
订阅专栏 解锁全文
84

被折叠的 条评论
为什么被折叠?



