[OCJP]equalsメソッドとhashCodeの対偶性

• あるオブジェクト同士のequalsメソッドがtrueを返すとき、それぞれのオブジェクトのhashCodeは同一の値を返却しなくてはならない。
• ある２つのオブジェクトのhashCodeが不一致であるとき、そのオブジェクト同士によるequalsメソッドはfalseを返却しなくてはならない。
• ある２つのオブジェクト同士のequalsメソッドがfalseを返すとき、それぞれのオブジェクトはtrue,falseのいずれの値を返却しても良い。
• hashCodeは、同一のオブジェクトであるかぎり、同一の値を返さなくてはならない。

例１

import java.util.HashSet;

public class EqualsHashCodeError1 {
	public static void main(String[] args) {
		Unit unit1 = new EqualsHashCodeError1().new Unit(1);
		Unit unit2 = new EqualsHashCodeError1().new Unit(2);

		HashSet set = new HashSet();
		set.add(unit1);
		set.add(unit2);

		System.out.println("unit1 hash = " + unit1.hashCode() + ", set contains unit1 = " + set.contains(unit1));
		System.out.println("unit2 hash = " + unit2.hashCode() + ", set contains unit2 = " + set.contains(unit2));
	}
class Unit {
		int id;

		public Unit(int id) {
			this.id = id;
		}

		@Override
		public int hashCode() {
			return id++;// hashCodeはいかなる状況でも同じ値を返すこと。
		}

		@Override
		public boolean equals(Object obj) {
			return this.id == ((Unit) obj).id;
		}
	}
}

実行結果

unit1 hash = 2, set contains unit1 = false
unit2 hash = 3, set contains unit2 = false

例2

import java.util.Hashtable;

public class EqualsHashCodeError2 {
	public static void main(String[] args) {
		Unit unit1 = new EqualsHashCodeError2().new Unit(1);
		Unit unit2 = new EqualsHashCodeError2().new Unit(2);

		Hashtable<Integer, Unit> map = new Hashtable<Integer, EqualsHashCodeError2.Unit>();

		for (int i = 0; i < 1000; i++) {
			map.put(i, new EqualsHashCodeError2().new Unit(i));
		}

		System.out.println("unit1 hash = " + unit1.hashCode()	+ ", set contains unit1 = " + map.containsValue(unit1));
		System.out.println("unit2 hash = " + unit2.hashCode()	+ ", set contains unit2 = " + map.containsValue(unit2));
		System.out.println("unit1 hash = " + unit1.hashCode()	+ ", set contains unit1 = " + map.containsValue(unit1));
	}

	class Unit {
		int id;
		boolean equals;

		public Unit(int id) {
			this.id = id;
		}

		@Override
		public int hashCode() {
			return id;// hashCodeはいかなる状況でも同じ値を返すこと。
		}

		@Override
		public boolean equals(Object obj) {
			if (this.id == ((Unit) obj).id) {
				this.id = (int) Math.random() * 100;
				return true; // equalsがtrueを返すとき、hashCodeは同じ値となる。
			}
			return false;
		}
	}
}

実行結果

unit1 hash = 1, set contains unit1 = true

unit2 hash = 2, set contains unit2 = true

unit1 hash = 1, set contains unit1 = false