JDK1.8 HashMap源码分析

目录

 

HashMap底层结构基本介绍

构造函数

HashMap Put过程分析

HashMap扩容分析

HashMap Get分析

HashMap Remove分析

---

HashMap底层结构基本介绍

HashMap采用数组加链表（链表节点个数到达8个，链表将会转化为红黑树,红黑树节点个数少于6个，红黑树将会变成链表）
，默认加载因子是0.75,即元素个数达到数组总长度的0.75倍，数组就会扩容，至于为什么是0.75，一方面如果加载因子过小，则会浪费很多空间，如果加载因子过大，则会增加冲突率。

构造函数

public HashMap() {//无参构造函数，并未开辟空间，只是把默认的加载因子设置为0.75
    this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted
}
}

HashMap Put过程分析

     将key的Hash值（key的hashCode和key的hashCode的高16位异或得到）和数组长度-1相&（数组长度必须是2的次幂的原因，因为任何数和2的次幂-1相&的结果永远不会大于2的次幂-1，如任何数和01111相&最大也是01111,（0和任何数相&都是0）），得到的结果就是应该存放的下标位置，如果此下标里面没有元素则直接存放，如果此下标里面已经存放了元素（这其实是hash冲突：即多个可以通过hash值确定在数组中的下标结果是一样的），则将key与此位置存放的元素的key通过equals比较，如果相等则直接覆盖（这就是Map里面存放相同的key，后面的key会把前面key对应的值覆盖的原因），如果key不相等则找链表的元素，直到找到一个key值相等的则直接覆盖，如果找不到则链到以此下标元素为头节点的链表末尾（链表节点个数达到8个，则会将链表转换成红黑树存储，少于6个，则红黑树又会转化为链表结构）

     由此可发现：hash值一样的就是hash冲突，同一个链表或红黑树上的节点的hash值都一样（正因为hash值一样产生了hash冲突，而key又不相等，所以才链到了一起）

