HashMap底层实现原理(JDK1.8)源码分析

时间:2023-03-09 02:48:01
HashMap底层实现原理(JDK1.8)源码分析

ref:https://blog.csdn.net/tuke_tuke/article/details/51588156

http://www.cnblogs.com/xiaolovewei/p/7993440.html

  在JDK1.6,JDK1.7中,HashMap采用位桶+链表实现,即使用链表处理冲突,同一hash值的链表都存储在一个链表里。但是当位于一个桶中的元素较多,即hash值相等的元素较多时,通过

key值依次查找的效率较低。而JDK1.8中,HashMap采用位桶+链表+红黑树实现,当链表长度超过阈值(8)时,将链表转换为红黑树,这样大大减少了查找时间。

  简单说下HashMap的实现原理:

  首先有一个每个元素都是链表(可能表述不准确)的数组,当添加一个元素(key-value)时,就首先计算元素key的hash值,以此确定插入数组中的位置,但是可能存在同一hash

的元素已经被放在数组同一位置了,这时就添加到同一hash值的元素的后面,他们在数组的同一位置,但是形成了链表,同一各链表上的Hash值是相同的,所以说数组存放的是链

表。而当链表长度太长时,链表就转换为红黑树,这样大大提高了查找的效率。

  当链表数组的容量超过初始容量的0.75时,再散列将链表数组扩大2倍,把原链表数组的搬移到新的数组中。

  即HashMap的原理图是:

  HashMap底层实现原理(JDK1.8)源码分析

  HashMap底层实现原理(JDK1.8)源码分析

