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

认识等价性的方式

• ADT中操作的等价性
  基于抽象函数定义ADT的等价操作
• 使用AF定义等价性
  如果AF映射到相同的结果，则等价
  由AF导出的关系是等价关系
• 使用观察器来定义等价性
  对两个对象调用任何相同的操作，都会得到相同的结果。

==和.equals（）

• 对于基本数据类型，均使用前者
• 对于对象数据类型，使用后者。
  -缺省情况下如果不重写equals方法，则判断两个对象引用的地址是否一致
  -应该总是使用后者判断相同。如果判断逻辑是内存地址相等，则不需要重写。如果判断逻辑是特定的，则需要重写。无论哪种情况，都能达到期望的目的

实现.equals方法

• 注意Overload与override的区别
  -重写的参数必须是Object类型，否则变成overload，得到与预期不一致的结果

• override时总是加上@override符号，保证编译器检查的正确性。

• 严格来说，没有AF的情况下判断每个fileds的等价性，是不正确的

• instance of用于判断某个对象是不是特定的类型（或其子类型）。使用动态类型检查而不是静态类型检查。
  -使用instance of是一个在OOP中不好的习惯，除了在实现.equals方法时
  -getclass也是
  -可以使用多态避免

• 相等的对象，hashcode值一定要一致。这是一个十分subtel的问题。来康康下面的例子：

public class person {

	private final String name;
	
	public person(String name)
	{
		this.name = name;
		
	}
	
	public String getname()
	{
		return name;
		
	}
	@Override
	public boolean equals(Object that)
	{
		if(!(that instanceof person))
			return false;
		return ((person)that).getname().equals(name);
		
		
		
	}
	public static void main(String[] args) {
		// TODO Auto-generated method stub
		Map<person,Integer> a = new HashMap<>();
		person b = new person("1");
		person c = new person("1");
		System.out.println(b.equals(c));
		a.put(b,1);
		System.out.println(a.get(b));
		System.out.println(a.get(c));
	}

}

执行后程序的输出结果如图所示。

最后一行说明说明并没有找到对应键值。而我们明白由于重写了equals方法，那么实际上两个new出来的person是一致的。究其原因是没有重写hashcode的值，缺省情况下两个person对象地hashcode值是不一致的（不同地内存地址）。
现在重写hashcode函数，简单地让其返回0，再次运行代码得到了预期地结果

如果我们再引入一个person对象d，那么显然与前两个对象都具有相同的hashcode值，但是，确与前两个对象不equal。

运行后输出null。综上所述，可知java中维护的hashtable长这个样：

不相等的对象应该有不同的hashcode