JDK源码分析 – HashMap

HashMap类的申明

HashMap的定义如下：

 public class HashMap<K,V> extends AbstractMap<K,V>
     implements Map<K,V>, Cloneable, Serializable {}

HashMap是一个散列表，用于存储key-value形式的键值对。

从源码的定义中可以看到HashMap继承了AbstractMap抽象类而且也实现了Map<K，V>接口，AbstractMap类本身也继承了Map<K，V>接口，Map接口定义了一些map数据结构的基本操作， AbstractMap提供了Map接口的一些默认实现。

HashMap实现了Cloneable接口和Serializable接口，这两个接口本身并没有定义方法，属于申明式接口，允许hashmap进行克隆和序列化。

另外，HashMap不是线程安全的，如果需要使用线程安全的HashMap，可以使用Collections类中的synchronizedMap方法来获得线程安全的HashMap：

Map map = Collections.synchronizedMap(new HashMap());

HashMap主要字段属性说明

 //hashmap的初始容量：16
 static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // aka 16
 
 //hashmap的最大容量，hashmap的容量必须是2的指数值
 static final int MAXIMUM_CAPACITY = 1 << 30;
 
 //默认填充因子
 static final float DEFAULT_LOAD_FACTOR = 0.75f;
 
 //链表转换为树的阀值：如果一个桶中的元素个数超过 TREEIFY_THRESHOLD=8 ，就使用红黑树来替换链表，从而提高速度
 static final int TREEIFY_THRESHOLD = 8;
 
 //树还原为链表的阈值：扩容时桶中元素小于UNTREEIFY_THRESHOLD = 6，则把树形的桶元素还原为链表结构
 static final int UNTREEIFY_THRESHOLD = 6;
 
 //哈希表的最小树形化容量：当哈希表中的容量大于这个值MIN_TREEIFY_CAPACITY = 64时，哈希表中的桶才能进行树形化，否则桶中元素过多时只会扩容，并不会进行树形化， 为了避免扩容和树形化选择的冲突，这个值不能小于4* TREEIFY_THRESHOLD = 32
 static final int MIN_TREEIFY_CAPACITY = 64;
 
 //hashmap用于存储数据的Node数组，长度是2的指数值
 transient Node<K,V>[] table;
 
 //保存entrySet返回的结果
 transient Set<Map.Entry<K,V>> entrySet;
 
 //hashmap中键值对个数
 transient int size;
 
 //hashmap对象修改计数器
 transient int modCount;
 
 // threshold=容量*装载因子，代表目前占用数组长度的最大值，用于判断是否需要扩容
 int threshold;
 
 //装载因子,用来衡量hashmap装载数据程度，默认值为EFAULT_LOAD_FACTOR = 0.75f，装载因子计算方法size/capacity
 final float loadFactor;

很多资料上都会提到JDK1.8之前hashmap的通过数组+链表的数据结构实现的，这样在hash值大量冲突时hashmap是通过一个长长的链表来存储的，JDK1.8开始，hashmap采用数组+链表+红黑树组合数据结构来实现，链表和红黑树将会按一定策略互相转换，JDK1.8开始，hashmap的存储结构大致如下：

回顾一下关于红黑树的定义：

1. 每个结点或是红色的，或是黑色的
      2. 根节点是黑色的
      3. 每个叶结点（NIL）是黑色的
      4. 如果一个节点是红色的，则它的两个儿子都是黑色的
      5. 对于每个结点，从该结点到其子孙结点的所有路径上包含相同数目的黑色结点

HashMap部分方法析

构造函数

无参数构造函数：设置装载因子初始值0.75

 public HashMap() {
     this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted
 }

HashMap(int initialCapacity) ：指定初始容量

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

HashMap(int initialCapacity) ：指定初始容量和装载因子

 public HashMap(int initialCapacity, float loadFactor) {
 　　//初始容量校验
     if (initialCapacity < 0)
         throw new IllegalArgumentException("Illegal initial capacity: " +
                                            initialCapacity);
 　　//校验初始容量不能超过hashmap最大容量：2的30次方
     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);
 }
 　　//根据根据初始化参数initialCapacity 返回大于等于该值得最小 2的指数值 作为初始容量
 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;
 }

这个构造函数可以发现初始化hashmap的容量并不是随意指定多少就初始化多少，内部根据传入的容量值做了转换，严格的将hashmap的初始容量转换成的2的指数值，比如我们初始化一个new HashMap(25)，实际初始化处来的容量是32，相当于new HashMap(32)

HashMap(Map<? extends K, ? extends V> m):初始化一个hashmap，使用默认加载因子0.75,并将hashmap参数值复制到新创建的hashmap对象中。

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

put(K key, V value)

向hashmap中添加健值对

 public V put(K key, V value) {
     return putVal(hash(key), key, value, false, true);
 }
 
 //hash：hashkey
 //key value :键值对
 //onlyIfAbsent:为true则不修改已存在的value
 //evict:返回被修改的value
 final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                boolean evict) {
 
     Node<K,V>[] tab;
 Node<K,V> p;
 int n, i;
 　　//如果table为null或者空，则进行resize扩容
     if ((tab = table) == null || (n = tab.length) == 0)
     //执行resize扩容，内部将初始化table和threshold
         n = (tab = resize()).length;
 　　//如果对应索引处没有Node，则新建Node并放到table里面
     if ((p = tab[i = (n - 1) & hash]) == null)
         tab[i] = newNode(hash, key, value, null); //tab[i]==null的情况，直接新创建节点并赋值给tab[i]
     else {
 　　//else的情况表示tab[i]不为null
         Node<K,V> e;
 　　　　 K k;
 　　　　//1：hash值与tab[i]的hash值相等且key也相等，那么覆盖该节点的value域
         if (p.hash == hash &&
             ((k = p.key) == key || (key != null && key.equals(k))))
             e = p;//暂存tab[i]的节点p到临时变量e
 　　   //2：判断tab[i]是否是红黑树
         else if (p instanceof TreeNode)
        e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);//添加到树形结构中
         else {
 　　　　//3：不是红黑树 且不是第1中情况，即：hash值一致,但是key不一致，那么需要将新的key-value添加到链表末尾
             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;
                 }
 //如果key已经存在该链表中，直接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;
 　　　　　　/hash值和key相等的情况下，更新value
             if (!onlyIfAbsent || oldValue == null)
                 e.value = value;
         //
             afterNodeAccess(e);
 　　　　　　//返回旧的value值
             return oldValue;
         }
     }
 　　//修改次数自增
     ++modCount;
 　　　　//判断是否需要再次扩容
     if (++size > threshold)
         resize();
 //
     afterNodeInsertion(evict);
     return null;
 }

