当添加一个键值对元素时，HashMap发生了什么？

前言

        HashMap采用：数组+链表+红黑树作为储存结构；当添加一个键值对元素时，HashMap发生了什么呢？

        HashMap是Map集合的实现类：Map<K, V>是一种键-值映射表且key无序唯一，当我们向HashMap中添加一个键值对元素时，就调用了put(K key, V value)方法，此时就相当于把key和value做了映射并放入了Map中。就可以通过调用get(Object key)方法获取到对应的value。如果key不存在，则返回null。

       HashMap底层数组类型为Node[]，每个Node都保存了某个KV键值对元素的key、value、hash、next等值。由于next的存在，所以每个Node对象都是一个单向链表中的组成节点。

        我们浅分析一下put方法的源码：

    static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // aka 16
    //数组初始容量为1<<4  
    public V put(K key, V value) {
        return putVal(hash(key), key, value, false, true);
        //使用哈希方法计算key的hashCode
    }


   static final int hash(Object key) {
        int h;
        // 通过key的hashCode()方法返回的哈希值与它的高16位进行异或运算
        // 作用：计算出的hash值，在计算下标位置时，会更“散列”，减少哈希冲突
        return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
    }

         当新添加一个KV键值对元素时，通过该元素的key的hash值，计算该元素在数组中应该保存的下标位置。如果该下标位置如果已经存在其它Node对象，这时就产生了哈希冲突，必须判断当前元素(key)是否与已存在的元素内容相等如果相同，则新值覆盖旧值，如果不同，则采用链地址法处理，即将新添加的KV键值对元素将以链表形式存储。将新元素封装成一个新的Node对象，插入到该下标位置的链表尾部（尾插法）。当链表的长度超过8并且数组长度大于64时，为了避免查找搜索性能下降，该链表会转换成一个红黑树。

 final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
        //数组类型Node
        Node<K,V>[] tab; Node<K,V> p; int n, i;
        //判断数组table是否为空，如果为空调用resize()方法进行初始化，初始容量为16
        if ((tab = table) == null || (n = tab.length) == 0)
            n = (tab = resize()).length;
        //如果数组不为空
        //通过(n-1)&hash计算当前元素应存放的下标index，作用等同于hash % 数组长度。
        //判断tab[index]是否存在数据
        if ((p = tab[i = (n - 1) & hash]) == null)
            //如果没有数据，就构造一个Node<k,v>节点，存放在当前tab[index]中
            tab[i] = newNode(hash, key, value, null);
        else {
            //如果存在数据说明发生了哈希冲突
            Node<K,V> e; K k;
            //继续判断当前元素(key)是否与已存在的元素相等
            //如果相等，用新的value替换原有的value
            if (p.hash == hash &&
                ((k = p.key) == key || (key != null && key.equals(k))))
                e = p;
            //如果不相等，则判断当前节点类型是不是TreeNode<K,V>树形节点
            //如果是TreeNode<K,V>树形节点，则创造树形节点插入红黑树
            else if (p instanceof TreeNode)
                e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
            //如果不是TreeNode<K,V>树形节点，创建普通Node<k,v>加入链表尾部
            else {
                for (int binCount = 0; ; ++binCount) {
                    if ((e = p.next) == null) {
                        p.next = newNode(hash, key, value, null);
                        //判断链表长度是否大于阈值(默认为8)，满足则转为红黑树
                        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;
        //插入完成后，判断当前节点是否大于实际存储空间
        //大于则调用resize()进行扩容
        if (++size > threshold)
            resize();
        afterNodeInsertion(evict);
        return null;
    }

//转为红黑树之后会判断数组长度是否大于64，不大于则扩容，重新将元素“散列”
if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY)

    resize();

数组容量：基础数组Node<K,V>[] table的长度。如果没有指定容量，添加第一个元素时，该数组按照默认值16进行初始化。
加载因子：用来表示HashMap集合中元素的填满程度，默认为0.75f。越大则表示允许填满的元素就越多，集合的空间利用率就越高，但是冲突的机会增加。反之，越小则冲突的机会就会越少，但是空间很多就浪费。一般情况下，采用默认的加载因子；

 

什么时候扩容

      HashMap中的元素个数超过扩容阈值threshold时，就会进行数组扩容（扩容阈值threshold = 数组容量 × 加载因子）。例如：加载因子(LoadFactor)的默认值为0.75f，数组容量默认为16，当HashMap中元素个数超过16 × 0.75=12的时候，数组就会扩容。
      HashMap加入新元素时，如果链表长度大于8时，会将当前链表转换为红黑树。在转换红黑树之前，会判断数组长度，如果小于64，会产生数组扩容。如果数组长度大于64，才会将链表转换为红黑树。

       HashMap每次扩容时，会按照当前数组的容量扩容2倍。例如：当前数组容量为16，当HashMap中元素个数超过16 × 0.75=12的时候，数组就会扩容2倍；

扩容源码:

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;
        }
        // 计算新容量(新容量=原容量的2倍)
        // 新容量没有超出最大容量，并且原容量大于等于默认初始容量16
        else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
                 oldCap >= DEFAULT_INITIAL_CAPACITY)
            newThr = oldThr << 1; // 设置新扩容阈值(同样为原扩容阈值的2倍)
    }
    else if (oldThr > 0) // 新容量按照初始化(构造方法)中的扩容阈值设置
        newCap = oldThr;
    else {               // 默认
        newCap = DEFAULT_INITIAL_CAPACITY; // 默认初始化容量16
        newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY); // 默认扩展阈值 = 默认加载因子0.75 * 默认初始化容量16
    }
    
    // 如果新扩容阈值等于0，则需要重新计算，最大不超过Integer.MAX_VALUE
    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];
    
    // 保存
    table = newTab;
    
    if (oldTab != null) {
        // 遍历原数组
        for (int j = 0; j < oldCap; ++j) {
            Node<K,V> e;
            // 将原数组中的元素，重新保存
            if ((e = oldTab[j]) != null) {
                oldTab[j] = null;
                if (e.next == null) // 当前元素为单节点(不是链表)，则重新按照哈希值，计算下标位置
                    newTab[e.hash & (newCap - 1)] = e;
                else if (e instanceof TreeNode) // 当前元素为红黑树节点，将当前红黑树拆分为2棵红黑树
                    ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
                else { // 当前元素为链表节点，将当前链表拆分为两条链表(高位链表、低位链表)
                    Node<K,V> loHead = null, loTail = null;
                    Node<K,V> hiHead = null, hiTail = null;
                    Node<K,V> next;
                    // 遍历链表，根据每个节点的hash值，重新计算链表位置
                    do {
                        next = e.next;
                        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;
}