概述
本文是基于jdk8_271版本进行分析的。
HashMap是Map集合中使用最多的。底层是基于数组+链表实现的,jdk8开始底层是基于数组+链表/红黑树实现的。HashMap也会动态扩容,与ArrayList不同的是,HashMap有一个阈值字段,元素数量达到阈值之后就会进行扩容。HashMap允许key为null。同时HashMap也是线程不安全的。
数据结构
实现继承关系
1 public class HashMap<K,V> extends AbstractMap<K,V>2 implements Map<K,V>, Cloneable, Serializable
静态变量
选择0.75作为默认的加载因子,完全是时间和空间成本上寻求的一种折中选择。加载因子过高虽然减少了空间开销,但同时也增加了查询成本;加载因子过低虽然可以减少查询时间成本,但是空间利用率很低。
根据泊松分布计算的链表元素数量出现的概率(源码注释中给出了元素数量1-8出现概率的对照表,是在加载因子为0.75基础上计算的),可以看到当链表上元素数量为8时概率为0.00000006,这已经是很小了,所以在jdk8中设置了链表元素数量大于8时会转成红黑树结构。
1 /** 2 * 默认初始化容量 16 3 */ 4 static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // aka 16 5 6 /** 7 * MUST be a power of two <= 1<<30. 8 * 集合最大容量 9 */10 static final int MAXIMUM_CAPACITY = 1 << 30;11 12 /**13 * 默认加载因子的值14 */15 static final float DEFAULT_LOAD_FACTOR = 0.75f;16 17 /**18 * 链表上元素个数概率19 * 0: 0.6065306620 * 1: 0.3032653321 * 2: 0.0758163322 * 3: 0.0126360623 * 4: 0.0015795224 * 5: 0.0001579525 * 6: 0.0000131626 * 7: 0.0000009427 * 8: 0.0000000628 * 当链表的值数量大于8时,会从链表转成红黑树29 */30 static final int TREEIFY_THRESHOLD = 8;31 32 /**33 * 当链表的值数量小于6时,会从红黑树转回链表34 */35 static final int UNTREEIFY_THRESHOLD = 6;36 37 /**38 * 当Map中数量超过这个值才会转成红黑树,否则优先进行扩容39 */40 static final int MIN_TREEIFY_CAPACITY = 64;
静态内部类
1.Node
1 static class Node<K,V> implements Map.Entry<K,V> { 2 final int hash; // hash值 3 final K key; // key 4 V value; // value 5 Node<K,V> next; // 下一个节点 6 7 Node(int hash, K key, V value, Node<K,V> next) { 8 this.hash = hash; 9 this.key = key;10 this.value = value;11 this.next = next;12 }13 14 public final K getKey() { return key; }15 public final V getValue() { return value; }16 public final String toString() { return key + "=" + value; }17 18 public final int hashCode() {19 return Objects.hashCode(key) ^ Objects.hashCode(value);20 }21 22 public final V setValue(V newValue) {23 V oldValue = value;24 value = newValue;25 return oldValue;26 }27 28 public final boolean equals(Object o) {29 if (o == this)30 return true;31 if (o instanceof Map.Entry) {32 Map.Entry<?,?> e = (Map.Entry<?,?>)o;33 if (Objects.equals(key, e.getKey()) &&34 Objects.equals(value, e.getValue()))35 return true;36 }37 return false;38 }39 }
2.TreeNode
1 static final class TreeNode<K,V> extends LinkedHashMap.Entry<K,V> { 2 TreeNode<K,V> parent; // 父节点 3 TreeNode<K,V> left; // 左节点 4 TreeNode<K,V> right; //右节点 5 TreeNode<K,V> prev; // 上一个同级结点 6 boolean red; 7 TreeNode(int hash, K key, V val, Node<K,V> next) { 8 super(hash, key, val, next); 9 }10 }
成员变量
1 transient Node<K,V>[] table; 2 3 /** 4 * for keySet() and values(). 5 */ 6 transient Set<Map.Entry<K,V>> entrySet; 7 8 /** 9 * 实际存放数据数量10 */11 transient int size;12 13 /**14 * 修改次数15 */16 transient int modCount;17 18 /**19 * 阈值。阈值=容量*加载因子;默认为16*0.75=12。当元素数量超过阈值便会触发扩容。20 */21 int threshold;22 23 /**24 * 加载因子,默认是0.75,一般使用默认值。25 */26 final float loadFactor;
构造方法
HashMap采用的是懒加载方式,在新建对象时候不会初始化数组,等使用时候才会去初始化。加载因子大多数情况都是使用默认值。容量值大小一定得是2的指数次幂,会根据传入的容量值调用tableSizeFor()方法重新计算容量值大小。
1 public HashMap(int initialCapacity, float loadFactor) { 2 if (initialCapacity < 0) 3 throw new IllegalArgumentException("Illegal initial capacity: " + 4 initialCapacity); 5 if (initialCapacity > MAXIMUM_CAPACITY) 6 initialCapacity = MAXIMUM_CAPACITY; 7 if (loadFactor <= 0 || Float.isNaN(loadFactor)) 8 throw new IllegalArgumentException("Illegal load factor: " + 9 loadFactor);10 this.loadFactor = loadFactor;11 // 阈值,初始化时候是没有*加载因子的。对给定的容量值重新计算,返回一个2的指数次幂的值。此时容量值大小为0。12 this.threshold = tableSizeFor(initialCapacity);13 }14 15 public HashMap(int initialCapacity) {16 this(initialCapacity, DEFAULT_LOAD_FACTOR);17 }18 19 public HashMap() {20 this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted21 // 此时阈值和容量值大小都为022 }23 24 public HashMap(Map<? extends K, ? extends V> m) {25 this.loadFactor = DEFAULT_LOAD_FACTOR;26 putMapEntries(m, false);27 }
主要方法解析
tableSizeFor--重新计算容量大小
1 /** 2 * 对于给定的目标容量,进行位运算。返回的值是2的指数幂(返回的是>=cap最小一个2的指数次幂)。 3 */ 4 static final int tableSizeFor(int cap) { 5 int n = cap - 1; 6 n |= n >>> 1; 7 n |= n >>> 2; 8 n |= n >>> 4; 9 n |= n >>> 8;10 n |= n >>> 16;11 return (n < 0) ? 1 : (n >= MAXIMUM_CAPACITY) ? MAXIMUM_CAPACITY : n + 1;12 }
putMapEntries--添加一个map集合到该集合
1 /** 2 * Map.putAll,Map构造函数 会调用该方法 3 * 4 * @param m the map 5 * @param evict 初始化有参构造时为false,其他为true 6 */ 7 final void putMapEntries(Map<? extends K, ? extends V> m, boolean evict) { 8 int s = m.size(); 9 // 如果传入的集合大小=0不进行操作10 if (s > 0) {11 if (table == null) { // pre-size12 float ft = ((float)s / loadFactor) + 1.0F;13 int t = ((ft < (float)MAXIMUM_CAPACITY) ?14 (int)ft : MAXIMUM_CAPACITY);15 if (t > threshold)16 //17 threshold = tableSizeFor(t);18 }19 else if (s > threshold)20 // 如果table!=null && s>threshold,进行扩容处理21 resize();22 for (Map.Entry<? extends K, ? extends V> e : m.entrySet()) {23 K key = e.getKey();24 V value = e.getValue();25 putVal(hash(key), key, value, false, evict);26 }27 }28 }
resize--扩容方法
1 final Node<K,V>[] resize() { 2 Node<K,V>[] oldTab = table; 3 int oldCap = (oldTab == null) ? 0 : oldTab.length; // 原容量值 4 int oldThr = threshold; // 原阈值 5 int newCap, newThr = 0; 6 if (oldCap > 0) { 7 if (oldCap >= MAXIMUM_CAPACITY) { 8 // 原容量大小已达到最大值,不进行扩容。同时将阈值设置为Integer.MAX_VALUE 9 threshold = Integer.MAX_VALUE;10 return oldTab;11 }12 else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&13 oldCap >= DEFAULT_INITIAL_CAPACITY)14 // newCap新容量扩容为老容量的2倍15 // 如果原容量值大于等于默认值16,同时将新阈值扩容为原阈值的2倍16 newThr = oldThr << 1; // double threshold17 }18 else if (oldThr > 0) // 如果原容量等于0,原阈值大于0;这种情况为有参构造创建的对象,还未添加数据19 // 将原阈值(此时原阈值就是之前计算的容量大小)赋值给新容量值,新阈值大小会在下面统一计算(此时新阈值大小为0)。20 newCap = oldThr;21 else { // 如果原容量等于0,原阈值等于0;这种情况为无参构造创建的对象22 // 则将新容量值大小设置为默认值16,新阈值大小设置为1223 newCap = DEFAULT_INITIAL_CAPACITY;24 newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);25 }26 if (newThr == 0) {27 // 如果新阈值大小为0,则会通过 新容量值大小*加载因子 计算,如果新容量值大小或者新阈值大小超出最大容量值,则将新阈值设置为Integer.MAX_VALUE28 float ft = (float)newCap * loadFactor;29 newThr = (newCap < MAXIMUM_CAPACITY && ft < (float)MAXIMUM_CAPACITY ?30 (int)ft : Integer.MAX_VALUE);31 }32 threshold = newThr;33 @SuppressWarnings({"rawtypes","unchecked"})34 Node<K,V>[] newTab = (Node<K,V>[])new Node[newCap];35 table = newTab;36 if (oldTab != null) {37 for (int j = 0; j < oldCap; ++j) {38 Node<K,V> e;39 if ((e = oldTab[j]) != null) {40 oldTab[j] = null;41 if (e.next == null) // 桶内只有一个元素42 newTab[e.hash & (newCap - 1)] = e;43 else if (e instanceof TreeNode) // 桶内元素是红黑树结构,调用split方法,完成旧数组红黑树结构迁移到新数组中的工作44 ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);45 else { // 桶内元素是链表结构,利用高低位迁移46 Node<K,V> loHead = null, loTail = null;47 Node<K,V> hiHead = null, hiTail = null;48 Node<K,V> next;49 do {50 next = e.next;51 if ((e.hash & oldCap) == 0) {52 if (loTail == null)53 loHead = e;54 else55 loTail.next = e;56 loTail = e;57 }58 else {59 if (hiTail == null)60 hiHead = e;61 else62 hiTail.next = e;63 hiTail = e;64 }65 } while ((e = next) != null);66 if (loTail != null) {67 loTail.next = null;68 newTab[j] = loHead;69 }70 if (hiTail != null) {71 hiTail.next = null;72 newTab[j + oldCap] = hiHead;73 }74 }75 }76 }77 }78 return newTab;79 }
put--添加元素
jdk1.8之后是先插入元素,再判断是否需要扩容。
1 public V put(K key, V value) { 2 return putVal(hash(key), key, value, false, true); 3 } 4 5 final V putVal(int hash, K key, V value, boolean onlyIfAbsent, 6 boolean evict) { 7 Node<K,V>[] tab; Node<K,V> p; int n, i; 8 if ((tab = table) == null || (n = tab.length) == 0) 9 // 如果table为空,会先进行扩容10 n = (tab = resize()).length;11 if ((p = tab[i = (n - 1) & hash]) == null) // 如果要插入的key对应索引为空,直接新建一个节点12 tab[i] = newNode(hash, key, value, null);13 else { // 要插入的key对应索引不为空14 Node<K,V> e; K k;15 if (p.hash == hash &&16 ((k = p.key) == key || (key != null && key.equals(k)))) // 该索引位头结点key与要插入key相等17 e = p;18 else if (p instanceof TreeNode) // 该索引位头结点与插入key不相等,并且桶内是红黑树结构,则进行红黑树方式插入19 e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);20 else { // 该索引位头结点与插入key不相等,并且桶内是链表结构21 for (int binCount = 0; ; ++binCount) {22 if ((e = p.next) == null) { // 头结点下一个节点为空,说明没有节点的key与要插入的key相等,直接新建一个节点23 p.next = newNode(hash, key, value, null);24 if (binCount >= TREEIFY_THRESHOLD - 1) // 链表长度大于8时,将链表转为红黑树(-1是因为binCount是从0开始计数的)25 treeifyBin(tab, hash); // 如果容量小于64,会进行扩容处理。大于等于64才会转为红黑树26 break;27 }28 if (e.hash == hash &&29 ((k = e.key) == key || (key != null && key.equals(k))))30 break;31 p = e;32 }33 }34 if (e != null) { // e!=null,说明之前存在该key35 V oldValue = e.value;36 if (!onlyIfAbsent || oldValue == null)37 e.value = value;38 afterNodeAccess(e);39 return oldValue;40 }41 }42 ++modCount;43 // 如果之前不存在该key,会判断元素数量是否达到阈值,如果达到阈值则进行扩容44 if (++size > threshold)45 resize();46 afterNodeInsertion(evict);47 return null;48 }
remove--删除元素
1 public V remove(Object key) { 2 Node<K,V> e; 3 return (e = removeNode(hash(key), key, null, false, true)) == null ? 4 null : e.value; 5 } 6 7 final Node<K,V> removeNode(int hash, Object key, Object value, 8 boolean matchValue, boolean movable) { 9 Node<K,V>[] tab; Node<K,V> p; int n, index;10 if ((tab = table) != null && (n = tab.length) > 0 &&11 (p = tab[index = (n - 1) & hash]) != null) { // 判断数组不为空,并且要删除key对应的索引位元素不为空12 Node<K,V> node = null, e; K k; V v;13 if (p.hash == hash &&14 ((k = p.key) == key || (key != null && key.equals(k)))) // 该索引位头结点key与要删除的key相等15 node = p;16 else if ((e = p.next) != null) { // 该索引位头结点与插入key不相等17 // 首先根据key获取节点18 if (p instanceof TreeNode) 19 node = ((TreeNode<K,V>)p).getTreeNode(hash, key);20 else {21 do {22 if (e.hash == hash &&23 ((k = e.key) == key ||24 (key != null && key.equals(k)))) {25 node = e;26 break;27 }28 p = e;29 } while ((e = e.next) != null);30 }31 }32 // 如果获取到的节点不为空,并且与传入的值相等,进行删除操作33 if (node != null && (!matchValue || (v = node.value) == value ||34 (value != null && value.equals(v)))) {35 if (node instanceof TreeNode)36 ((TreeNode<K,V>)node).removeTreeNode(this, tab, movable);37 else if (node == p)38 tab[index] = node.next;39 else40 p.next = node.next;41 ++modCount;42 --size;43 afterNodeRemoval(node);44 return node;45 }46 }47 return null;48 }
treeifyBin--链表树化,首先会判断容量大小是否达到64,如果小于会优先进行扩容处理
1 final void treeifyBin(Node<K,V>[] tab, int hash) { 2 int n, index; Node<K,V> e; 3 if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY) 4 resize(); 5 else if ((e = tab[index = (n - 1) & hash]) != null) { 6 TreeNode<K,V> hd = null, tl = null; 7 do { 8 TreeNode<K,V> p = replacementTreeNode(e, null); 9 if (tl == null)10 hd = p;11 else {12 p.prev = tl;13 tl.next = p;14 }15 tl = p;16 } while ((e = e.next) != null);17 if ((tab[index] = hd) != null)18 hd.treeify(tab);19 }20 }
split--负责完成旧数组红黑树结构迁移到新数组中的工作(静态内部类TreeNode内部方法)
1 final void split(HashMap<K,V> map, Node<K,V>[] tab, int index, int bit) { 2 TreeNode<K,V> b = this; 3 // Relink into lo and hi lists, preserving order 4 TreeNode<K,V> loHead = null, loTail = null; 5 TreeNode<K,V> hiHead = null, hiTail = null; 6 int lc = 0, hc = 0; 7 for (TreeNode<K,V> e = b, next; e != null; e = next) { 8 next = (TreeNode<K,V>)e.next; 9 e.next = null;10 if ((e.hash & bit) == 0) { // 区分数链表的高低位。为0说明是低位11 if ((e.prev = loTail) == null) // 如果低位尾部节点为空,说明此时低位链表为空,e为低位链表第一个节点12 loHead = e;13 else // 如果低位尾部节点不为空,说明此时低位链表不为空,此时e不为第一个。将之前的低位尾部节点下一个节点指向当前处理的节点e14 loTail.next = e;15 loTail = e; // 此时处理的节点e为低位的尾部节点16 ++lc;17 }18 else { // 此时e为高位19 if ((e.prev = hiTail) == null) // 如果高位尾部节点为空,说明此时高位链表为空,e为高位链表第一个节点20 hiHead = e;21 else // 如果高位尾部节点不为空,说明此时高位链表不为空,此时e不为第一个。将之前的高位尾部节点下一个节点指向当前处理的节点e22 hiTail.next = e;23 hiTail = e; // 此时处理的节点e为高位的尾部节点24 ++hc;25 }26 }27 28 if (loHead != null) {29 if (lc <= UNTREEIFY_THRESHOLD)30 // 如果计算的低位节点数量<=6,取消树状结构化,返回的是Node31 tab[index] = loHead.untreeify(map);32 else {33 tab[index] = loHead;34 if (hiHead != null) // 如果hiHead==null,说明只有一个树,树结构不变35 loHead.treeify(tab);36 }37 }38 if (hiHead != null) {39 if (hc <= UNTREEIFY_THRESHOLD)40 // 如果计算的高位节点数量<=6,取消树状结构化,返回的是Node41 tab[index + bit] = hiHead.untreeify(map);42 else {43 tab[index + bit] = hiHead;44 if (loHead != null) // 如果loHead==null,说明只有一个树,树结构不变45 hiHead.treeify(tab);46 }47 }48 }
treeify--链表树化(静态内部类TreeNode内部方法)
1 final void treeify(Node<K,V>[] tab) { 2 TreeNode<K,V> root = null; 3 for (TreeNode<K,V> x = this, next; x != null; x = next) { 4 next = (TreeNode<K,V>)x.next; 5 x.left = x.right = null; 6 if (root == null) { 7 x.parent = null; 8 x.red = false; // 根节点颜色为黑色 9 root = x;10 }11 else {12 // x:当前要处理的节点13 K k = x.key;14 int h = x.hash;15 Class<?> kc = null;16 // 从根节点遍历红黑树17 for (TreeNode<K,V> p = root;;) {18 int dir, ph;19 // p:遍历到的红黑树节点20 K pk = p.key;21 // 确定要插入的节点是树的左节点还是右节点22 if ((ph = p.hash) > h)23 dir = -1;24 else if (ph < h)25 dir = 1;26 else if ((kc == null &&27 (kc = comparableClassFor(k)) == null) ||28 (dir = compareComparables(kc, k, pk)) == 0)29 dir = tieBreakOrder(k, pk);30 31 TreeNode<K,V> xp = p;32 if ((p = (dir <= 0) ? p.left : p.right) == null) {33 // 表示x节点找到了要插入的地方34 x.parent = xp;35 if (dir <= 0) // x插入在p节点的左边36 xp.left = x;37 else38 xp.right = x; // x插入在p节点的右边39 root = balanceInsertion(root, x);40 break;41 }42 }43 }44 }45 moveRootToFront(tab, root);46 }
untreeify--取消树化(静态内部类TreeNode内部方法)
1 final Node<K,V> untreeify(HashMap<K,V> map) { 2 Node<K,V> hd = null, tl = null; 3 for (Node<K,V> q = this; q != null; q = q.next) { 4 Node<K,V> p = map.replacementNode(q, null); 5 if (tl == null) 6 // 如果尾部节点为空,说明当前节点是第一个处理的节点(头结点) 7 hd = p; 8 else 9 tl.next = p; // 如果尾部节点不为空,将之前尾部节点的下一个节点指向当前节点10 tl = p; // 将当前节点设置为尾部节点11 }12 return hd;13 }
附录
HashMap源码详细注释Github地址:https://github.com/y2ex/jdk-source/blob/jdk1.8.0_271/src/main/java/java/util/HashMap.java
jdk1.8源码Github地址:https://github.com/y2ex/jdk-source/tree/jdk1.8.0_271
原文转载:http://www.shaoqun.com/a/758808.html
1号店网:https://www.ikjzd.com/w/2263
c88:https://www.ikjzd.com/w/1017
概述 本文是基于jdk8_271版本进行分析的。 HashMap是Map集合中使用最多的。底层是基于数组+链表实现的,jdk8开始底层是基于数组+链表/红黑树实现的。HashMap也会动态扩容,与ArrayList不同的是,HashMap有一个阈值字段,元素数量达到阈值之后就会进行扩容。HashMap允许key为null。同时HashMap也是线程不安全的。数据结构实现继承关系1publicc
淘粉吧返利:https://www.ikjzd.com/w/1725
黄远:https://www.ikjzd.com/w/1785
e票联:https://www.ikjzd.com/w/1452
同房交换4P好爽 口述做爰全过程和细节:http://www.30bags.com/m/a/249814.html
不加入会员就延迟入仓?亚马逊又推新计划!:https://www.ikjzd.com/articles/93889
我主动奉献处女身把男友吓晕了:http://lady.shaoqun.com/a/270754.html