HashMap构造
数组+链表+红黑树
链表大于8转红黑树,红黑树节点数小于6退回链表。
寄存的key-value的Node节点
static class Node<K,V> implements Map.Entry<K,V> { final int hash; final K key; V value; Node<K,V> next; }
树形构造的Node节点
static final class TreeNode<K,V> extends LinkedHashMap.Entry<K,V> { TreeNode<K,V> parent; // red-black tree links TreeNode<K,V> left; TreeNode<K,V> right; TreeNode<K,V> prev; // needed to unlink next upon deletion boolean red; }
他的继承构造是这样,能够看到继承了Node节点
看懂一条语句
hash & tab.length-1
代码中多处都能够看到这条代码,实际上这条语句只是做了一个取余(%)的动作。一个&怎么做的取余的操作:
HashMap的容量为2^n其二进制构造如下
任何数&2^n-1(01111…)其后果都是去0xxxx,做了疾速取余的操作。后续会看到该条语句频繁呈现
几个外围参数
- Node<K,V>[] table:寄存Node的数组
- int size:示意以后HashMap蕴含的键值对数量
- int threshold:示意以后HashMap可能接受的最多的键值对数量,一旦超过这个数量HashMap就会进行扩容
- final float loadFactor:负载因子,用于扩容
- int DEFAULT_INITIAL_CAPACITY = 16:默认的table初始容量
- float DEFAULT_LOAD_FACTOR = 0.75f:默认的负载因子
- int TREEIFY_THRESHOLD = 8: 链表长度大于该参数转红黑树
- int UNTREEIFY_THRESHOLD = 6: 当树的节点数小于等于该参数转成链表
初始化办法
指定了具体的容量,以及负载因子的初始化办法。当晓得须要放入的元素的个数时能够先指定防止屡次扩容造成性能节约。
public HashMap(int initialCapacity) { this(initialCapacity, DEFAULT_LOAD_FACTOR);} public HashMap(int initialCapacity, float loadFactor) { this.loadFactor = loadFactor; this.threshold = tableSizeFor(initialCapacity);}
外围办法 public V get(Object key)
参数key,以及该key的hash
先判断数组是否曾经初始化了,以及数组长度。
在判断tab[(n - 1) & hash],前文提到的那一条语句,用key的hash取余数组长度判断数组中的地位是否存在元素。
- 不存在元素
数组中不存在元素,必定没有产生hash抵触,那么元素必定不存在 - 数组以后地位存在元素
判断key的hsah相等并且(key的地址相等或者equals相等)。那么能够确定元素在数组中。 - 数组以后地位存在元素,然而key不相等
接下来会去判断数组中以后地位是否存在next元素(Node节点构造),如果有next阐明存在链表或者树形构造。
接下来判断Node是否是TreeNode,如果是则依照遍历树形式遍历失去后果,不是则依照遍历链表的模式遍历失去后果。
final Node<K,V> getNode(int hash, Object key) { Node<K,V>[] tab = table; Node<K,V> first = tab[(n - 1) & hash]; Node<K,V> e = first.next; int n = tab.length; K k; //数组是否曾经初始化 if (tab!= null && n > 0 && first != null) { //table中是否有节点,key是否相等 if (first.hash == hash && ((k = first.key) == key || (key != null && key.equals(k)))) return first; //key不相等,判断是否有next,并且判断是树的节点还是链表的节点,再以不同的形式去遍历获取 if (e != 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; }
外围办法 public V put(K key, V value)
put办法比拟长,分几种状况解析
- 第一次put元素,数组还未初始化:调用resize()初始化数组,间接放入table相应地位。(resize扩容办法很重要)
- table中该地位没产生Hash抵触:结构节点放入table中
- 产生Hash抵触,先判断table中节点元素key是否相等,相等则替换value
- 产生Hash抵触,节点是TreeNode:按红黑树的形式插入节点
- 产生Hash抵触,节点是Node:结构节点按链表的形式插入,并且查看插入后是否达到转红黑树的阈值8
final V putVal(int hash, K key, V value, boolean onlyIfAbsent, boolean evict) { Node<K,V>[] tab; Node<K,V> p; int n; int i; //第一次put元素,数组还未初始化 if ((tab = table) == null || (n = tab.length) == 0) //调用resize()初始化数组 n = (tab = resize()).length; //table中该地位没产生Hash抵触 if ((p = tab[i = (n - 1) & hash]) == null) //结构节点放入table中 tab[i] = newNode(hash, key, value, null); else { //产生Hash抵触 Node<K,V> e; K k; //table中节点元素key是否相等 if (p.hash == hash && ((k = p.key) == key || (key != null && key.equals(k)))) //记录下节点的援用,后续替换E节点的值 e = p; else if (p instanceof TreeNode) //节点是TreeNode:按红黑树的形式插入节点 e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value); else { //节点是Node,链表状况 for (int binCount = 0; ; ++binCount) { //遍历到链表尾部还未发现雷同的key,则结构节点插入到链表 if ((e = p.next) == null) { p.next = newNode(hash, key, value, null); if (binCount >= TREEIFY_THRESHOLD - 1) //查看插入后是否达到转红黑树的阈值8 treeifyBin(tab, hash); break; } //查看是否有雷同的key,有就退出,e = p.next曾经记录了E的援用 if (e.hash == hash && ((k = e.key) == key || (key != null && key.equals(k)))) break; p = e; } } //上述各种状况下,如果不是插入节点的状况下 //存在key雷同的状况下,实现一个值的替换 if (e != null) { V oldValue = e.value; if (!onlyIfAbsent || oldValue == null) e.value = value; return oldValue; } } //查看是否须要扩容 存在的数量>hashmap容量*负载因子就须要扩容 if (++size > threshold) resize(); return null; }
外围办法Node<K,V>[] resize()
最重要的局部来了,也是面试官最喜爱问的HashMap的扩容
- 第一次初始化时候调用
- 寄存的键值对的数量>hashmap容量*负载因子就须要扩容
初始化时候调用resize
扩容后失去的是一个Node数组。因为第一次初始化,必定是不存在链表,红黑树等构造的,以及Node节点的。只是对一些属性做了赋值操作,和返回一个空的Node数组。
threshold:HashMap可能接受的最多的键值对数量;如果指定了容量和负载因子,则threshold = 指定的容量*负载因子;
Node<K,V>[] table:寄存Node的数组,创立了一个容量为16(未指定具体容量时,默认为16)的Node数组。
省略局部与第一次初始化无关代码不重要的代码
final HashMap.Node<K,V>[] resize() { //16*0.75=12 threshold = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY); //16 HashMap.Node<K,V>[] newTab = (HashMap.Node<K,V>[])new HashMap.Node[DEFAULT_INITIAL_CAPACITY]; table = newTab; return newTab; }
扩容调用resize 重点来了
先删除一些与扩容无关的代码
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) { //容量和阈值都扩充成两倍 newCap = oldCap << 1; newThr = oldThr << 1; } //设置阈值属性 threshold = newThr; //新建一个是之前两倍容量的大小的Node数组 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) { //数据须要迁徙,table相应地位置空 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 { //不须要挪动的链表的头尾指针 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); //将链表从新放入table数组中 if (loTail != null) { loTail.next = null; newTab[j] = loHead; } if (hiTail != null) { hiTail.next = null; newTab[j + oldCap] = hiHead; } } } } } return newTab; }
这里次要剖析一下拆分的根据。
当要将链表中的数据进行拆分,并且调配到不同的table下标中。能够明确的是,不能因为扩容影响到get办法,所以依据get办法key的hash取余容量能够失去如下两张图片。
未拆之前
拆之后
扩容中读懂一行代码
(e.hash & oldCap) == 0
当元素的hash &oldCap(前文提到过容量为2^n,其二进制为1000…)。
看几个例子
5&16 ==0
21&16 !=0
69&16 ==0
Hash值的构造以红色框为核心:能够看成 右边Y+table容量+左边X,Y是容量的偶数倍数,X小于容量值,从上述例子中能够看进去后果是否为0取决于红色框处是0还是1。
- 为0后果恒为0
Y是容量的偶数倍数扩容后取余为仍旧0,余数为X,余数与扩容之前统一,不须要挪动。 - 为1时后果不为0
Y是容量的偶数倍数扩容后取余为仍旧0,余数为容量值+X,扩容后余数与之前不统一,须要挪动,挪动后的地位为容量+X(之前所在位置的值)。
最初
欢送关注公众号:前程有光,支付一线大厂Java面试题总结+各知识点学习思维导+一份300页pdf文档的Java外围知识点总结!