final V putVal(int hash, K key, V value, boolean onlyIfAbsent,boolean evict) {
    Node<K,V>[] tab; Node<K,V> p; int n, i;
    if ((tab = table) == null || (n = tab.length) == 0)//table是HashMap的底层Node(包括hash值，key,value,nextNode)数组，初次put,一维数组扩容
        n = (tab = resize()).length;
    if ((p = tab[i = (n - 1) & hash]) == null)//通过key的Hash值和数组长度-1相&得到应该存放的下标，如果此下标位置里没有元素则直接存放
        tab[i] = newNode(hash, key, value, null);
    else {//此下标位置里有元素，则已存在的元素和要存放的元素的key通过equals比较是否相等:1.key值相等就覆盖 2.不相等则会将新元素链接到此下标位置所对应的链表的尾节点
        Node<K,V> e; K k;
        if (p.hash == hash && ((k = p.key) == key || (key != null && key.equals(k))))//key值相等就覆盖
            e = p;
        else if (p instanceof TreeNode)//key不相等,并且已存放的元素是树节点
            e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
        else {//key不相等,该下标位置是一个链表的头节点
            for (int binCount = 0; ; ++binCount) {//循环以此下标为头结点的链表，每循环到一个节点则比较key是否相等，相等则会覆盖，不相等则会挨个往下找，如果找到链表的末尾都没找到key值相等的，则直接将新节点链接到该链表的末尾
                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;
        }
    }
    ++modCount;
    if (++size > threshold)//,每存放完一个元素，则数组里存放元素的个数size+1，如果数组中节点个数超过预警节点个数，则数组需要扩容
    resize();
    afterNodeInsertion(evict);
    return null;

HashMap扩容分析

基本过程：
数组扩容简介：初次put,则会开辟一个默认长度16的Node数组空间，并且默认加载因子为0.75，之后数组中节点个数达到16*0.75=12后，会再次进行扩容，数组长度扩大2倍为32，预警节点个数也会扩大2倍（因为加载因子不变，数组长度扩大了2倍），之后节点再次达到32*0.75=24后，会再次按照上面的进行扩容......

关于扩容移动旧数组中的元素：
除了第一次扩容不需要移动元素外（这时是初次put,还没有元素），之后的扩容都要移动元素位置，移动过程：按照Node数组下标从前到后循环,每循环到一个数组元素,首先将元素的hash值和数组长度相&来判断在新数组中是否需要移动位置（相&为0：不需要移动，相&为1：下标需要移动的个数是旧数组的长度），然后判断该元素后面是否还有其他元素（可能没有，可能是链表，可能是红黑树），没有的话直接将该元素的hash值和数组长度-1相&从而确定在扩容后的数组中的新位置并且直接存放，有的话挨个取出来对应链接上。形成一个新链放在扩容后数组中（下标位置上面已经确定）
 

final Node<K,V>[] resize() {
    Node<K,V>[] oldTab = table;
    int oldCap = (oldTab == null) ? 0 : oldTab.length;
    int oldThr = threshold;
    int newCap, newThr = 0;
    if (oldCap > 0) {//再次扩容
        if (oldCap >= MAXIMUM_CAPACITY) {
            threshold = Integer.MAX_VALUE;
            return oldTab;
        }
      //再次扩容，将Node数组的容量扩大2倍，新的预警节点个数跟着扩大2倍。
        else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY && oldCap >= DEFAULT_INITIAL_CAPACITY)
            newThr = oldThr << 1; // double threshold
    }
    else if (oldThr > 0) // initial capacity was placed in threshold
        newCap = oldThr;
    else {  //初次扩容再初次put时候，数组默认初始容量为16
        newCap = DEFAULT_INITIAL_CAPACITY;
        newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);//数组容量*加载因子得到需要再次扩容时的最低节点个数
    }
    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<K,V>[] newTab = (Node<K,V>[])new Node[newCap];、//new 出一维Node数组
    table = newTab;//一维数组赋值给table(全局变量是HashMap的底层结构中的数组)
    if (oldTab != null) {//针对非初次扩容，oldTable即Node数组肯定不是null,所以需要将旧数据迁移到扩容后的新数组中
        for (int j = 0; j < oldCap; ++j) {//循环Node数组，每个下表元素下面可能跟着一条链表或红黑树，
            Node<K,V> e;
            if ((e = oldTab[j]) != null) {
                oldTab[j] = null;
                if (e.next == null)//1.next为null,证明此处不是链，所以直接像没扩容之前的办法寻找下标位置：通过（key哈希值）和（数组长度-1）相&获取在新数组中的位置直接放下
                    newTab[e.hash & (newCap - 1)] = e;
                else if (e instanceof TreeNode)//2.是红黑树节点
                    ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
                else { // 3.是链表节点
                    Node<K,V> loHead = null, loTail = null;//扩容后：不需要移动位置的链表头和尾
                    Node<K,V> hiHead = null, hiTail = null;//扩容后：需要移动位置的链表头和尾
                    Node<K,V> next;
                    do {//挨个next取值链表的所有节点
                        next = e.next;
                        if ((e.hash & oldCap) == 0) {//1. hash值和数组长度相&是0，证明哈希值高位是0，拿数组长度是16举例，
16二进制位10000,那么hash值必定是0....(.代表0或1) 16扩容为32后变为100000，31对应的二进制（011111）和/100000相&因为0和任意相&都是0，所以32和16的位置都是0，所以不可能超过16，那么扩容后不需要移动位置

                            if (loTail == null)
                                loHead = e;
                            else
                                loTail.next = e;
                            loTail = e;
                        }
                        else {///2. hash值和数组长度相&是1，证明哈希值高位是1，拿数组长度是16举例，
16二进制位10000,那么hash值必定是1....(.代表0或1) 16扩容为32后变为100000，31对应的二进制（011111）和/010000相&因为0和任意相&都是0，所以32位必定是1，所以肯定超过16了，那么扩容后需要移动位置位原下标+16
                            if (hiTail == null)
                                hiHead = e;
                            else
                                hiTail.next = e;
                            hiTail = e;
                        }
                    } while ((e = next) != null);
                 //数组扩容后（2的次幂扩容），旧数组中的元素在新数组中的位置有俩种情况，1.不变，2.原来下标+旧数组长度
                //1.不变 比如35/16=2....3 扩容成32后，35/32=1...3 下标仍然是3
                //2.原来下标+旧数组长度 17/16=1...1 17/32=1+16=17 下标+16
                    if (loTail != null) {//最后把获取的链挂到数组新位置（链表头挂上就可以）
                        loTail.next = null;
                        newTab[j] = loHead;
                    }
                    if (hiTail != null) {
                        hiTail.next = null;
                        newTab[j + oldCap] = hiHead;
                    }
                }
            }
        }
    }
    return newTab;
}

