本篇的這個問題是一個開放性問題，HashMap 除了死循環(huán)之外，還有其他什么問題?總體來說 HashMap 的所有“問題”，都是因?yàn)槭褂?HashMap)不當(dāng)才導(dǎo)致的，這些問題大致可以分為兩類：

程序問題：比如 HashMap 在 JDK 1.7 中，并發(fā)插入時可能會發(fā)生死循環(huán)或數(shù)據(jù)覆蓋的問題。

業(yè)務(wù)問題：比如 HashMap 無序性造成查詢結(jié)果和預(yù)期結(jié)果不相符的問題。

接下來我們一個一個來看。

1.死循環(huán)問題

死循環(huán)問題發(fā)生在 JDK 1.7 版本中，形成的原因是 JDK 1.7 HashMap 使用的是頭插法，那么在并發(fā)擴(kuò)容時可能就會導(dǎo)致死循環(huán)的問題，具體產(chǎn)生的過程如下流程所示。

HashMap 正常情況下的擴(kuò)容實(shí)現(xiàn)如下圖所示：

舊 HashMap 的節(jié)點(diǎn)會依次轉(zhuǎn)移到新 HashMap 中，舊 HashMap 轉(zhuǎn)移的順序是 A、B、C，而新 HashMap 使用的是頭插法，所以最終在新 HashMap 中的順序是 C、B、A，也就是上圖展示的那樣。有了這些前置知識之后，咱們來看死循環(huán)是如何誕生的?

1.1 死循環(huán)執(zhí)行流程一

死循環(huán)是因?yàn)椴l(fā) HashMap 擴(kuò)容導(dǎo)致的，并發(fā)擴(kuò)容的第一步，線程 T1 和線程 T2 要對 HashMap 進(jìn)行擴(kuò)容操作，此時 T1 和 T2 指向的是鏈表的頭結(jié)點(diǎn)元素 A，而 T1 和 T2 的下一個節(jié)點(diǎn)，也就是 T1.next 和 T2.next 指向的是 B 節(jié)點(diǎn)，如下圖所示：

1.2 死循環(huán)執(zhí)行流程二

死循環(huán)的第二步操作是，線程 T2 時間片用完進(jìn)入休眠狀態(tài)，而線程 T1 開始執(zhí)行擴(kuò)容操作，一直到線程 T1 擴(kuò)容完成后，線程 T2 才被喚醒，擴(kuò)容之后的場景如下圖所示：

從上圖可知線程 T1 執(zhí)行之后，因?yàn)槭穷^插法，所以 HashMap 的順序已經(jīng)發(fā)生了改變，但線程 T2 對于發(fā)生的一切是不可知的，所以它的指向元素依然沒變，如上圖展示的那樣，T2 指向的是 A 元素，T2.next 指向的節(jié)點(diǎn)是 B 元素。

1.3 死循環(huán)執(zhí)行流程三

當(dāng)線程 T1 執(zhí)行完，而線程 T2 恢復(fù)執(zhí)行時，死循環(huán)就建立了，如下圖所示：

因?yàn)?T1 執(zhí)行完擴(kuò)容之后 B 節(jié)點(diǎn)的下一個節(jié)點(diǎn)是 A，而 T2 線程指向的首節(jié)點(diǎn)是 A，第二個節(jié)點(diǎn)是 B，這個順序剛好和 T1 擴(kuò)完容完之后的節(jié)點(diǎn)順序是相反的。T1 執(zhí)行完之后的順序是 B 到 A，而 T2 的順序是 A 到 B，這樣 A 節(jié)點(diǎn)和 B 節(jié)點(diǎn)就形成死循環(huán)了，這就是 HashMap 死循環(huán)導(dǎo)致的原因。

1.4 解決方案

使用線程安全的容器來替代 HashMap，比如 ConcurrentHashMap 或 Hashtable，因?yàn)?ConcurrentHashMap 的性能遠(yuǎn)高于 Hashtable，因此推薦使用 ConcurrentHashMap 來替代 HashMap。

2.數(shù)據(jù)覆蓋問題

數(shù)據(jù)覆蓋問題發(fā)生在并發(fā)添加元素的場景下，它不止出現(xiàn)在 JDK 1.7 版本中，其他版本中也存在此問題，數(shù)據(jù)覆蓋產(chǎn)生的流程如下：

