HIT软件构造ADT和OOP中的“等价性”学习笔记

 

站在观察者角度,利用AF, 定义不可变对象之间的等价关系

引用等 价性和对象等价性

可变数据类型的观察等价性和行为等价性

理解Object的契约,正确 实现等价关系判定

现实中的每个对象实体都是独特的

所以无法完全相等,但有“相似性”

在人类语言和数学中,“绝对相等”是存在的

等价性问题:软件中,什么情况下两个事物认为是等价的相互替代/p>

ADT是对数据的抽象, 体现为一组对数据的操作

如果AF映射到同样的结果,则等价

严格来说,在没有 AF的情况下直接在 equals()中判断每 个域的等价性,是 不正确的

对象的hashcode变了,但是 HashSet没有更新其在bucket的位置,查找时在新hashcode的位置找 不到元素

可变类型,行为等价, 需要引用相等

声明:本站部分文章及图片源自用户投稿,如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢!

上一篇 2022年4月16日
下一篇 2022年4月16日

相关推荐