复习blog5

Equality in ADT and OOP

用AF描述：a equals b  iff AF(a)=AF(b)

用关系E描述：a equals b iff E(a,b)

自反：E(a,a)

对称：E(a,b)->E(b,a)

传递：E(a,b)^E(b,c)->E(a,c)

观察等价：a equals b iff 对a和b的任何同一操作都会得到相同的结果。在ADT中，如果两个对象的observers无法区分时，则称它们是等价的。

==和equals()：

==比较引用，equals()比较对象内容。

重写类中的equals()时，需满足：

等价性（自反，对称，传递）；

一致性：在比较中用到的信息没有被修改的情况下，多次比较结果应始终相同；

对一个非空的参数x，x.equals(null)返回false；

使用equals方法判定相等的两个对象，其hashCode必须产生相同的结果。如果不等，则hashCode可以相等，但最好不等（提升性能）。

可变类型的观察等价：在不改变对象状态的情况下（不使用mutators）无法区分对象；

可变类型的行为等价：改变一个对象，而不改变另外一个时，仍然无法区分对象。

不可变类型应该重写equals()和hashCode()；可变类型不应该重写，采用Object默认实现的即可。