線程 T1 進(jìn)行添加時，判斷某個位置可以插入元素，但還沒有真正的進(jìn)行插入操作，自己時間片就用完了。

線程 T2 也執(zhí)行添加操作，并且 T2 產(chǎn)生的哈希值和 T1 相同，也就是 T2 即將要存儲的位置和 T1 相同，因?yàn)榇宋恢蒙形床迦胫?T1 線程執(zhí)行了一半)，于是 T2 就把自己的值存入到當(dāng)前位置了。

T1 恢復(fù)執(zhí)行之后，因?yàn)榉强张袛嘁呀?jīng)執(zhí)行完了，它感知不到此位置已經(jīng)有值了，于是就把自己的值也插入到了此位置，那么 T2 的值就被覆蓋了。

具體執(zhí)行流程如下圖所示。

2.1 數(shù)據(jù)覆蓋執(zhí)行流程一

線程 T1 準(zhǔn)備將數(shù)據(jù) k1:v1 插入到 Null 處，但還沒有真正的執(zhí)行，自己的時間片就用完了，進(jìn)入休眠狀態(tài)了，如下圖所示：

2.2 數(shù)據(jù)覆蓋執(zhí)行流程二

線程 T2 準(zhǔn)備將數(shù)據(jù) k2:v2 插入到 Null 處，因?yàn)榇颂幀F(xiàn)在并未有值，如果此處有值的話，它會使用鏈?zhǔn)椒▽?shù)據(jù)插入到下一個沒值的位置上，但判斷之后發(fā)現(xiàn)此處并未有值，那么就直接進(jìn)行數(shù)據(jù)插入了，如下圖所示：

2.3 數(shù)據(jù)覆蓋執(zhí)行流程三

線程 T2 執(zhí)行完成之后，線程 T1 恢復(fù)執(zhí)行，因?yàn)榫€程 T1 之前已經(jīng)判斷過此位置沒值了，所以會直接插入，此時線程 T2 插入的值就被覆蓋了，如下圖所示：

2.4 解決方案

解決方案和第一個解決方案相同，使用 ConcurrentHashMap 來替代 HashMap 就可以解決此問題了。

3.無序性問題

這里的無序性問題指的是 HashMap 添加和查詢的順序不一致，導(dǎo)致程序執(zhí)行的結(jié)果和程序員預(yù)期的結(jié)果不相符，如以下代碼所示：

HashMap<String, String> map = new HashMap<>();
// 添加元素
for (int i = 1; i <= 5; i++) {
    map.put("2022-10-" + i, "Hello，Java：" + i);
}
// 查詢元素
map.forEach((k, v) -> {
    System.out.println(k + "：" + v);
});

我們添加的順序：

我們期望查詢的順序和添加的順序是一致的，然而以上代碼輸出的結(jié)果卻是：

執(zhí)行結(jié)果和我們預(yù)期結(jié)果不相符，這就是 HashMap 的無序性問題。我們期望輸出的結(jié)果是 Hello，Java 1、2、3、4、5，而得到的順序卻是 2、1、4、3、5。

解決方案

想要解決 HashMap 無序問題，我們只需要將 HashMap 替換成 LinkedHashMap 就可以了，如下代碼所示：

LinkedHashMap<String, String> map = new LinkedHashMap<>();
// 添加元素
for (int i = 1; i <= 5; i++) {
    map.put("2022-10-" + i, "Hello，Java：" + i);
}
// 查詢元素
map.forEach((k, v) -> {
    System.out.println(k + "：" + v);
});

以上程序的執(zhí)行結(jié)果如下圖所示：

總結(jié)

本文演示了 3 個 HashMap 的經(jīng)典問題，其中死循環(huán)和數(shù)據(jù)覆蓋是發(fā)生在并發(fā)添加元素時，而無序問題是添加元素的順序和查詢的順序不一致的問題，這些問題本質(zhì)來說都是對 HashMap 使用不當(dāng)才會造成的問題，比如在多線程情況下就應(yīng)該使用 ConcurrentHashMap，想要保證插入順序和查詢順序一致就應(yīng)該使用 LinkedHashMap，但剛開始時我們對 HashMap 不熟悉，所以才會造成這些問題，不過了解了它們之后，就能更好的使用它和更好的應(yīng)對面試了。