ADT和OOP的等价性学习笔记2

可变对象的等价性

-观察等价性：在不改变状态的情况下，两个mutable对象看起来是否一致

-行为等价性：调用对象的任何结果都展示出一致的结果

-对于不可变对象而言，观察等价性和行为等价性是等价的。由于没有变值器

-对于可变类型而言，常常使用严格的观察等价性

  -JAVA对其大部分可变数据类型使用观察等价性。例如，如果两个LIST中包含相同顺序的元素，则equals应该返回True.例如，如图所示：

 

import java.util.*;
public class testlist {

	
	
	
	public static void main(String argv[])
	{
		List<String> a = new ArrayList<>();
		String s_1 = new String("123");
		String s_2 = new String("234");
		a.add(s_1);
		a.add(s_2);
		
		List<String> b = new ArrayList<>();
		String s_3 = new String("123");
		String s_4 = new String("234");
		b.add(s_3);
		b.add(s_4);
		
		System.out.println(a.equals(b));
	}
	
	
}

 最后的输出结果为True；

但是，有些时候观察等价性会导致BUG。甚至会破坏表示不变性。

例如，假设想要生成一个列表LIST,然后把他放在一个集合中。如图所示

毫无疑问，这里输出的是True

但是，现在向list中添加一个元素：

那么这里输出的是false；并且还出现下面更为糟糕的情况：

但是，我们知道s中实际是包含a的。那么发生了什么情况呢？

--list是一种可变数据类型，可变性影响.equals方法和.hashcode方法的结果。

--当list第一次被放置在hashset中时，根据他hashcode值存放在一个特定的散列桶中

--如果某个mutable对象包含在set集合中，当其发生改变时，集合类的行为不确定!!一定要小心！！

--不同的mutable类使用不同的等价标准

再看一个例子

这里的输出结果还是false，即使我们已经重写了testlist方法。这是因为两者的hashcode是不一致的。

同时，如图所示，我们最终发现，即使我们最终添加了一个与原先完全等价的对象。最终集合的输出个数还是2.这就是因为两个对象的hashcode值是不一致的，被放在不同的bucket中。