上面的代码即便加了注释，看上去也不是很清晰，csdn有篇文章分析了hashmap的这个方法，并给出了一个流程图，逻辑很清晰：

图片来源：https://blog.csdn.net/lianhuazy167/article/details/66967698

上面put方法的实现中用到了一个很重要的方法resize(),这个方法的作用是当hashmap集合中的元素已经超过最大承载容量时，则对hashmap进行容量扩充。最大装载容量threshold=capacity*loadFactor,这个值一般小于数组的长度，下面看一下这个方法的实现过程：

 //初始化或者是扩展table的容量，table的容量时按照2的指数增长的，当扩大table容量时，元素的hash值以及位置可能发生改变
 final Node<K,V>[] resize() {
 Node<K,V>[] oldTab = table;
 　　//计算当前哈希表 table数组长度
     int oldCap = (oldTab == null) ? 0 : oldTab.length;
 　　//当前阈值（装载容量=数组长度*装载因子）
     int oldThr = threshold;
     int newCap, newThr = 0;
 　　//如果table数组长度大于0
     if (oldCap > 0) {
 　　//table数组长度大于等于hashmap默认的最大值： 2的30次方
      if (oldCap >= MAXIMUM_CAPACITY) {
 　　　　　　//扩充为为int型最大值
             threshold = Integer.MAX_VALUE;
             return oldTab;
         }
     　　　　//如果table数据长度>=初始化长度（16） 而且 扩展1倍也小于默认最大长度：2的30次方
         else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
                  oldCap >= DEFAULT_INITIAL_CAPACITY)
         　　　　// threshold 阈值扩大一倍
             newThr = oldThr << 1; // double threshold
     }
     //如果原先的装载容量>0,直接将新容量赋值为 原先的装载容量oldThr->oldThreshold
     else if (oldThr > 0) // initial capacity was placed in threshold
         newCap = oldThr;
     else {               // zero initial threshold signifies using defaults
 　　　　//原先的阈值oldThr< =0 而且table长度也=0，这说明hashmap还未初始化，执行初始化
         newCap = DEFAULT_INITIAL_CAPACITY;//数组长度赋值16
         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;
 　　　　//重新分配table容量
     @SuppressWarnings({"rawtypes","unchecked"})
         Node<K,V>[] newTab = (Node<K,V>[])new Node[newCap];
     table = newTab;
 　　//把原先table中的复制到新的table中
     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)
                     ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
                 else { // preserve order
                     Node<K,V> loHead = null, loTail = null;
                     Node<K,V> hiHead = null, hiTail = null;
                     Node<K,V> next;
                     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;
 }

Hashmap的扩容机制主要实现步骤：

如果当前数组为空，则初始化当前数组（长度16，装载因子0.75）
如果当前数组不为空，则将当前数组容量扩大一倍，同时将阈值（threshold）也扩大一倍，然后将之前table素组中值全部复制到新的table中

get(Object key)

通过key获取对应的value，实现逻辑：根据key计算hash值，通过hash值和key从hashmap中检索出唯一的结果并返回。

 public V get(Object key) {
     Node<K,V> e;
     return (e = getNode(hash(key), key)) == null ? null : e.value;
 }
 //hash:key对应的hash值
 //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) {  // tab[(n - 1) & hash]
 　　　　// 根据hash值计算出table中的位置,如果该位置第一个节点 key 和 hash值都和传递进来的参数相等，则返回该Node
         if (first.hash == hash && // always check first node
             ((k = first.key) == key || (key != null && key.equals(k))))
             return first;
 　　　　　　//该键值对在hash表(n - 1) & hash索引处，但是不是第一个节点，多以遍历该链表（也可能是红黑树），不管是链表还是树，顺藤摸瓜就对了
         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;
 }
 
 //计算hash值
 static final int hash(Object key) {
     int h;
     return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
 }

get方法逻辑并没有什么难懂得地方，但是过程中有两个地方需要额外注意一下：

tab[(n - 1) & hash])：根据hash值计算元素位置，其中n为hashmap中table数组长度，这里使用(n-1)&hash的方式计算索引位置，简单解释一下这个含义，hashmap中数组的大小总是2的指数值，这种特殊的情况之下(n-1)&hash等同于hash%n取模运算结果，并且使用(n-1)&hash位运算的方式效率上也高于取模运算。
hash(key)：计算hash值，这个函数并不是直接通过hashCode()获取hash值，而是做了一步位运算(h = key.hashCode()) ^ (h >>> 16)，即将hashcode的高16为与低16位异或运算，为什么这么做呢？因为hashcode()返回的是一个32位的int类型数值，将该数值的高16位与低16位做异或运算主要是想让高位数据参与运算，增加hash值得随机性。