1. 程式人生 > >【JDK原始碼分析】淺談HashMap的原理

【JDK原始碼分析】淺談HashMap的原理

這篇文章給出了這樣的一道面試題:

在 HashMap 中存放的一系列鍵值對,其中鍵為某個我們自定義的型別。放入 HashMap 後,我們在外部把某一個 key 的屬性進行更改,然後我們再用這個 key 從 HashMap 裡取出元素,這時候 HashMap 會返回什麼?

文中已給出示例程式碼與答案,

key 更新後 hashCode 確實更新了,而且 HashMap 裡面的物件就是我們原來的物件,最後的結果是null。

但是,關於HashMap的原理沒有做出解釋。

1. 特性

我們可以用任何類作為HashMap的key,但是對於這些類應該有什麼限制條件呢?且看下面的程式碼:

public class Person {
    private String name;

    public Person(String name) {
        this.name = name;
    }
}

Map<Person, String> testMap = new HashMap<>();
testMap.put(new Person("hello"), "world");
testMap.get(new Person("hello")); // ---> null

本是想取出具有相等欄位值Person類的value,結果卻是null。對HashMap稍有了解的人看出來——Person類並沒有override hashcode方法,導致其繼承的是Object的hashcode(返回是其記憶體地址),兩次new出來的Person物件並不equals——這也是為什麼在工程專案中常用不變類(如String、Integer等)做為HashMap的key的原因。那麼,HashMap是如何利用hashcode給key做索引的呢?

2. 原理

首先,我們來看《Thinking in Java》中一個簡單HashMap的實現方案:

//: containers/SimpleHashMap.java
// A demonstration hashed Map.
import java.util.*;
import net.mindview.util.*;

public class SimpleHashMap<K,V> extends AbstractMap<K,V> {
  // Choose a prime number for the hash table size, to achieve a uniform distribution:
  static final int SIZE = 997;
  // You can't have a physical array of generics, but you can upcast to one:
  @SuppressWarnings("unchecked")
  LinkedList<MapEntry<K,V>>[] buckets =
    new LinkedList[SIZE];
  public V put(K key, V value) {
    V oldValue = null;
    int index = Math.abs(key.hashCode()) % SIZE;
    if(buckets[index] == null)
      buckets[index] = new LinkedList<MapEntry<K,V>>();
    LinkedList<MapEntry<K,V>> bucket = buckets[index];
    MapEntry<K,V> pair = new MapEntry<K,V>(key, value);
    boolean found = false;
    ListIterator<MapEntry<K,V>> it = bucket.listIterator();
    while(it.hasNext()) {
      MapEntry<K,V> iPair = it.next();
      if(iPair.getKey().equals(key)) {
        oldValue = iPair.getValue();
        it.set(pair); // Replace old with new
        found = true;
        break;
      }
    }
    if(!found)
      buckets[index].add(pair);
    return oldValue;
  }
  public V get(Object key) {
    int index = Math.abs(key.hashCode()) % SIZE;
    if(buckets[index] == null) return null;
    for(MapEntry<K,V> iPair : buckets[index])
      if(iPair.getKey().equals(key))
        return iPair.getValue();
    return null;
  }
  public Set<Map.Entry<K,V>> entrySet() {
    Set<Map.Entry<K,V>> set= new HashSet<Map.Entry<K,V>>();
    for(LinkedList<MapEntry<K,V>> bucket : buckets) {
      if(bucket == null) continue;
      for(MapEntry<K,V> mpair : bucket)
        set.add(mpair);
    }
    return set;
  }
  public static void main(String[] args) {
    SimpleHashMap<String,String> m =
      new SimpleHashMap<String,String>();
    m.putAll(Countries.capitals(25));
    System.out.println(m);
    System.out.println(m.get("ERITREA"));
    System.out.println(m.entrySet());
  }
}

SimpleHashMap構造一個hash表來儲存key,hash函式是取模運算Math.abs(key.hashCode()) % SIZE,採用連結串列法解決hash衝突;buckets的每一個槽位對應存放具有相同(hash後)index值的Map.Entry,如下圖所示:

JDK的HashMap的實現原理與之相類似,其採用鏈地址的hash表table儲存Map.Entry:

/**
 * The table, resized as necessary. Length MUST Always be a power of two.
 */
transient Entry<K,V>[] table = (Entry<K,V>[]) EMPTY_TABLE;

static class Entry<K,V> implements Map.Entry<K,V> {
    final K key;
    V value;
    Entry<K,V> next;
    int hash;
    …
}

Map.Entry的index是對key的hashcode進行hash後所得。當要get key對應的value時,則對key計算其index,然後在table中取出Map.Entry即可得到,具體參看程式碼:

public V get(Object key) {
    if (key == null)
        return getForNullKey();
    Entry<K,V> entry = getEntry(key);

    return null == entry ? null : entry.getValue();
}

final Entry<K,V> getEntry(Object key) {
    if (size == 0) {
        return null;
    }

    int hash = (key == null) ? 0 : hash(key);
    for (Entry<K,V> e = table[indexFor(hash, table.length)];
         e != null;
         e = e.next) {
        Object k;
        if (e.hash == hash &&
            ((k = e.key) == key || (key != null && key.equals(k))))
            return e;
    }
    return null;
}

可見,hashcode直接影響HashMap的hash函式的效率——好的hashcode會極大減少hash衝突,提高查詢效能。同時,這也解釋開篇提出的兩個問題:如果自定義的類做HashMap的key,則hashcode的計算應涵蓋建構函式的所有欄位,否則有可能得到null。

3. 參考資料

相關推薦

JDK原始碼分析HashMap原理

這篇文章給出了這樣的一道面試題: 在 HashMap 中存放的一系列鍵值對,其中鍵為某個我們自定義的型別。放入 HashMap 後,我們在外部把某一個 key 的屬性進行更改,然後我們再用這個 key 從 HashMap 裡取出元素,這時候 HashMap 會返回什麼? 文中已給出示例程式碼與答案, k

Java8原始碼分析集合框架-HashMap

一、HashMap的儲存結構 總共有兩種儲存類 // 1. 雜湊衝突時採用連結串列法的類,一個雜湊桶多於8個元素改為TreeNode static class Node<K,V> implements Map.Entry<K,V> /

JDK原始碼分析String的儲存區與不可變性

// ... literals are interned by the compiler // and thus refer to the same object String s1 = "abcd"; String s2 = "abcd"; s1 == s2; // --> true // ..

Android 原始碼解析DecorView與ViewRootImpl

一、前言 對於Android開發者而言,View無疑是開發中經常接觸的,包括它的事件分發機制、測量、佈局、繪製流程等。如果要自定義一個View,那麼應該對以上流程有所瞭解、研究。在深入接觸View的測量、佈局、繪製這三個流程之前,我們從Activity入手,看看從Act

JDK原始碼分析01-物件序列化ObjectOutputStream

上一篇文章提到反序列化列舉類仍是單例,而普通類物件不是單例,下面我們先分析一下序列化過程,序列化就是呼叫ObjectOutStream的物件的writeObject方法。我們先看一下序列化涉及的比較重要的一個ObjectStreamClass,JDK中的描述是:類的序列化描述

STL 原始碼剖析 STL 迭代器與 traits 程式設計技法