一、JDK1.8中的涉及到的数据结构

  1、位桶数组   

  HashMap底层实现原理(JDK1.8)源码分析

   /**
   * 哈希表的结构是桶(数组)+单向链表+红黑树。
   * 由于不同的key计算出的hash值可能相同,会造成hash冲突,引入单链表解决hash冲突。
  * 所以,桶中的各个元素hash值虽然相同,但是key不相同,因为hashmap不允许相同的key。
   * 当链表长度过大时,访问速度下降,引入红黑树解决这一问题
   * 哈希表的容量(桶的个数)是2的倍数
   * 该数组的初始化放在了put中,构造函数中并没有对其进行初始化
   */
   transient Node<k,v>[] table;//存储(位桶)的数组</k,v>

  2、数组元素Node<K,V>实现了Entry接口

  HashMap底层实现原理(JDK1.8)源码分析  

    1. //Node是单向链表,它实现了Map.Entry接口
    2. static class Node<k,v> implements Map.Entry<k,v> {
    3. final int hash;
    4. final K key;
    5. V value;
    6. Node<k,v> next;
    7. //构造函数Hash值 键 值 下一个节点
    8. Node(int hash, K key, V value, Node<k,v> next) {
    9. this.hash = hash;
    10. this.key = key;
    11. this.value = value;
    12. this.next = next;
    13. }
    14. public final K getKey()        { return key; }
    15. public final V getValue()      { return value; }
    16. public final String toString() { return key + = + value; }
    17. public final int hashCode() {
    18. return Objects.hashCode(key) ^ Objects.hashCode(value);
    19. }
    20. public final V setValue(V newValue) {
    21. V oldValue = value;
    22. value = newValue;
    23. return oldValue;
    24. }
    25. //判断两个node是否相等,若key和value都相等,返回true。可以与自身比较为true
    26. public final boolean equals(Object o) {
    27. if (o == this)
    28. return true;
    29. if (o instanceof Map.Entry) {
    30. Map.Entry<!--?,?--> e = (Map.Entry<!--?,?-->)o;
    31. if (Objects.equals(key, e.getKey()) &&
    32. Objects.equals(value, e.getValue()))
    33. return true;
    34. }
    35. return false;
    36. }

  HashMap底层实现原理(JDK1.8)源码分析

  3、红黑树

  HashMap底层实现原理(JDK1.8)源码分析 

    1. //红黑树
    2. static final class TreeNode<k,v> extends LinkedHashMap.Entry<k,v> {
    3. TreeNode<k,v> parent;  // 父节点
    4. TreeNode<k,v> left; //左子树
    5. TreeNode<k,v> right;//右子树
    6. TreeNode<k,v> prev;    // needed to unlink next upon deletion
    7. boolean red;    //颜色属性
    8. TreeNode(int hash, K key, V val, Node<k,v> next) {
    9. super(hash, key, val, next);
    10. }
    11. //返回当前节点的根节点
    12. final TreeNode<k,v> root() {
    13. for (TreeNode<k,v> r = this, p;;) {
    14. if ((p = r.parent) == null)
    15. return r;
    16. r = p;
    17. }
    18. }

  HashMap底层实现原理(JDK1.8)源码分析

二、源码中的数据域

  加载因子(默认0.75):为什么需要使用加载因子,为什么需要扩容呢?因为如果填充比很大,说明利用的空间很多,如果一直不进行扩容的话,链表就会越来越长,这样查找的效率很低,

因为链表的长度很大(当然最新版本使用了红黑树后会改进很多),扩容之后,将原来链表数组的每一个链表分成奇偶两个子链表分别挂在新链表数组的散列位置,这样就减少了每个链表的长

度,增加查找效率。

  HashMap本来是以空间换时间,所以填充比没必要太大。但是填充比太小又会导致空间浪费。如果关注内存,填充比可以稍大,如果主要关注查找性能,填充比可以稍小。

  先来看看hashmap中的几个参数:

  HashMap底层实现原理(JDK1.8)源码分析 

  1. public class HashMap<k,v> extends AbstractMap<k,v> implements Map<k,v>, Cloneable, Serializable {
  2. private static final long serialVersionUID = 362498820763181265L;
  3. static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; //默认的初始化容量(桶的个数),是16, 要为2的幂次
  4. static final int MAXIMUM_CAPACITY = 1 << 30;//最大容量
  5. static final float DEFAULT_LOAD_FACTOR = 0.75f;//(填充比) 加载因子。当hash表中桶的数目超过当前容量与加载因子的乘积时,就会扩容
  6. //当add一个元素到某个位桶,其链表长度达到8时将链表转换为红黑树
  7. static final int TREEIFY_THRESHOLD = 8;
  8. static final int UNTREEIFY_THRESHOLD = 6;  //一个桶的链表还原阈值。当桶中元素个数小于这个值时,红黑树会还原为链表。
  9. static final int MIN_TREEIFY_CAPACITY = 64;  //哈希表的最小树形化的容量。只有当表中的桶的个数(容量)大于这个值时,表中的桶才能树形化(转化成红黑树),否则,当桶内元素太多时,不是转换成红黑树,而是扩容,因为容量不够大。
  10. transient Node<k,v>[] table;//存储元素的数组
  11. transient Set<map.entry<k,v>> entrySet;
  12. transient int size;//存放元素的个数
  13. transient int modCount;//被修改的次数fast-fail机制
  14. int threshold;//临界值 当实际大小(容量*填充比)超过临界值时,会进行扩容
  15. final float loadFactor;//填充比(......后面略)

  HashMap底层实现原理(JDK1.8)源码分析

  这几个参数的含义上面都有标注。HashMap默认的容量(桶的个数)是16,。默认的加载因子是0.75,加载因子loadFactor是影响hashMap进行扩容的指标之一,还有一个是容量,也就是table

数组的大小(桶的个数)。threshold是进行扩容的门限值,为capacity*loadFactor 。

  当一个桶中元素个数大于8时(添加元素时判断),会将链表转成红黑树;当树的节点个数小于6时(删除节点时判断),会转成链表。

  MIN_TREEIFY_CAPACITY变量:最小树形化的值。意思是:当桶的个数没有达到这个值(64)时,即使桶中元素个数大于8时,也不会转成红黑树,而是直接扩容(resize(),该方法后面介

绍),扩大桶的个数。只有当桶的个数大于等于该值时,才会树形化。

三、HashMap的构造函数

  HashMap的构造方法有4种,主要涉及到的参数有:指定初始容量、指定填充比和用来初始化的Map

  HashMap底层实现原理(JDK1.8)源码分析 

  1. //构造函数1
  2. public HashMap(int initialCapacity, float loadFactor) {
  3. //指定的初始容量非负
  4. if (initialCapacity < 0)
  5. throw new IllegalArgumentException(Illegal initial capacity:  +
  6. initialCapacity);
  7. //如果指定的初始容量大于最大容量,置为最大容量
  8. if (initialCapacity > MAXIMUM_CAPACITY)
  9. initialCapacity = MAXIMUM_CAPACITY;
  10. //填充比为正
  11. if (loadFactor <= 0 || Float.isNaN(loadFactor))
  12. throw new IllegalArgumentException(Illegal load factor:  +
  13. loadFactor);
  14. this.loadFactor = loadFactor;
  15. this.threshold = tableSizeFor(initialCapacity);//新的扩容临界值
  16. }
  17. //构造函数2
  18. public HashMap(int initialCapacity) {
  19. this(initialCapacity, DEFAULT_LOAD_FACTOR);
  20. }
  21. //构造函数3
  22. public HashMap() {
  23. this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted
  24. }
  25. //构造函数4用m的元素初始化散列映射
  26. public HashMap(Map<!--? extends K, ? extends V--> m) {
  27. this.loadFactor = DEFAULT_LOAD_FACTOR;
  28. putMapEntries(m, false);
  29. }

  HashMap底层实现原理(JDK1.8)源码分析

  从构造函数可以看出,构造函数并没有对底层的table数组进行初始化,而是和ArrayList一样,将初始化数组的过程推迟到第一次添加元素时进行。第一个构造函数,将传入的容量赋值给了

threshold门限,后面会在resize方法中根据该门限进行初始化。

四、HashMap的存取机制

  1、HashMap如何getValue值,看源码

  HashMap底层实现原理(JDK1.8)源码分析

  /**
* 返回key对应的value
* 1.计算key的hash值。
* 2.根据hash值找到对应桶的第一个节点。
* 3.判断第一个节点是不是(比较hash值和key)。
* 4.第一个节点不是就分红黑树和链表继续遍历
*/
public V get(Object key) {
Node<K,V> e;
return (e = getNode(hash(key), key)) == null ? null : e.value;
} /**
* 根据hash值和key找到对应的节点
* 1.根据hash值找到对应的桶的第一个节点。如果第一个节点hash值以及key都对应的相等,则返回第一个。
* 2.往后遍历,看看是不是树,然后遍历。
* 这里找桶的算法是(n-1)&hash。n是桶的个数(2的幂次)。
*
* 这里取模时,前后两个数位置无所谓,只要有一个是2的幂次(b),另外一个是a,
* 取模就等价于求余数(a%(b-1),(2的幂次-1)做分母)。
* 所以,这里是等价于hash%(n-1)。也就是找桶的位置,从0开始
*/
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;
}

  步骤简述:

  1.计算key的hash值。

  2.根据hash值找到对应桶的第一个节点,hash&(n-1)。

  3.判断第一个节点是不是(比较hash值和key)。

  4.第一个节点不是就分红黑树和链表继续遍历

  HashMap底层实现原理(JDK1.8)源码分析

  /**
* 存元素,见下个方法
*/
public V put(K key, V value) {
return putVal(hash(key), key, value, false, true);
} /**
* 存元素的步骤:
* 1.根据key计算hash值;
* 2.判断是否是第一次加入元素(table是否为空),如果是,则调用resize函数初始化:
* 如果threshold=0,则初始化为16,;如果threshold不为0(构造函数中传入加载因子,会给threshold赋值,但是没有初始化table)
* 3.根据hash值找到((n-1)&hash)对应桶的第一个元素;如果第一个元素为空,那么直接插入新节点。
* 4.如果第一个元素不为空,则判断结构是不是红黑树,如果是红黑树则调用红黑树插入的方法;
* 5.如果不是红黑树,则依次遍历链表,如果链表有和传入的key相同的key,则用新的value替换原来的value,并返回旧value;
* 6.如果没有相同的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;
/**
* 构造函数中没有对table进行初始化,所以第一次put时,会进行判断table是否为空,为空则要进行初始化。
* 也就是table初始化为初始化容量16.
* resize()函数就是扩容:table为空时,扩容(也就是初始化)为默认容量16;table不为空时,扩容两倍(满足容量是2的幂次)
*/
if ((tab = table) == null || (n = tab.length) == 0)
n = (tab = resize()).length;
//根据hash值,找到对应桶位置的第一个元素,如果该元素为空,则直接插入。
if ((p = tab[i = (n - 1) & hash]) == null)
tab[i] = newNode(hash, key, value, null);
else {
Node<K,V> e; K k;
//如果第一个元素不为空,且该元素的key与传入的key一样,说明已经存在该key,记录下来
if (p.hash == hash &&
((k = p.key) == key || (key != null && key.equals(k))))
e = p;
else if (p instanceof TreeNode)
e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
else {
for (int binCount = 0; ; ++binCount) {
//如果是最后一个了,且key都不相同,就将新节点插入到链表最后
if ((e = p.next) == null) {
p.next = newNode(hash, key, value, null);
//如果新加入节点后,链表大小超过阈值8,就转成红黑树
if (binCount >= TREEIFY_THRESHOLD - 1) // 因为从-1开始的。也就是-1到7,也就是大于8个节点时
treeifyBin(tab, hash);
break;
}//如果有相同的key,跳出循环
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
break;
p = e;
}
}
/**
* 如果有相同的key,将用新的value替换就的value,并返回原来的value
*/
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;
}
HashMap底层实现原理(JDK1.8)源码分析

  *存元素的步骤:

  1.根据key计算hash值;

  2.判断是否是第一次加入元素(table是否为空),如果是,则调用resize函数初始化(扩容):(见下面resize)

   如果threshold=0,则初始化为16,;如果threshold不为0,初始化为threshold(构造函数中传入加载因子,会给threshold赋值,但是没有初始化table)

  3.根据hash值找到((n-1)&hash)对应桶的第一个元素;如果第一个元素为空,那么直接插入新节点。

  4.如果第一个元素不为空,则判断结构是不是红黑树,如果是红黑树则调用红黑树插入的方法;

  5.如果不是红黑树,则依次遍历链表,如果链表有和传入的key相同的key,则用新的value替换原来的value,并返回旧value;

  6.如果没有相同的key,则插入到链表的最后。并判断新链表的大小是否超过门限,超过则转换成红黑树。

  7.判断新size是不是大于threshold,是就扩容

五、HasMap的扩容机制resize()

  构造hash表时,如果不指明初始大小,默认大小为16(即Node数组大小16),如果Node[]数组中的元素达到(填充比*Node.length)重新调整HashMap大小 变为原来2倍大小,扩容很耗时。

  HashMap底层实现原理(JDK1.8)源码分析

  /**
* table为空时,扩容(也就是初始化)为默认容量16;table不为空时,扩容两倍(满足容量是2的幂次)
* resize函数中新建一个散列表数组,容量为旧表的2倍,接着把旧表的键值对迁移到新表(重新计算hash值,存入新表),
* 这里分三种情况:
1. 表项只有一个键值对时,针对新表计算新的桶位置并插入键值对
2. 表项节点是红黑树节点时(说明这个bin元素较多已经转成红黑树了),split这个bin。
3. 表项节点包含多个键值对组成的链表时(拉链法),把链表上的键值对按hash值分成两串,一串放到新表的原索引位置,
另外一串放到新表的原索引位置+oldCap 处。 */
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倍也没有超过最大容量,那么新容量为两倍,新扩容门限也为原来两倍
else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
oldCap >= DEFAULT_INITIAL_CAPACITY)
newThr = oldThr << 1; // double threshold
}//如果原来门限大于0,则新容量为原来门限
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);
}
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)
((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;
}

  步骤:

  table不为空时(原来容量>0),扩容两倍(满足容量是2的幂次);

  当table为空时:1,如果threshold>0,这就是构造函数中传进来的初始化容量,初始化为该容量threshold;2,threshold=0,没有传入初始化容量,初始化为默认容量16.

  扩容两倍步骤:

  * resize函数中新建一个散列表数组,容量为旧表的2倍,接着把旧表的键值对迁移到新表(重新计算hash值,存入新表),

  * 这里分三种情况:遍历每个桶 j,

  1. 桶中只有一个键值对时,针对新表计算新的桶位置并插入键值对

  2. 桶中节点是红黑树节点时(说明这个bin元素较多已经转成红黑树了),split这个bin。

  3. 桶中节点包含多个键值对组成的链表时(拉链法),把链表上的键值对按hash值分成两串(根据(hash & oldCap) == 0),一串放到新表的原索引位置 j ,另外一串放到新表的 原索引位置

j+原表容量oldCap 处。

六、JDK1.8使用红黑树的改进

  在java jdk8中对HashMap的源码进行了优化,在jdk7中,HashMap处理“碰撞”的时候,都是采用链表来存储,当碰撞的结点很多时,查询时间是O(n)。

  在jdk8中,HashMap处理“碰撞”增加了红黑树这种数据结构,当碰撞结点较少时,采用链表存储,当较大时(>8个),采用红黑树(特点是查询时间是O(logn))存储(有一个阀值控制,大

于阀值(8个),将链表存储转换成红黑树存储)。

  HashMap底层实现原理(JDK1.8)源码分析

  问题分析:

  你可能还知道哈希碰撞会对hashMap的性能带来灾难性的影响。如果多个hashCode()的值落到同一个桶内的时候,这些值是存储到一个链表中的。最坏的情况下,所有的key都映射到同一个

桶中,这样hashmap就退化成了一个链表——查找时间从O(1)到O(n)。

  随着HashMap的大小的增长,get()方法的开销也越来越大。由于所有的记录都在同一个桶里的超长链表内,平均查询一条记录就需要遍历一半的列表。

  JDK1.8HashMap的红黑树是这样解决的:

如果某个桶中的记录过大的话(当前是TREEIFY_THRESHOLD = 8),HashMap会动态的使用一个专门的treemap实现来替换掉它。这样做的结果会更好,是O(logn),而不是糟糕的O(n)。

它是如何工作的?前面产生冲突的那些KEY对应的记录只是简单的追加到一个链表后面,这些记录只能通过遍历来进行查找。但是超过这个阈值后HashMap开始将列表升级成一个二叉树,使

用哈希值作为树的分支变量,如果两个哈希值不等,但指向同一个桶的话,较大的那个会插入到右子树里。如果哈希值相等,HashMap希望key值最好是实现了Comparable接口的,这样它可以按

照顺序来进行插入。这对HashMap的key来说并不是必须的,不过如果实现了当然最好。如果没有实现这个接口,在出现严重的哈希碰撞的时候,你就并别指望能获得性能提升了。