码迷,mamicode.com
首页 > 其他好文 > 详细

软件构造第三章 第五部分

时间:2019-06-23 22:33:27      阅读:108      评论:0      收藏:0      [点我收藏+]

标签:height   adt   技术   内存   alt   重写   基本数据类型   必须   区别   

ADT和OOP中的等价性

equal和==

hashcode()和equals()方法总是一起被重写

“==”:引用等价性,指向相同的内存地址,

equals():对象等价性,在自己定义的ADT时,需要重写Object的equals()/

"=="是对基本数据类型,而对于对象类型,使用equals()。

 

equal的自反、传递、对称

等价的三种定义

1)若AF映射到同样的结果,则等价

2)若两个对象之间满足自反,传递、对称的关系,那么为等价关系

3)站在外部观察者角度发现二者没有区别(对于ADT来说,观察就表示调用该类的运算符)
除非对象被修改了,否则多次调用该对象得到的结果应该时一样的

相等的对象,其hashcode()的结果必须一致

非空:a.equals(null)返回false

hashcode()

重写equal必须重写hashcode,相同的对象一定要有相同的hashcode

 

可变对象的观察等价性、行为等价性

Object中缺省使用“==”来判断两个对象是否相同

instanceof()操作应该只在equals方法之内使用(不好的操作)

观察等价性:在不改变状态的情况下,两个可变对象是否看起来一致:

1)调用:observer、producer、creater

2)不改变状态

行为等价性:调用对象的任意方法、都展现除一致的结果。

对于可变的对象来说、往往倾向于实现严格的观察等价性,但有些时候,观察等价性可能导致bug,甚至破坏RI

比如:

技术图片

如果某个mutable的对象包含在Set集合类中,当其发生改变后,集合类的行为不确定性需要小心。

对可变类型,实 现行为等价性即可 。也就是说,只有指 向同样内存空间的objects,才是相等的。 所以对可变类型来说,无需重写这两个函数,直接继承 Object的两个方法即可。 如果一定要判断两个可变 对象看起来是否一致,最好定义一个新的方法。

软件构造第三章 第五部分

标签:height   adt   技术   内存   alt   重写   基本数据类型   必须   区别   

原文地址:https://www.cnblogs.com/boston-o/p/11074608.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!