jdk 1.8 HashMap底层剖析

HashMap的六个常量

#Node 类型数组的默认初始大小 16

static final int DEFAULT_INITIAL_CAPACITY = 1 << 4;

#Node 类型数组的可分配最大长度

static final int MAXIMUM_CAPACITY = 1 << 30;

#加载因子，主要作用是为了计算Node类型数组的扩容临界值

static final float DEFAULT_LOAD_FACTOR = 0.75f;

#链表 转 红黑树的临界值，TREEIFY_THRESHOLD 代表链表长度

static final int TREEIFY_THRESHOLD = 8;

#红黑树 转 链表的临界值

static final int UNTREEIFY_THRESHOLD = 6;

#链表 转 红黑树的临界值，MIN_TREEIFY_CAPACITY 代表Node类型数组长度

static final int MIN_TREEIFY_CAPACITY = 64;

HashMap的成员变量

#Node 类型的数组，主要用于存放单个Node节点 或 链表头节点 或 红黑树根节点

transient Node<K,V>[ ] table; 

#table数组中存放的元素个数

transient int size;

#记录HashMap中元素的改动次数

transient int modCount;

#table数组扩容临界值

int threshold;

#加载因子，主要用于计算临界值 threshlod

final float loadFactor;

HashMap的四个构造方法

#无参构造器

public HashMap() {
    this.loadFactor = DEFAULT_LOAD_FACTOR;
}

#自定义初始大小的有参构造器

public HashMap(int initialCapacity) {
    this(initialCapacity, DEFAULT_LOAD_FACTOR);
}

#自定义初始大小及加载因子的有参构造器

public HashMap(int initialCapacity, float loadFactor) {
    if (initialCapacity < 0)
        throw new IllegalArgumentException("Illegal initial capacity: " +
                                           initialCapacity);
    if (initialCapacity > MAXIMUM_CAPACITY)
        initialCapacity = MAXIMUM_CAPACITY;
    if (loadFactor <= 0 || Float.isNaN(loadFactor))
        throw new IllegalArgumentException("Illegal load factor: " +
                                           loadFactor);
    this.loadFactor = loadFactor;
    this.threshold = tableSizeFor(initialCapacity);
}

#将Map集合转为HashMap的有参构造器

public HashMap(Map<? extends K, ? extends V> m) {
    this.loadFactor = DEFAULT_LOAD_FACTOR;
    putMapEntries(m, false);
}

final void putMapEntries(Map<? extends K, ? extends V> m, boolean evict) {
    //Map集合元素个数
    int s = m.size();
    if (s > 0) {
        //如果table数组未初始化，则通过Map集合元素个数计算出table数组的合理初始长度
        if (table == null) {
            //计算出刚好能放下Map集合的所有元素，且不会触发table数组扩容条件的一个值
            float ft = ((float)s / loadFactor) + 1.0F;
            int t = ((ft < (float)MAXIMUM_CAPACITY) ?
                     (int)ft : MAXIMUM_CAPACITY);
            //获取真正的table数组长度，其值为2的次幂
            if (t > threshold)
                threshold = tableSizeFor(t);
        }
        //如果table数组已初始化，且Map集合元素个数大于table的扩容临界值，则扩容
        else if (s > threshold)
            resize();
        //遍历Map集合中的元素，将其存入HashMap中
        for (Map.Entry<? extends K, ? extends V> e : m.entrySet()) {
            K key = e.getKey();
            V value = e.getValue();
            putVal(hash(key), key, value, false, evict);
        }
    }
}

HashMap主要方法介绍

#tableSizeFor 方法的主要作用，是为了让Node类型数组的长度符合2的次幂，该方法的返回结果是Node类型数组的实际长度

例：

若 cap = 10;

n = cap - 1, 结果 n = 9;

9 右移 1 位等于 4, 4 与 9 进行 或 运算，结果 n = 13;

13 右移 2 位等于 3, 3 与 13 进行 或 运算，结果 n = 15;

15 右移 4 位等于 0, 0 与 15 进行 或 运算，结果 n = 15;

15 右移 8 位等于 0, 0 与 15 进行 或 运算，结果 n = 15;

15 右移 16 位等于 0, 0 与 15 进行 或 运算，结果 n = 15;

return  n + 1;

static final int tableSizeFor(int cap) {
    int n = cap - 1;
    n |= n >>> 1;
    n |= n >>> 2;
    n |= n >>> 4;
    n |= n >>> 8;
    n |= n >>> 16;
    return (n < 0) ? 1 : (n >= MAXIMUM_CAPACITY) ? MAXIMUM_CAPACITY : n + 1;
}

#putVal  存入一个键值对的方法

