软件构造3.5 ADT和OOP中的等价性

一、判断等价性

• 抽象函数：仅当AF(a)=AF(b)时a = b
• 使用关系：定义一个等价关系E⊆ T x T ，满足自反性，对称性，传递性则当E(a,b)时，a=b
• 观察的角度出发：两个对象的任何统一操作都会得到相同的结果，那么这两个对象是等价的

二、== 和 equals（）

• 在java中是对引用进行比较，当比较的两个对象在内存中有相同的地址，则返回为true。基本数据类型必须使用
• 而equals 比较的是内容（对象）。定义新的数据类型 时，需要考虑等价的含义，然后实现equals()方法。
  若比较对象时使用==，则会比较对象的地址。

	StringBuilder a = new StringBuilder("yes");
	StringBuilder b = new StringBuilder("yes");
	if (a==b) {  // a bug!!
		System.out.println(“a and b are the same");
	}

三、重写equals
1、重写equals（）满足条件

• 满足等价性（自反、对称、传递）
• 一致性，在比较中用到的信息没有被修改的情况下，多次比较结果应始终相同
• 使用equals方法判定相等的两个对象，其hashCode必须产生相同的结果。
• 空值处理：任意对象应满足x.euals(null);
  2、重写Hash Code满足条件
• 两个对象equals操作相等，则hash code也必须相等
• 不同的对象应有不同的hash code
• 除非对象时可变的，否则hash code不能改变

四、可变类型的等价性
观察等价： 在不改变对象状态的情况下(不使用mutator)，无法区分对象
行为等价：改变一个对象而不改变另外一个时，仍然无法区分对象

对于可变对象，使用观察等价会带来潜在的问题。

一个例子

	List<String> list = new ArrayList<>();
	list.add("a");

	Set<List<String>> set = new HashSet<List<String>>();
	set.add(list;

	set.contains(list); //true

然后我们在进行操作

    list.add("goodbye");
	set.contains(list) //false

	for(List<String> l : set){
		set.contains(l) //flase
	}

出现这样的状况是由于
List是一个可变对象。像List这样的集合类，突变会影响equals()和hashCode()的结果。
当列表第一次放入HashSet时，它存储在与当时的hashCode()结果对应的散列桶中。
当列表随后发生变化时，它的hashCode()会发生变化，但是HashSet没有意识到它应该被移动到另一个桶中。所以再也找不到了。
当equals()和hashCode()可能受到突变的影响时，我们可以打破使用该对象作为键的哈希表的rep不变式。

因此应该使用行为等价。