一、HashMap
的 put()
方法流程:
put(key, value)
中直接调用了内部的putVal()
方法,并且先对key
进行了hash
操作;putVal()
方法中,先检查HashMap
数据结构中的索引数组表是否位空,如果是的话则进行一次resize
操作;- 以
HashMap
索引数组表的长度减一与key的hash值进行与运算,得出在数组中的索引,如果索引指定的位置值为空,则新建一个k-v
的新节点; - 如果不满足的3的条件,则说明索引指定的数组位置的已经存在内容,这个时候称之碰撞出现;
- 在上面判断流程走完之后,计算
HashMap
全局的modCount
值,以便对外部并发的迭代操作提供修改的Fail-fast判断提供依据,于此同时增加map
中的记录数,并判断记录数是否触及容量扩充的阈值,触及则进行一轮resize
操作; - 在步骤4中出现碰撞情况时,从步骤7开始展开新一轮逻辑判断和处理;
- 判断
key
索引到的节点(暂且称作被碰撞节点)的hash
、key
是否和当前待插入节点(新节点)的一致,如果是一致的话,则先保存记录下该节点;如果新旧节点的内容不一致时,则再看被碰撞节点是否是树(TreeNode
)类型,如果是树类型的话,则按照树的操作去追加新节点内容;如果被碰撞节点不是树类型,则说明当前发生的碰撞在链表中(此时链表尚未转为红黑树),此时进入一轮循环处理逻辑中; - 循环中,先判断被碰撞节点的后继节点是否为空,为空则将新节点作为后继节点,作为后继节点之后并判断当前链表长度是否超过最大允许链表长度8,如果大于的话,需要进行一轮是否转树的操作;如果在一开始后继节点不为空,则先判断后继节点是否与新节点相同,相同的话就记录并跳出循环;如果两个条件判断都满足则继续循环,直至进入某一个条件判断然后跳出循环;
- 步骤8中转树的操作
treeifyBin
,如果map
的索引表为空或者当前索引表长度还小于64(最大转红黑树的索引数组表长度),那么进行resize
操作就行了;否则,如果被碰撞节点不为空,那么就顺着被碰撞节点这条树往后新增该新节点; - 最后,回到那个被记住的被碰撞节点,如果它不为空,默认情况下,新节点的值将会替换被碰撞节点的值,同时返回被碰撞节点的值(
V
)。
二、使用的具体方法
put()
方法
/**
* 将指定的值与此映射中的指定键相关联,如果Map中已经包含了该键的映射,那么旧的映射值将会被替代,也就是说在put时,
* 如果map中已经包含有key所关联的键值对,那么后续put进来的键值对,将会以相同key为准替换掉原来的那一对键值对。
* 返回的值则将是之前在map中实际与key相关联的Value值(也就是旧的值),如果key没有实际映射值的话那就返回null。
*/
public V put(K key, V value) {
return putVal(hash(key), key, value, false, true);
}
2. Hash()
方法
/**
* 将key的hashcode值(由native方法计算得到)再与该值的高16位进行异或运算得到最终的hash值。
* 这样做的目的作者也给出了解释,就是通常的hash算法都总是碰撞,我们这样做的目的尽量使得hash值较为分散。
*/
static final int hash(Object key) {
int h;
return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
}
putVal()
方法
final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
boolean evict) {
Node<K,V>[] tab; Node<K,V> p; int n, i;
// 如果 HashMap 的数组还是 null,则先初始化,table是map中用于存放索引的表
if ((tab = table) == null || (n = tab.length) == 0) {
n = (tab = resize()).length;
}
// 使用 hash 与 数组长度 - 1 的值进行异或得到分散的数组下标,
// 如果这个位置上没有值,那么直接新建 k-v 节点存放
if ((p = tab[i = (n - 1) & hash]) == null) {
tab[i] = newNode(hash, key, value, null);
}
// 如果走到else这一步,说明 key 索引到的数组位置上已经存在内容,即出现了 Hash 碰撞
// eles 内容为发生 Hash 碰撞时进行的操作
else {
Node<K,V> e; K k;
// p 是产生 Hash 碰撞的节点(k-v)
// 如果该节点的hash 和 新值的 hash 相等,而且 key 也相等
// 或者在 key 不等于 null 的情况下 key 的内容也相等
// 则将当前节点 p 用临时节点 e 保存
if (p.hash == hash &&
((k = p.key) == key || (key != null && key.equals(k)))) {
e = p;
}
// 如果当前节点 p 是(红黑)树类型的节点,则说明碰撞已经开始用树来处理,
// 则后续的数据结构都是树而非链表
else if (p instanceof TreeNode) {
// 其中this表示当前 HashMap , tab 为 HashMap 中的数组
e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
}
else { // 下面是当前发生冲突时数据结构为 链表 时的操作
for (int binCount = 0; ; ++binCount) {
// 如果当前碰撞到的节点没有后续节点,则直接新建节点并追加
if ((e = p.next) == null) {
p.next = newNode(hash, key, value, null);
// TREEIFY_THRESHOLD = 8
// 从 0 开始遍历,如果到 7 则说明满 8 了,这个时候就需要判断是否进化为树,还是进行扩容操作
if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
treeifyBin(tab, hash);
break;
}
// 找到了碰撞节点中,key 完全相等的节点,则用新节点替换老节点
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
break;
p = e;
}
}
// 此时的 e 是保存的被碰撞的那个节点,即老节点。如果不进行替换则 e 为 null
if (e != null) { // existing mapping for key
V oldValue = e.value;
// onlyIfAbsent是方法的调用参数,表示是否替换已存在的值,
// 在默认的put方法中这个值是false,所以这里会用新值替换旧值
if (!onlyIfAbsent || oldValue == null)
e.value = value; // 此时才完成了新值替换旧值得操作
// Callbacks to allow LinkedHashMap post-actions
afterNodeAccess(e);
return oldValue;
}
}
// map变更性操作计数器
// 比如map结构化的变更像内容增减或者rehash,这将直接导致外部map的并发
// 迭代引起fail-fast问题,该值就是比较的基础
++modCount;
// size即map中包括k-v数量的多少
// 当map中的内容大小已经触及到扩容阈值时,则需要扩容了
if (++size > threshold)
resize();
// Callbacks to allow LinkedHashMap post-actions
afterNodeInsertion(evict);
return null;
}
putTreeVal()
方法
当存储值发生碰撞,当前节点已经进化为到树时,将执行putTreeVal方法:(使用了红黑树的储值计算方法)
/**
* Tree version of putVal.
*/
final TreeNode<K,V> putTreeVal(HashMap<K,V> map, Node<K,V>[] tab,
int h, K k, V v) {
Class<?> kc = null;
boolean searched = false;
//获取根节点
TreeNode<K,V> root = (parent != null) ? root() : this;
//循环所有的节点,如果key冲突,返回原key对应的对象,如果不存在key冲突,则直接存放对象,并返回null对象
for (TreeNode<K,V> p = root;;) {
int dir, ph; K pk;
//如果当前节点的的hash大于,当前存放对象的hash
//dir的意思是放在节点的左边还是右边
if ((ph = p.hash) > h)
dir = -1;
else if (ph < h)
dir = 1;
//如果当前节点的key与当前存入的key一致,则返回当前
else if ((pk = p.key) == k || (k != null && k.equals(pk)))
return p;
else if ((kc == null &&
(kc = comparableClassFor(k)) == null) ||
(dir = compareComparables(kc, k, pk)) == 0) {
if (!searched) {
TreeNode<K,V> q, ch;
searched = true;
if (((ch = p.left) != null &&
(q = ch.find(h, k, kc)) != null) ||
((ch = p.right) != null &&
(q = ch.find(h, k, kc)) != null))
return q;
}
dir = tieBreakOrder(k, pk);
}
//根据dir的值,设置当前对象应该存放的位置,是左边子节点,还是右边子节点
TreeNode<K,V> xp = p;
//如果p的左节点或右节点为空,证明已经找到存放位置
if ((p = (dir <= 0) ? p.left : p.right) == null) {
Node<K,V> xpn = xp.next;
//创建新节点
TreeNode<K,V> x = map.newTreeNode(h, k, v, xpn);
//设置存放位置
if (dir <= 0)
xp.left = x;
else
xp.right = x;
//绑定上下级关系
xp.next = x;
x.parent = x.prev = xp;
if (xpn != null)
((TreeNode<K,V>)xpn).prev = x;
//balanceInsertion树化结构,设置红黑节点,是否需要旋转
//moveRootToFront重置根节点
moveRootToFront(tab, balanceInsertion(root, x));
return null;
}
}
}
treeifyBin()
方法
在值发生碰撞并需要延续追加时,如果追加的链表长度大于8,那么需要重新评估当前是扩充数组还是将链表转换为红黑树来存储。
/**
* Replaces all linked nodes in bin at index for given hash unless
* table is too small, in which case resizes instead.
*/
final void treeifyBin(Node<K,V>[] tab, int hash) {
int n, index; Node<K,V> e;
// MIN_TREEIFY_CAPACITY = 64
// 如果当前map的数组为空,或者数组长度还小于64,则选择扩充数组长度
if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY) {
// 扩充数组长度涉及到原内容的重新散列再存储
resize();
}
// 如果执行else if则说明数组长度已经大于64了,这个时候就使用了
// 红黑树来处理
else if ((e = tab[index = (n - 1) & hash]) != null) {
TreeNode<K,V> hd = null, tl = null;
do {
TreeNode<K,V> p = replacementTreeNode(e, null);
if (tl == null)
hd = p;
else {
p.prev = tl;
tl.next = p;
}
tl = p;
} while ((e = e.next) != null);
if ((tab[index] = hd) != null)
// table表从此节点链接成树
hd.treeify(tab);
}
}