重写equals方法必须重写hashcode

equals方法定义在java的根类Object类，定义如下

public boolean equals(Object obj) {
        return (this == obj);
}

比较的是引用，也就是对象的地址是否相等，equals在非空对象上需要满足以下特性：

1.自反性：x.equals(x) == true,自己和自己比较相等

2.对称性：x.equals(y) == y.equals(x),两个对象调用equals的的结果应该一样

3.传递性：如果x.equals(y) == true y.equals(z) == true 则 x.equals(z) == true,x和y相等，y和z相等，则x和z相等

4.一致性 : 如果x对象和y对象有成员变量num1和num2，其中重写的equals方法只有num1参加了运算，则修改num2不影响x.equals(y)的值

x.equals(null)必须为false

知道了equals的特性，为啥重写equals必须要重写hashcode呢，其实这个不是语法定义，只是如果不重写hashcode在我们调用HashSet和HashMap的时候可能会造成歧义，也就是用equals方法判断的两个对象相等，但是hashcode不相等，会造成hashmap散列到不同数组下标，导致了哈希表中有两个相同的key，hashmap相同的key是可选的，但是默认是只能有唯一的key，hashset必须是唯一的key。hashmap插入代码如下：

    

if ((tab = table) == null || (n = tab.length) == 0)
            n = (tab = resize()).length;
        if ((p = tab[i = (n - 1) & hash]) == null)
            tab[i] = newNode(hash, key, value, null);
        else {
            Node<K,V> e; K k;
	    //先判断待插入结点和当前已插入结点hash值是否相等，如果相等说明同处于一个链表，然后判断两个结点key的引用是否相等
	    //如果引用相等，说明就是同一个值，equals必相等，如果引用不相等，则调用equals方法判断对象是否相等，如果相等说明
	    //当前key已经存在，插入的值会将旧key的vaule覆盖
            if (p.hash == hash &&
                ((k = p.key) == key || (key != null && key.equals(k))))
                e = p;
            else if (p instanceof TreeNode)
                e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
            else {
                for (int binCount = 0; ; ++binCount) {
                    if ((e = p.next) == null) {
                        p.next = newNode(hash, key, value, null);
                        if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
                            treeifyBin(tab, hash);
                        break;
                    }
                    if (e.hash == hash &&
                        ((k = e.key) == key || (key != null && key.equals(k))))
                        break;
                    p = e;
                }
            }
            if (e != null) { // existing mapping for key
                V oldValue = e.value;
                if (!onlyIfAbsent || oldValue == null)
                    e.value = value;
                afterNodeAccess(e);
                return oldValue;
            }
        }

所以如果equals相等，但是hashCode不相等，会造成hashmap的hash函数不相等，然后hashmap就不会覆盖旧key，导致hashmap有两个相同的key，因为hashset就是用的hashmap，也会导致hashset逻辑出错，set集合有重复元素。

可以得出结论: 如果两个对象equals为true，则hashCode必须相等，如果equals不相等，hashCode可以相等可以不相等，这个要看hashCode的哈希函数设计，最好哈希函数就是冲突概率低。