本文详细解析了HashMap8.0的内部结构，包括节点定义、容量调整、插入与查找操作。相较于HashMap7，8.0引入了尾插法避免链表逆序，以及在链表长度超过8时转换为红黑树，提高性能。此外，HashMap8在扩容策略上进行了调整，先插入后扩容。文章还探讨了HashMap作为键值对容器的特性及其适用场景。
本文是基于HashMap8.0来讨论的。
首先讨论的是第一个方法：
首先看看jdk8HashMap的结构，如下图所示：
从上图我们可以看出数组中的每个元素中存储的都是一个链表：链表中的每个节点的定义如下所示：
static class Node<K,V> implements Map.Entry<K,V> {
final int hash;
final K key;
V value;
Node<K,V> next;
//这里我们可以看出链表中的每个节点存储的有hash值，key值，value值，以及下一个节点的地址
Node(int hash, K key, V value, Node<K,V> next) {
this.hash = hash;
this.key = key;
this.value = value;
this.next = next;
}
public final K getKey() { return key; }
public final V getValue() { return value; }
public final String toString() { return key + "=" + value; }
public final int hashCode() {
return Objects.hashCode(key) ^ Objects.hashCode(value);
}
public final V setValue(V newValue) {
V oldValue = value;
value = newValue;
return oldValue;
}
}
//此方法的是返回一个大于并且最接近cap的一个2^n的数，比如我们传的参数是5，那么返回的就是16.至于为什么要这样做，主要是为了后面扩容的时候实现要么是等于原数组中的位置，要么是等于原数组中的位置+旧容量。
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;
}
构造函数如下所示
//有两个参数的构造函数
public HashMap(int initialCapacity, float loadFactor) {
if (initialCapacity < 0)
throw new IllegalArgumentException("Illegal initial capacity: " +
initialCapacity);
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);
}
//有一个参数的构造函数
public HashMap(int initialCapacity) {
this(initialCapacity, DEFAULT_LOAD_FACTOR);
}
//无参构造
public HashMap() {
this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted
}
//get(key)方法如下所示
public V get(Object key) {
Node<K,V> e;
return (e = getNode(hash(key), key)) == null ? null : e.value;
}
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) {
/**这里属实不明白为啥每次都要从链表的第一个节点开始遍历，而不是直接用while(first!=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) {
//如果是红黑树类型的就按照树的遍历去得到value值
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;
}
然后是put操作：
public V put(K key, V value) {
return putVal(hash(key), key, value, false, true);
}
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是否为空，如果为空就给他扩容，也就是给他一个默认的容量也就是16，然后再给一个默认的loadFactory。第一次扩容
if ((tab = table) == null || (n = tab.length) == 0)
n = (tab = resize()).length;
//然后根据传过来的key值和hash值，计算下标，如果此下标还没有存储元素，那么就把这个key封装成一个链表节点放到这个下标中。
if ((p = tab[i = (n - 1) & hash]) == null)
tab[i] = newNode(hash, key, value, null);
//下面就是tab[i = (n - 1) & hash]这个位置有数据了，那么就要这个节点的后面去添加这个新的元素了，这里又分两种情况一种是key已经存在，直接替换并放回value即可，第二种是key不存在，那么就添加即可。
else {
Node<K,V> e; K k;
//得到这个tab[i = (n - 1) & hash]里面的链表，并且用p指向这个链表，判断链表的第一个元素，如果key相等的话，就说明要替换value了，这里先把p赋值给e，而不在p上直接修改。这里也是判断key已经存在了
if (p.hash == hash &&
((k = p.key) == key || (key != null && key.equals(k))))
e = p;
//走这个也说明key值存在
else if (p instanceof TreeNode)
e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
//走这里就说明key值不存在在目前的桶里，那么就直接添加到链表尾部即可
else {
for (int binCount = 0; ; ++binCount) {
//先把p.next赋值给e，然后去判断如果等于null直接放在p.next后面
if ((e = p.next) == null) {
p.next = newNode(hash, key, value, null);
if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
treeifyBin(tab, hash);
break;
}
//如果e=p.next不等null，那么此时就要判断是不是在后面的遍历中存在key相等的情况，如果存在就要再次替换了，再次执行下面if(e!=null){}的逻辑了。在插入的过程中存在key又相等的情况，那么就再次执行下面if(e!=null){}的逻辑了
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
break;
//然后是一直往下走，直到插入到尾部
p = e;
}
}
//如果走了前面的if和else if里面那么就会走下面，说明key值相等要替换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;
}
下面是resize()方法：
final Node<K,V>[] resize() {
Node<K,V>[] oldTab = table;
//第一步判断容量是否为空，如果为0就说明是第一次使用，而且没有进行初始化，那么oldCap=0
int oldCap = (oldTab == null) ? 0 : oldTab.length;
//老的阈值
int oldThr = threshold;
int newCap, newThr = 0;
//如果老的容量大于0，就说明HashMap里面有值了或者赋初始值了
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)
//同样阈值也变为2倍
newThr = oldThr << 1; // double threshold
}
else if (oldThr > 0) // initial capacity was placed in threshold
newCap = oldThr;
//初始时没有给容量，那么就赋值一个默认的容量是16，默认的加载因子是0.75
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;
//如果oldTab不为空，这就是把老数组里面的值赋值给库容后的数组
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);
//这就表明桶中的链表长度大于1了，那么就要遍历去把老数组中的值赋值给新数组中的值了。
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;
}
以上就是HashMap8里面的主要方法：
下面讨论一下讨论HashMap8与HashM7的区别：
1.JDK1.7用的是头插法，而JDK1.8及之后使用的都是尾插法，那么他们为什么要这样做呢？因为JDK1.7是用单链表进行的纵向延伸，当采用头插法时会容易出现逆序且环形链表死循环问题。但是在JDK1.8之后是因为加入了红黑树使用尾插法，能够避免出现逆序且链表死循环的问题。
2.JDK1.7的时候是先进行扩容后进行插入，而在JDK1.8的时候则是先插入后进行扩容。但是为什么1.8之后HashMap变为先插入后扩容呢？不懂
如下所示是jdk8的扩容代码：
//其实就是当这个Map中实际插入的键值对的值的大小如果大于这个默认的阈值的时候（初始是16*0.75=12）的时候才会触发扩容，
//这个是在JDK1.8中的先插入后扩容
if (++size > threshold)
resize();
如下是jdk7中的代码：
void addEntry(int hash, K key, V value, int bucketIndex) {
//这里当前数组如果大于等于12（假如）阈值的话，并且当前的数组的Entry数组还不能为空的时候就扩容
if ((size >= threshold) && (null != table[bucketIndex])) {
//扩容数组，比较耗时
resize(2 * table.length);
hash = (null != key) ? hash(key) : 0;
bucketIndex = indexFor(hash, table.length);
}
createEntry(hash, key, value, bucketIndex);
}
void createEntry(int hash, K key, V value, int bucketIndex) {
Entry<K,V> e = table[bucketIndex];
//把新加的放在原先在的前面，原先的是e，现在的是new，next指向e
table[bucketIndex] = new Entry<>(hash, key, value, e);//假设现在是new
size++;
}
3.jdk8中当链表的长度大于8时就转为链表而jdk7中却没有。
面试题如下所示：
为什么 HashMap 中 String、Integer 这样的包装类适合作为 key 键？
答：首先是为了减少冲突，因为String和Integer都是final修饰的，所以不可以更改，所以不重复唯一。
为什么HashMap具备下述特点：键-值（key-value）都允许为空、线程不安全、不保证有序、存储位置随时间变化？
参考：https://blog.csdn.net/qq_36520235/article/details/82417949?utm_medium=distribute.pc_relevant.none-task-blog-2%7Edefault%7EBlogCommendFromMachineLearnPai2%7Edefault-1.baidujs&depth_1-utm_source=distribute.pc_relevant.none-task-blog-2%7Edefault%7EBlogCommendFromMachineLearnPai2%7Edefault-1.baidujs
扫一扫
43万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
