面试Java——集合之HashMap和ConcurrentHashMap
Posted 大头菜
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了面试Java——集合之HashMap和ConcurrentHashMap相关的知识，希望对你有一定的参考价值。
前言
友善提醒，本文篇幅涉及知识点较多，消耗脑力比较大。如果你怕以后找不到此文，建议先收藏
如果你不用复习，可直接跳到——面试开始
以下代码都出自JDK8
面试前，我们复习一下
HashMap的put方法
public V put(K key, V value) {
//这里已经对key进行一次哈希了
return putVal(hash(key), key, value, false, true);
}
//扰动函数，主要功能：降低哈希冲突(详细内容不展开)
static final int hash(Object key) {
int h;
return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
}
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为空，也就是没初始化，或者已经被初始化了，但是数组长度为0，即不是2的幂次方
if ((tab = table) == null || (n = tab.length) == 0)
//给tab扩容，分配空间，初始值为n=16
n = (tab = resize()).length;
//如果桶i位置上没有节点
if ((p = tab[i = (n - 1) & hash]) == null)
//那么就直接，创建节点，然后把节点放在桶的i位置上
tab[i] = newNode(hash, key, value, null);
//如果桶i位置上有节点，p是指向节点的引用
else {
Node<K,V> e;
K k;
//如果hash相等，且key的内存地址或key的值相等。那就
if (p.hash == hash &&
((k = p.key) == key || (key != null && key.equals(k))))
e = p;
else if (p instanceof TreeNode)
//如果p是红黑树上的节点，那就把节点加到红黑树上
e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
else {
//遍历链表
for (int binCount = 0; ; ++binCount) {
//如果后一个节点为null
if ((e = p.next) == null) {
//就把新节点放在p的后一个节点
p.next = newNode(hash, key, value, null);
//如果bincount>=8-1，就是bincount==8时，链表转变红黑色
if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
treeifyBin(tab, hash);
break;
}
//如果该节点的hash，key和准备加的节点相等。在后面会进行替换操作
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
break;
p = e;
}
}
//替换值
if (e != null) { // existing mapping for key
V oldValue = e.value;
//如果onlyIfAbsent为true，就不改变value的值
if (!onlyIfAbsent || oldValue == null)
//改变value值
e.value = value;
//留给LinkedHashMap的空方法
afterNodeAccess(e);
//返回oldValue
return oldValue;
}
}
++modCount;
// map中的元素数量大于threshold时，就扩容
if (++size > threshold)
resize();
afterNodeInsertion(evict);
return null;
}总结一下，put方法的大致流程如下：
- 对key进行哈希，获得哈希值
- 将哈希值和数组长度取余，其值就是key的索引值
- 如果数组的索引位置为null，则直接插入即可
如果数组的索引位置有值，需分三种情况：
- 情况1：如果结点的Key和即将插入的key相等，那就直接替换value值即可
- 情况2：如果节点属于红黑树的节点，就按照红黑树的更新或插入方式进行操作即可
- 情况3：如果节点属于链表的节点，就遍历链表，能找到对应的节点，就替换值即可；如果不能找到对应的节点，就在链表的尾巴插入新的节点。
这只是一个大概的描述，具体的实现细节，直接看源代码就好。
HashMap的get方法
public V get(Object key) {
Node<K,V> e;
return (e = getNode(hash(key), key)) == null ? null : e.value;
}
//扰动函数，和put方法中使用的是同一个hash方法
static final int hash(Object key) {
int h;
return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
}
final Node<K,V> getNode(int hash, Object key) {
Node<K,V>[] tab;
Node<K,V> first, e;
int n;
K k;
//如果数组不为空，且数组的长度大于0，且头结点不为空；否则直接返回null
if ((tab = table) != null && (n = tab.length) > 0 && (first = tab[(n - 1) & hash]) != null) {
// 如果头结点的哈希值和key的哈希值相等，且key的地址或key的内容相等；就直接返回头结点
if (first.hash == hash && // always check first node
((k = first.key) == key || (key != null && key.equals(k))))
return first;
//头结点不相等，如果有下一个节点，就遍历；如果没下一个节点，就返回null
if ((e = first.next) != null) {
//如果节点是红黑树，那么就按照红黑树的方式来获取节点，并返回
if (first instanceof TreeNode)
return ((TreeNode<K,V>)first).getTreeNode(hash, key);
do {
//如果是链表，就遍历哈希值，key的地址或Key的内容，有符合条件的就立即返回，如果没，那么继续遍历下一个节点。如果遍历全部节点后，都没，那就返回null
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
return e;
} while ((e = e.next) != null);
}
}
return null;
}
总结一下，HashMap的get方法大致流程如下：
- 根据key获取哈希值
- 根据哈希值和数组长度取余，获得索引值
- 根据索引值，获取对应的节点，然后比较节点的key和hash
- 如果相等，就返回对应的节点；不相等，就继续遍历；如果遍历到最后都没，就返回null
这只是一个大概的描述，具体的实现细节，直接看源代码就好。
ConcurrentHashMap的put方法
public V put(K key, V value) {
return putVal(key, value, false);
}
final V putVal(K key, V value, boolean onlyIfAbsent) {
//判空：key、value均不能为null
if (key == null || value == null) throw new NullPointerException();
//计算出hash值
int hash = spread(key.hashCode());
int binCount = 0;
//遍历table
for (Node<K,V>[] tab = table;;) {
Node<K,V> f; int n, i, fh;
// table为null，进行初始化工作
if (tab == null || (n = tab.length) == 0)
tab = initTable();
//如果i位置没有节点，则直接插入，不需要加锁
else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
//CAS
if (casTabAt(tab, i, null,
new Node<K,V>(hash, key, value, null)))
break; // no lock when adding to empty bin
}
// 如果有线程正在进行扩容操作，则先帮助扩容
else if ((fh = f.hash) == MOVED)
tab = helpTransfer(tab, f);
else {
V oldVal = null;
//对该节点进行加锁处理（hash值相同的链表的头节点），对性能有点儿影响
//特别注意一下这个f，这个f是头结点，锁的粒度是节点
synchronized (f) {
if (tabAt(tab, i) == f) {
//fh > 0 表示为链表，将该节点插入到链表尾部
if (fh >= 0) {
binCount = 1;
for (Node<K,V> e = f;; ++binCount) {
K ek;
//hash 和 key 都一样，替换value
if (e.hash == hash &&
((ek = e.key) == key ||
(ek != null && key.equals(ek)))) {
oldVal = e.val;
//putIfAbsent()
if (!onlyIfAbsent)
e.val = value;
break;
}
Node<K,V> pred = e;
//链表尾部 直接插入
if ((e = e.next) == null) {
pred.next = new Node<K,V>(hash, key,
value, null);
break;
}
}
}
//树节点，按照树的插入操作进行插入
else if (f instanceof TreeBin) {
Node<K,V> p;
binCount = 2;
if ((p = ((TreeBin<K,V>)f).putTreeVal(hash, key,
value)) != null) {
oldVal = p.val;
if (!onlyIfAbsent)
p.val = value;
}
}
}
}
if (binCount != 0) {
// 如果链表长度已经达到临界值8 就需要把链表转换为树结构
if (binCount >= TREEIFY_THRESHOLD)
treeifyBin(tab, i);
if (oldVal != null)
return oldVal;
break;
}
}
}
//size + 1
addCount(1L, binCount);
return null;
}总结一下，ConcurrentHashMap的put方法的大致流程如下：
- 首先，就是判空，key和value都不允许为null。(见补充知识1)
- 然后计算哈希值。(见补充知识4)絮叨一下：
接着遍历table,进行节点的插入操作，具体过程如下：
- 如果table为空，则表示ConcurrentHashMap还没有初始化，则进行初始化操作：initTable()
- 根据hash值获取节点的位置i，若该位置为空，则直接插入，这个过程是不需要加锁的。计算f位置：i=(n - 1) & hash。(见补充知识2)
- 如果检测到fh = f.hash == -1，则f是ForwardingNode节点，表示有其他线程正在进行扩容操作，则帮助线程一起进行扩容操作。(见补充知识3)
- 如果f.hash >= 0 表示是链表结构，则遍历链表，如果存在当前key节点则替换value，否则插入到链表尾部。如果f是TreeBin类型节点，则按照红黑树的方法更新或者增加节点
- 若链表长度 > TREEIFY_THRESHOLD(默认是8)，则将链表转换为红黑树结构
ConcurrentHashMap的get方法
public V get(Object key) {
Node<K,V>[] tab; Node<K,V> e, p; int n, eh; K ek;
// 先计算hash
int h = spread(key.hashCode());
//如果数组不为空，且长度大于0，且节点不为空
if ((tab = table) != null && (n = tab.length) > 0 &&
(e = tabAt(tab, (n - 1) & h)) != null) {
// 搜索到的节点key与传入的key相同且不为null,直接返回这个节点
if ((eh = e.hash) == h) {
if ((ek = e.key) == key || (ek != null && key.equals(ek)))
return e.val;
}
// 树
else if (eh < 0)
return (p = e.find(h, key)) != null ? p.val : null;
// 链表，遍历
while ((e = e.next) != null) {
if (e.hash == h &&
((ek = e.key) == key || (ek != null && key.equals(ek))))
return e.val;
}
}
return null;
}总结一下，ConcurrentHashMap的get方法的大致流程如下：
- 先计算哈希值h
- 通过(n - 1) & h)获取索引值
- 如果匹配是头节点，就直接返回对应的value
- 如果是树，就根据红黑树的读操作返回value
- 如果是链表，进行匹配，遍历，获取对应的value
## 补充知识
- 1、HashMap是允许key和value都为null的。
- 2、这个过程用了CAS，可以理解为有锁也行，自旋锁。也可以理解为无锁，因为CAS属于硬件指令，不像Synchronized这样的操作系统级别的锁。因此，是否有锁，仁者见仁智者见智。你自己理解就好。
- 3、ForwardingNode：一个特殊的Node节点，hash值为-1，其中存储nextTable的引用。只有table发生扩容的时候，ForwardingNode才会发挥作用，作为一个占位符放在table中表示当前节点为null或则已经被移动。
- 4、这个和HashMap的hash函数比较，都有移位操作，只有略微不同，但目的都是为了降低哈希冲突。
好了，相信你看完HashMap和ConcurrentHashMap的get和put方法后，已经超级无敌累了。因为我也写的好累，害。现在你可以先点个赞，以慰藉我的劳苦；最好先收藏一下，方便你以后复习再看。如果你累了，点个在看，方便你去喝口水，吃个饭回来再看。如果你觉得写得还不错，直接点分享，转给你的朋友。
广告打完了！！！我继续了！！！面试正式开始！！！
面试开始
面试官：你说一下HashMap的put方法的过程吧？
- 巴拉巴拉一堆，自己参考上面写的大致流程即可，我就不重复了。
面试官：HashMap中的链表什么条件下才会变树？
- 必须满足2个条件，一个是链表的长度>=8 且 HashMap的容量capacity必须>=64，才会让链表变树。如果链表的长度>=8,但HashMap的容量capacity<64,那么会进行扩容操作。进行扩容操作后，链表的长度也会相应变短。(相关源码如下：)
final void treeifyBin(Node<K,V>[] tab, int hash) {
int n, index; Node<K,V> e;
if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY)
resize();
...省略一堆代码面试官：HashMap中链表变树为什么是8个节点？
- 你就直接告诉面试官，这是一个统计学问题。官方经过测试，大于8个节点时，发生冲突的概率是小于千万分之一的。(为了做到心中有数，我从源码中截取一段注释下来)
* 0: 0.60653066
* 1: 0.30326533
* 2: 0.07581633
* 3: 0.01263606
* 4: 0.00157952
* 5: 0.00015795
* 6: 0.00001316
* 7: 0.00000094
* 8: 0.00000006
* more: less than 1 in ten million //小于千万分之一面试官：HashMap的JDK7 和JDK8 有什么区别？
- JDK7 发生哈希冲突时，链表会越来越长，时间复杂度会变为O(N);相反，JDK 8 发生哈希冲突，链表在一定条件下，会变为红黑树，时间复杂度会变为O(LogN);
- JDK7 在高并发环境下，因线程不安全，操作put方法时，会因为扩容resize方法和头插法，使得链表成环，从而在get方法时，引发cpu100%安全问题。JDK 8 虽然线程不安全，但把头插法改为尾插法，已经不会在resize时，使得链表成环。
- 总结一下，比较重要的区别，就是引入红黑树，面试官可能会问你，为什么是引入红黑树，而不是其他树，比如搜索二叉树。其实主要考察你对数据结构的了解，面试前，最好把平衡树，红黑树，搜索二叉树这些树的读写的时间复杂度，以及优缺点都了解一下。
面试官：SynchronizedMap 和 ConcurrentHashMap 有什么区别？
- SynchronizedMap
一次锁住整张表来保证线程安全，所以每次只能有一个线程来访为 map 。
- ConcurrentHashMap
使用CAS+Synchronized来保证在线程安全。相对SynchronizedMap来说。ConcurrentHashMap锁的是节点，SynchronizedMap锁的是整张表。可以类比到mysql的行锁和表锁。ConcurrentHashMap锁的粒度更小。
另外 ConcurrentHashMap 使用了一种不同的迭代方式。在这种迭代方式中，当 iterator 被创建后集合再发生改变就不再是抛出 ConcurrentModificationException 异常，取而代之的是在改变时 new 新的数据从而不影响原有的数据，iterator 完成后再将头指针替换为新的数据 ，这样 iterator 线程可以使用原来老的数据，而写线程也可以并发的完成改变。
面试官:ConcurrentHashMap 为何读不用加锁？
- 关于这个点，其实需要对比JDK7 和JDK 8的ConcurrentHashMap。
在 JDK7 以及以前
- 在HashEntry 中的 key、hash、next 均为 final 型，只能表头插入节点或删除结点。
- 在HashEntry 中的 value 为 volatile 型。
- 不允许用 null 作为键和值，当读线程读到某个 HashEntry 的 value 域的值为 null 时，便知道产生了冲突——发生了重排序现象（put 方法设置新 value 对象的字节码指令重排序），需要加锁后重新读入这个 value 值。
- volatile 变量 count 协调读写线程之间的内存可见性，写操作后修改 count ，读操作先读 count，根据 happen-before 传递性原则写操作的修改读操作能够看到。
在 JDK8
- Node 的 val 和 next 均为 volatile 型。
- tabAt()方法 和 casTabAt()方法 对应的 Unsafe 操作实现了 volatile 语义，这样子就可以禁止指令重排序，不用担心读取到Null值。
static class Node<K,V> implements Map.Entry<K,V> { final int hash; final K key; volatile V val; volatile Node<K,V> next; Node(int hash, K key, V val, Node<K,V> next) { this.hash = hash; this.key = key; this.val = val; this.next = next; }面试官：面试结束，恭喜进入下一轮面试
总结
其实，关于Java集合——HashMap和ConcurrentHashMap还有很多面试题，这里不一一展开
- ConcurrentHashMap的迭代器是强一致性，还是弱一致性？HashMap呢？
- HashMap什么时候开始扩容？如何扩容？
- ConcurrentHashMap 7和8的区别？
絮叨
非常感谢你能看到这里，如果觉得文章写得不错 求关注 求点赞 求分享 (对我非常非常有用)。
如果你觉得文章有待提高，我十分期待你对我的建议，求留言。
如果你希望看到什么内容，我十分期待你的留言。
各位的捧场和支持，是我创作的最大动力！
参考资料
- 芋道源码
- 小明哥——J.U.C之Java并发容器
以上是关于面试Java——集合之HashMap和ConcurrentHashMap的主要内容，如果未能解决你的问题，请参考以下文章
[Interview]Java 面试宝典系列之 Java 集合类