equals方法定义在java的根类Object类，定义如下
代码语言：javascript复制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插入代码如下：
代码语言：javascript复制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的哈希函数设计，最好哈希函数就是冲突概率低。