![攝於清華五道口](https://p3-juejin.byteimg.com/tos-cn-i-k3u1fbpfcp/b9cd144f2eeb4d85856e265bfc630591~tplv-k3u1fbpfcp-zoom-1.image) 大家好,我是小賀。 > 點贊再看,養成習慣 &

分析C#中Control的Invoke與BeginInvoke在主副線程中的執行順序和區別(SamWang)

info start result 初步 總結 inter blank rap 傳遞   今天無意中看到有關Invoke和BeginInvoke的一些資料,不太清楚它們之間的區別。所以花了點時間研究了下。   據msdn中介紹,它們最大的區別就是BeginInvoke屬於

大話設計模式——設計模式基礎

表示 無用功 隱式 art -s -m 個人 pri one   初學設計模式給我最大的感受是:人類真是偉大啊!單單是設計模式的基礎課程就讓我感受到了強烈的生活氣息。個人感覺《大話設計模式》這本書寫的真好。讓貌似非常晦澀難懂的設計模式變的生活化。趣味化。   以下淺談一

Unity遊戲開發Unity遊戲開發中的單元測試

可靠 屬於 sin 自定義類型 允許 ogr 兩個 階段 ast 一、單元測試的定義與作用   單元測試定義:單元測試在傳統軟件開發中是非常重要的工具,它是指對軟件中的最小可測試單元進行檢查和驗證,一般情況下就是對代碼中的一個函數去進行驗證,檢查它的正確性。一個單元測試是

ASP.NET 系列緩存技術在ASP.NET中的運用

進行 喜歡 之間 framework cnblogs 磁盤 onf lin bug 本篇文章雖不談架構,但是Cache又是架構中不可或缺的部分,因此,在講解Cache的同時,將會提及到部分架構知識,關於架構部分,讀者可以不用理解,或者直接跳過涉及架構部分的內容, 你只

go原始碼分析go原始碼之slice原始碼分析

Go 語言切片是對陣列的抽象。 Go 陣列的長度不可改變,與陣列相比切片的長度是不固定的,可以追加元素,在追加時可能使切片的容量增大。 len() 和 cap() 函式     切片是可索引的,並且可以由 len() 方法獲取長度。    

go原始碼分析go原始碼之list原始碼分析

本文針對go 1.11版本,路徑src/container/list/list.go 資料結構 Element結構體 Value 前驅 後繼 // Element is an element of a linked list. type Element st

java原始碼分析Map中的hash演算法分析

全網把Map中的hash()分析的最透徹的文章,別無二家。 2018年05月09日 09:08:08 閱讀數:957 你知道HashMap中hash方法的具體實現嗎?你知道HashTable、ConcurrentHashMap中hash方法

自然語言處理語料庫

文章目錄 【自然語言處理】淺談語料庫 前言 一、淺談語料庫 1、語料和語料庫 2、語料庫語言學 3、 建議語料庫的意義 二、語料庫深入瞭解

spring原始碼分析IOC容器初始化(二)

前言:在【spring原始碼分析】IOC容器初始化(一)中已經分析了匯入bean階段,本篇接著分析bean解析階段。 1.解析bean程式呼叫鏈 同樣,先給出解析bean的程式呼叫鏈: 根據程式呼叫鏈,整理出在解析bean過程中主要涉及的類和相關方法。 2.解析bean原始碼分

演算法微解讀線段樹

淺談線段樹 (來自TRTTG大佬的供圖) 線段樹個人理解和運用時,認為這個是一個比較實用的優化演算法。 這個東西和區間樹有點相似,是一棵二叉搜尋樹,也就是查詢節點和節點所帶值的一種演算法。 使用線段樹可以快速的查詢某一個節點在若干條線段中出現的次數,時間複雜度為O(logN),這個時間複雜度非常的理想,但是空

演算法微解讀01分數規劃

淺談01分數規劃 所謂01分數規劃,看到這個名字,可能會想到01揹包,其實長得差不多。 這個演算法就是要求“價效比”最高的解。sum(v)/sum(w)最高的解。 定義 我們給定兩個陣列,a[i]表示選取i的收益,b[i]表示選取i的代價。如果選取i,定義x[i]=1否則x[i]=0。每個物品只有選和不選的

NCNN原始碼分析1.基本資料型別

對於NCNN而言,核心在於網路的前向推理過程(Inference),其主要資料型別為mat,該資料型別以類的形式定義在src/mat.h中,其中包含了mat的建構函式、解構函式、常見的運算過程。 #if

Go 原始碼分析從 sort.go 看排序演算法的工程實踐

go version go1.11 darwin/amd64file: src/sort/sort.go 排序演算法有很多種類,比如快排、堆排、插入排序等。各種排序演算法各有其優劣性,在實際生產過程中用到的排序演算法(或者說 Sort 函式)通常是由幾種排序演算法組

JDK原始碼分析(4)HashMap

JDK版本 HashMap簡介 HashMap基於雜湊表的 Map 介面的實現。此實現提供所有可選的對映操作,並允許使用 null 值和 null 鍵。(除了不同步和允許使用 null 之外,HashMap 類與 Hashtable 大致相同。)此類不保證對映