HashMap底层的数据结构
HashMap底层是一个hash表加链表结构,jdk1.7以后,链表长度达到阈值(8)以后会转成红黑树。
下面我们通过源码看看HashMap的底层实现。
源码解析
这里主要分析两个重要方法:put()和resize()方法
put()方法
public V put(K key, V value) {
return putVal(hash(key), key, value, false, true);
}
put()方法中会将key的hash值传入到putVal()方法中。
hash()方法
static final int hash(Object key) {
int h;
return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
}
(h = key.hashCode()) ^ (h >>> 16)
这行代码叫做扰动函数,它可以将哈希值的高位与低位混合,以减少碰撞率。
这里提一下^
异或运算符,我们平时写代码的时候可能不太常用到这个运算符,但是它在很多源码中都会出现,因为它属于位运算符,这必然决定了它的效率非常高,而且它还有个用途,就是用来变量交换。
^
有两条重要性质:A^A=0,A^0=A。利用这两个性质,我们可以实现变量交换,而且不需要使用中间变量temp。
a = a ^ b;//a充当temp
b = b ^ a;//b^a=b^a^b=a
a = b ^ a;//b^a=a^a^b=b
putVal()方法
final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
boolean evict) {
Node[] tab; Node p; int n, i;
//tab是外层的Node数组,如果tab是空的就通过扩容方法创建。
if ((tab = table) == null || (n = tab.length) == 0)
n = (tab = resize()).length;
//取模运算,如果对应的table位置里没有Node,就直接放进去。
if ((p = tab[i = (n - 1) & hash]) == null)
tab[i] = newNode(hash, key, value, null);
//否则,就是哈希冲突
else {
Node e; K k;
//两个key相同,直接覆盖
if (p.hash == hash && ((k = p.key) == key || (key != null && key.equals(k))))
e = p;
//p是树类型,进行红黑树添加节点操作
else if (p instanceof TreeNode)
e = ((TreeNode)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);
//如果链表长度超过8,就会通过treeifyBin()方法转成红黑树(HashMap长度大于64才会转红黑树)
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;
}
}
++modCount;
//节点数量超过最大阈值,就要进行扩容
if (++size > threshold)
resize();
afterNodeInsertion(evict);
return null;
}
put()方法中计算元素要添加到table中的位置时,采用的是(n - 1) & hash
来实现取模。这种做法有什么好处呢?
正常情况下,我们取模都是采用%
,也就是hash % 16
,这样会得到0-15之间的值。但是源码中采用的是&
与运算,这种做法怎么会是取模呢?记住:&
与运算,在二进制中,两个为1则为1,例如
16 = 0001 0000;
15 = 0000 1111;
hash = 0111 0110;
15 & hash = 0000 0110;
结果的高四位肯定是0000,最大值一定是0000 1111,也就是15,这种也保证了结果在0-15之间。&是位运算,效率要比%取模高很多。但是这种做法需要保证table的长度必须是2的n次方,这样n-1才会保证高位都是0,低位都是1。通过这里也能看出高位是没有参与计算的,所以上面的hash()算法需要h >>> 16
了。
resize()方法
final Node[] resize() {
Node[] oldTab = table;
//第一次put元素时,table是空的,oldCap=0,最后newCap=初始容量,newThr=负载因子×初始容量
//table=(Node[])new Node[newCap];通过扩容方法达到初始化作用
//第二次进来时,oldTab.length=16;oldCap=16;
int oldCap = (oldTab == null) ? 0 : oldTab.length;
//oldThr=16*0.75=12;
int oldThr = threshold;
int newCap, newThr = 0;
if (oldCap > 0) {
if (oldCap >= MAXIMUM_CAPACITY) {
//如果oldCap超过最大值,threshold就设置为Integer最大值
threshold = Integer.MAX_VALUE;
return oldTab;
}
//newCap=oldCap<<1=oldCap*2=32
else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
oldCap >= DEFAULT_INITIAL_CAPACITY)
//newThr=24
newThr = oldThr << 1; // double threshold
}
else if (oldThr > 0) // initial capacity was placed in threshold
newCap = oldThr;
else { // zero initial threshold signifies using defaults
newCap = DEFAULT_INITIAL_CAPACITY;
newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);
}
//第一次put元素时,newThr == 0
if (newThr == 0) {
float ft = (float)newCap * loadFactor;
newThr = (newCap < MAXIMUM_CAPACITY && ft < (float)MAXIMUM_CAPACITY ?
(int)ft : Integer.MAX_VALUE);
}
threshold = newThr;
@SuppressWarnings({"rawtypes","unchecked"})
//扩容成了原来的两倍
Node[] newTab = (Node[])new Node[newCap];
table = newTab;
if (oldTab != null) {
for (int j = 0; j < oldCap; ++j) {//oldCap=16
Node e;
if ((e = oldTab[j]) != null) {
oldTab[j] = null;
if (e.next == null)
//取模,和putVal里(n-1)&hash一样
newTab[e.hash & (newCap - 1)] = e;
else if (e instanceof TreeNode)
//走红黑树逻辑
((TreeNode)e).split(this, newTab, j, oldCap);
else { // preserve order
//低位链表
Node loHead = null, loTail = null;
//高位链表
Node hiHead = null, hiTail = null;
Node next;
do {
next = e.next;
//oldCap=16=0001 0000
//任何数&oldCap,要么是0,要么是16
if ((e.hash & oldCap) == 0) {//进入低位链表
if (loTail == null)
loHead = e;
else
// 采用尾插法
loTail.next = e;
loTail = e;
}
else {//进入高位链表
if (hiTail == null)
hiHead = e;
else
hiTail.next = e;
hiTail = e;
}
} while ((e = next) != null);
//低位链表还是留在当前下标位置
if (loTail != null) {
loTail.next = null;
newTab[j] = loHead;
}
//高位链表会进入(当前下标+原数组长度)的位置
if (hiTail != null) {
hiTail.next = null;
newTab[j + oldCap] = hiHead;
}
}
}
}
}
return newTab;
}
扩容:首先是容量扩充为原来的两倍,然后链表中的元素,如果hash值&oldCap
的值是0,则索引不变,如果值是oldCap,则索引值+oldCap。
总结
HashMap里的内容太多了,尤其是1.7以后引入红黑树,就更复杂了,我这里只是说了一下里面比较重要的两个方法。当然,HashMap也是面试的高频问题之一。如果在高并发的情况下,推荐使用ConcurrentHashMap,这是HashMap的线程安全版,里面添加了分段锁,这个后面再详说。