源码，从JDK做起-HashMap

HashMap

JDK 1.8

HashMap 是 Map 实现中最常使用数据结构。下面将从 HashMap 的具体实现入手探究其内部原理，主要从以下几个方面入手：

  1. 内部存储结构；
  2. 初始化过程；
  3. 元素的插入；
  4. 元素的获取；

内部结构

内部的存储结构是一个 Node 数组，并且看注释上说明：数组会在 HashMap 第一次使用时初始化；数组在必要的时候会做扩容；数组长度会保持为2的幂次。

/**
 * The table, initialized on first use, and resized as
 * necessary. When allocated, length is always a power of two.
 * (We also tolerate length zero in some operations to allow
 * bootstrapping mechanics that are currently not needed.)
 */
transient Node<K,V>[] table;

Node 实现了 Map.Entry 接口，其数据字段：

  • hash hash(key) 键的 hash 值，用于寻址
  • key 键
  • value 值
  • next 解决碰撞时的引用
static class Node<K,V> implements Map.Entry<K,V> {
    final int hash;
    final K key;
    V value;
    Node<K,V> next;

    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;
    }

    public final boolean equals(Object o) {
        if (o == this)
            return true;
        if (o instanceof Map.Entry) {
            Map.Entry<?,?> e = (Map.Entry<?,?>)o;
            if (Objects.equals(key, e.getKey()) &&
                Objects.equals(value, e.getValue()))
                return true;
        }
        return false;
    }
}

初始化过程

无参构造函数

public HashMap() {
    this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted
}

发现构造函数里面并没有对上面提到的Node<K,V>[] table进行初始化，只是设置了一个默认的负载因子。

put()

实际上，HashMap 的初始化发生在第一次使用的时候（第一次调用put()），下面是put()的实现：

public V put(K key, V value) {
    return putVal(hash(key), key, value, false, true);
}

hash(key)

实际上调用的 putVal(...)，这个方法需要计算健的hash值，这个hash值将用于后续元素在数组中位置的计算中，这也是为什么作为 HashMap 的键的类一定要重写其 hashcode() 函数。

static final int hash(Object key) {
    int h;
    return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
}

hash 值的算法（(h = key.hashCode()) ^ (h >>> 16)）主要是基于数组长度是2的n次幂考虑，为了减少冲突。

putVal(...)

在putVal(...)中进行数据插入时才真正的开始初始化。

  • (1) : 第一次调用，table 为空，因此进入 resize 阶段
  • (2) : resize() 的过程才是真正的初始化过程
  • (3) : 超过阀值也会重新计算数组大小
final V putVal(int hash, K key, V value, boolean onlyIfAbsent, boolean evict) {
    Node<K,V>[] tab; 
    Node<K,V> p; 
    int n, i;
    if ((tab = table) == null || (n = tab.length) == 0) // (1)
        n = (tab = resize()).length;                    // (2)
    // 省略...
    if (++size > threshold)         // (3)
        resize();
    // 省略...
    
}

resize()

  • (0) : threshold 是根据初始化指定的容量计算得来，具体计算过程参考 tableSizeFor(initCapacity)，无参构造函数下大小为 16；
  • (1) : 第一次初始化时 newCap 就是这个值；
  • (2) : 新的阀值计算方式，通过负载因子计算得来；
final Node<K,V>[] resize() {
    Node<K,V>[] oldTab = table;
    int oldCap = (oldTab == null) ? 0 : oldTab.length;
    int oldThr = threshold; // (0)
    int newCap, newThr = 0;
    if (oldCap > 0) {
        // ...
    }
    else if (oldThr > 0) // (1) initial capacity was placed in threshold
        newCap = oldThr;
    else {               // zero initial threshold signifies using defaults
        newCap = DEFAULT_INITIAL_CAPACITY;
        newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);
    }
    if (newThr == 0) { // (2)
        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;
    // ...
    return newTab;
}

tableSizeFor(initCapacity)

前面我们知道，不带参数的构造函数将会将 HashMap 的大小阈值 threshold 设置成默认值16。但是在带参数的构造函数中，HashMap 需要计算这个阈值以保证 HashMap 的大小为2的整数次幂。

/**
 * Returns a power of two size for the given target capacity.
 */
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;
}

n 分为三种情况：

  • n < 0 ：计算出的值将为1；
  • n = 0 ：计算出的值将为1；
  • n > 0 ：上面的计算方法将会将所有位从低至高置成连续的1，最后的 n+1 将保证 capacity 大小为2的整数次幂。