扩容区别

jdk1.7：将新加的节点作为链表的头节点，rehash时将改变链表的顺序

       a->b->c->null  扩容后移动位置 c->b->a->null 此时多线程扩容的话有可能出现死链 a->b->a

jdk1.8   将新加的结点添加到链表末尾 ，rehash时保证原链表的顺序

HashMap Get分析

key的hash值和数组长度-1相&，确定存放的位置，然后比较key是否相等，相等则此元素就是要取得元素，不相等则寻找以此位置元素为头节点的链表的每个元素，直到找到一个key相等的就返回

final Node<K,V> getNode(int hash, Object key) {
    Node<K,V>[] tab; Node<K,V> first, e; int n; K k;
    if ((tab = table) != null && (n = tab.length) > 0 &&
        (first = tab[(n - 1) & hash]) != null) {
        if (first.hash == hash && // always check first node
            ((k = first.key) == key || (key != null && key.equals(k))))
            return first;
        if ((e = first.next) != null) {
            if (first instanceof TreeNode)
                return ((TreeNode<K,V>)first).getTreeNode(hash, key);
            do {
                if (e.hash == hash &&
                    ((k = e.key) == key || (key != null && key.equals(k))))
                    return e;
            } while ((e = e.next) != null);
        }
    }
    return null;
}

 

HashMap Remove分析

     key的hash值和数组长度-1相&，确定存放的位置，然后比较key是否相等，相等则此元素是要移除的元素，将要移除的元素的next节点存放到此位置即可，不相等则寻找以此位置元素为头节点的链表的每个元素，直到找到一个key相等的将它的next链接到它的上一个元素的next指针即可：

final Node<K,V> removeNode(int hash, Object key, Object value,
                           boolean matchValue, boolean movable) {
    Node<K,V>[] tab; Node<K,V> p; int n, index;
    if ((tab = table) != null && (n = tab.length) > 0 &&
        (p = tab[index = (n - 1) & hash]) != null) {
        Node<K,V> node = null, e; K k; V v;
        if (p.hash == hash &&
            ((k = p.key) == key || (key != null && key.equals(k))))
            node = p;
        else if ((e = p.next) != null) {
            if (p instanceof TreeNode)
                node = ((TreeNode<K,V>)p).getTreeNode(hash, key);
            else {
                do {
                    if (e.hash == hash &&
                        ((k = e.key) == key ||
                         (key != null && key.equals(k)))) {
                        node = e;
                        break;
                    }
                    p = e;
                } while ((e = e.next) != null);
            }
        }
        if (node != null && (!matchValue || (v = node.value) == value ||
                             (value != null && value.equals(v)))) {
            if (node instanceof TreeNode)
                ((TreeNode<K,V>)node).removeTreeNode(this, tab, movable);
            else if (node == p)
                tab[index] = node.next;
            else
                p.next = node.next;
            ++modCount;
            --size;
            afterNodeRemoval(node);
            return node;
        }
    }
    return null;
}

}