final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
     Node<K,V>[] tab; Node<K,V> p; int n, i;
     //初始化一个长度为16的table数组
     if ((tab = table) == null || (n = tab.length) == 0)
         n = (tab = resize()).length;
     //如果table数组中对应下标的位置没有元素，直接放入新元素
     if ((p = tab[i = (n - 1) & hash]) == null)
         tab[i] = newNode(hash, key, value, null);
     else {
         Node<K,V> e; K k;
         //如果table数组中对应位置的元素的key与新元素的key相同，则直接覆盖
         if (p.hash == hash &&
             ((k = p.key) == key || (key != null && key.equals(k))))
             e = p;
         //如果table数组中对应位置的元素是个TreeNode类型，则按照红黑树的原则插入新元素
         else if (p instanceof TreeNode)
             e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
         //尝试将新元素插入table数组对应位置的链表尾部
         else {
             for (int binCount = 0; ; ++binCount) {
                 if ((e = p.next) == null) {
                     p.next = newNode(hash, key, value, null);
                     //如果链表长度超过8,则尝试将链表转为红黑树
                     if (binCount >= TREEIFY_THRESHOLD - 1) 
                         treeifyBin(tab, hash);
                     break;
                 }
                 //如果链表中元素的key与新元素的key相同，则直接覆盖
                 if (e.hash == hash &&
                     ((k = e.key) == key || (key != null && key.equals(k))))
                     break;
                 p = e;
             }
         }
         //覆盖value操作（之前因为key相同的元素的覆盖操作在此进行）
         if (e != null) {
             V oldValue = e.value;
             //onlyIfAbsent的值用于控制是否覆盖老的value值
             if (!onlyIfAbsent || oldValue == null)
                 e.value = value;
             afterNodeAccess(e);//LinkedHashMap的逻辑,不用管
             return oldValue;
         }
     }
     ++modCount;
     //如果table数组存放的元素个数超过临界值，则扩容table数组
     if (++size > threshold)
         resize();
     afterNodeInsertion(evict);//LinkedHashMap的逻辑,不用管
     return null;
    }

#resize  扩容方法

final Node<K,V>[] resize() {
    Node<K,V>[] oldTab = table;
    //记录原table数组长度
    int oldCap = (oldTab == null) ? 0 : oldTab.length;
    //记录原table数组扩容临界值
    int oldThr = threshold;
    int newCap, newThr = 0;
    //真正的扩容逻辑，并非初始化
    if (oldCap > 0) {
        //如果原table数组长度 >= 可分配最大长度，将临界值变为整数最大值
        if (oldCap >= MAXIMUM_CAPACITY) {
            threshold = Integer.MAX_VALUE;
            return oldTab;
        }
        //如果原table数组长度 >= 16,且原table数组长度的2倍小于可分配最大长度，新table数组长度扩容为原数组长度的2倍
        else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
                 oldCap >= DEFAULT_INITIAL_CAPACITY)
            newThr = oldThr << 1;
    }
    //当调用HashMap的有参构造时，会进入此逻辑，table数组未被初始化，但临界值会被赋予tableSizeFor方法的返回值
    else if (oldThr > 0) 
        newCap = oldThr;
    //调用HashMap的无参构造时，将会在此初始化一个长度为16,扩容临界值为12的table数组
    else {               
        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;
    Node<K,V>[] newTab = (Node<K,V>[])new Node[newCap];
    table = newTab;
    if (oldTab != null) {
        //原数组元素的迁移操作
        for (int j = 0; j < oldCap; ++j) {
            Node<K,V> e;
            if ((e = oldTab[j]) != null) {
                oldTab[j] = null;
                //如果table数组对应的位置存放的元素是单个Node
                if (e.next == null)
                    newTab[e.hash & (newCap - 1)] = e;
                //如果table数组对应位置存放的元素是个树节点
                else if (e instanceof TreeNode)
                    ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
                //如果table数组对应位置存放的元素是一条链表
                else { 
                    Node<K,V> loHead = null, loTail = null;
                    Node<K,V> hiHead = null, hiTail = null;
                    Node<K,V> next;
                    do {
                        next = e.next;
                        //筛选出存储在低位的元素；注意：此时oldCap是2的次幂类型，不是(oldCap - 1)，因为table数组长度扩容为原来的2倍，我们把下标0到(table.length/2-1)的范围称作低位
                        if ((e.hash & oldCap) == 0) {
                            if (loTail == null)
                                loHead = e; //记录链表的头节点
                            else
                                loTail.next = e;
                            loTail = e; //记录此时链表的尾节点
                        }
                        //筛选出存储在高位的元素；我们把下标(table.length/2)到table.length的范围称作高位
                        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;
}

#treeifyBin  该方法用于链表到红黑树的转换

final void treeifyBin(Node<K,V>[] tab, int hash) {
    int n, index; Node<K,V> e;
    //如果table数组未被初始化，或table数组长度小于 64，将会尝试继续扩容table数组，而非将链表转换成红黑树
    if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY)
        resize();
    //获取table数组对应位置中存放的链表的头节点
    else if ((e = tab[index = (n - 1) & hash]) != null) {
        TreeNode<K,V> hd = null, tl = null;
        //遍历链表中的每个Node,并将其存入二叉树
        do {
            TreeNode<K,V> p = replacementTreeNode(e, null);
            if (tl == null)
                hd = p;
            else {
                p.prev = tl;
                tl.next = p;
            }
            tl = p;
       } while ((e = e.next) != null);
        //将二叉树转换为红黑树
        if ((tab[index] = hd) != null)
            hd.treeify(tab);
    }
}