tableSizeFor(-1) = 1
tableSizeFor(0) = 1
tableSizeFor(1) = 1
tableSizeFor(3) = 4
tableSizeFor(4) = 4
tableSizeFor(5) = 8
tableSizeFor(10) = 16
tableSizeFor(30) = 32
tableSizeFor(1048576) = 1048576

到这里基本上了解了 HashMap 的初始化过程，不带参数和带参数的构造函数的区别，下面我们来看看看 HashMap 的 put(...) 过程是什么样的。

put(...) 操作

前面提到 HashMap 其实是在第一次 put(...) 操作时进行的初始化操作，put() 方法实际调用了 putVal() 方法。

final V putVal(int hash, K key, V value, boolean onlyIfAbsent, boolean evict) {
    Node<K,V>[] tab;    // 指向 table 数组引用
    Node<K,V> p;        // p: 指向 table[i] 的值
    int n, i;           // n: 当前 table 的大小；i: 计算出的 value 存放在数组中的位置 
    if ((tab = table) == null || (n = tab.length) == 0)     // (1)
        n = (tab = resize()).length;
    if ((p = tab[i = (n - 1) & hash]) == null)              // (2)
        tab[i] = newNode(hash, key, value, null);
    else {                                                  // (3)
        Node<K,V> e; 
        K k;
        if (p.hash == hash && ((k = p.key) == key || (key != null && key.equals(k)))) 
            e = p;
        else if (p instanceof TreeNode)
            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);
                    if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
                        treeifyBin(tab, hash);
                    break;
                }
                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;
            if (!onlyIfAbsent || oldValue == null)
                e.value = value;
            afterNodeAccess(e);
            return oldValue;
        }
    }
    ++modCount;
    if (++size > threshold)
        resize();
    afterNodeInsertion(evict);
    return null;
}
  • (1) 判断 table 数组是否为空（也就是是否是第一次调用该方法），这里也会对 tab 和 n 临时变量赋值；
    • true: 对数组进行初始化操作，也就是前面我们提到的内容
    • false: 表示数组已经初始化
  • (2) 通过算法 (n-1)&hash(key) 来确定当前要放入的 value 的位置，并取得该位置上的值判断是否为空；
    • == null: 表示该位置上还没有放入过值，直接放入一个新建的 Node 对象
    • != null: 表示该位置上已经放入过值，需要处理碰撞
  • (3) 处理碰撞
    • IF 满足p.hash == hash && p.key == key || (key != null && key.equals(p.key)) 也就是说当插入元素与碰撞位置的元素 hash(key) 相同，并且 key 也相同时，认为他们是同一个元素。这里我们在将自定义对象作为 HashMap 键的时候一定要重写其 hashCode() 函数，并且还要保证hashCode相同的两个对象 equlas() 应该也为 true。
    • IF 当不满足上面的条件，并且碰撞位置的元素是一个 TreeNode，将向树中插入元素。（通常我们知道 HashMap 处理冲突的方式是链表，但是当碰撞元素过多时，HashMap 采用的是树的方式处理）
    • ELSE 这里将遍历碰撞链表，判断方式和第一步相同，但是，当链表元素超过 TREEIFY_THRESHOLD 时，将会采用树的存储方式来处理冲突，这也是为什么会存在第二种 IF 条件的原因。

关于 HashMap 中树的部分，可以继续追踪其源码，这里暂不做深究

get(...) 操作

get操作相对简单，它实际调用的是 getNode(...) 方法。

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) {
        if (first.hash == hash && // always check first node
            ((k = first.key) == key || (key != null && key.equals(k))))
            return first;
        if ((e = first.next) != null) {
            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;
}
最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 194,319评论 5赞 459
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 81,801评论 2赞 371
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 141,567评论 0赞 319
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 52,156评论 1赞 263
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 61,019评论 4赞 355
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 46,090评论 1赞 272
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 36,500评论 3赞 381
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 35,192评论 0赞 253
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 39,474评论 1赞 290
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 34,566评论 2赞 309
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 36,338评论 1赞 326
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 32,212评论 3赞 312
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 37,572评论 3赞 298
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 28,890评论 0赞 17
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,169评论 1赞 250
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 41,478评论 2赞 341
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 40,661评论 2赞 335

推荐阅读更多精彩内容