首先我们先来看一道面试题:
说下你对== 和 equals 的认识,它们有什么差别?
当使用==时:
当基本类型,byte,short,int,long,float,double,boolean,char时,==比较的是他们的值是否相等;
当引用类型时,比如自定义的对象:==比较的是引用所指向的内存地址是否相等;
特别的,对于常量,由于常量是放在方法区中的常量池管理,所以例如对于一个被定义为常量的String类型,==比较的是他们的值,而不是内存地址。
当使用equals时:
对于String、Arraylist等,equals方法是比较值。因为在他们的类中,已经重写过equals方法了。例如String源码中的equals方法:
可以看出,String类中的equals是将当前String对象的每一个char与被比较的String对象每一个char进行值比较。如果两个字符串的中所有的char都相等,才会返回true。
而对于Object中,或者是自己编写的类中,没有重写equals的话(自己编写的类也是继承了Object中的equals方法),equals比较的是对象的内存地址。
那么为什么重写equals时需要重写hashCode方法呢?
这是因为每个重写了equals方法的类中,必须重写hashCode方法。如果不这么做,就违背了hashCode的通用约定。会导致该类与散列集合无法正常运行,这里的散列集合是指:HashMap、HashSet、HashTable、ConcurrentHashMap。
既然聊到了散列表,这里我就用HashMap为例说一下,hashCode方法与散列表储存值之间的关系。首先要了解的是HashMap的结构是由数组和单项链表组合而成的,单项链表的首节点在有下标的数组上,链表依次再存放节点。如图:(画图技术极差,见谅...)
通过HashMap源码可以看出节点(Node)是以静态内部类存在在hashmap中的,每一个node都有key,value,hash值,next(下一个节点的地址)这四个属性。
下面我简单的文字描述一下map.put(key,value)方法的实现原理:
第一步:将key,value封装到Node对象中
第二步:底层会调用key的hashCode()方法得出hash值,然后通过哈希函数/哈希算法,将hash值转换成数组的下标,如果下标位置上没有任何元素,就把Node添加到这里,如果下标上有链表,此时会拿着key和链表上的每一个节点进行equals,如果所有结果都返回false则表示,当前链表上没有与当前key值相等的Node,则将新节点(Node)添加到链表的结尾,如果其中一个equals返回了true,则这个节点的value被新的value覆盖。
以上是hashmap的put方法的执行过程。现在可以回到我们的问题上了,为什么重写equals方法时为什么需要同时重写hashCode方法呢?
如果不重写hashCode,不最受hashCode通用约定,那put执行放入两个key值相同的两个节点(Node)可能会由于通过哈希算法最终得出的hash值不同而分配到数组不同的下标下,而这两个key相同的节点在不同分支的链表中执行equals方法当然不会equals到相同的key值。最终导致的结果就是使map中同时存在两个key值相同的节点。存在元素重复的矛盾情况。