数学建模社区-数学中国

标题: 最全的HashMap源码解析！ [打印本页]

---

作者: 杨利霞    时间: 2020-5-10 17:23
标题: 最全的HashMap源码解析！
最全的HashMap源码解析！
HashMap源码解析

HashMap采用键值对形式的存储结构，每个key对应唯一的value，查询和修改的速度很快，能到到O(1)的平均复杂度。他是非线程安全的，且不能保证元素的存储顺序。

他的关系结构图

HashMap继承了AbstractMap，而AbstractMap的父类又是Map接口，所以HashMap也间接实现了Map接口，并且实现了Serializable接口，能被序列化，还实现了Cloneable接口可被克隆（浅拷贝）。
9 W2 N! s0 Q) K6 V
$ Y7 w3 C) }5 U; v) q& N在Java8中HashMap采用了数组+链表+红黑树的数据结构。数组的每个元素又被称作桶，Node<key,value>。在添加元素的时候，会根据hash算法计算出不同的key对应的数组下标，注意这里我可没说计算出来的下标都是不同的，因为hash算法也有优略之分，不同的key可能对应同一个数组下标，这种现象被称为哈希冲突。为了解决哈希冲突带来带来的问题，所以在jdk1.8之前，当根据key计算出的数组下标上，已经有了元素，这个位置已经被占用了，这时候就把该元素放在此数组下标的链表的尾部。
/ x+ G9 U2 Y, Y& J: W
但是一个链表的长度达到一定级别时，查询有时需要遍历整个链表，时间复杂度是O(n)。所以在jdk1.8后，当链表的长度大于等于8并且整个数组的大小大于等于64时，将这个链表转化成红黑树，红黑树的查询效率是O(logn)相比链表有提高了查询速率。

红黑树的特点
/ _! ?; t! h  I
; c- q# u" s6 f6 i. a节点是红色或是黑色
根节点是黑色
+ s/ {6 {  r% s, w+ J8 U叶子结点是黑色（空节点）
从任意节点到每个叶子结点的路径上包含相同个数的黑色节点
每个红色节点的两个子节点都是黑色。也就是说从叶子结点到根节点的路径上不能出现两个连续的红节点。
5 Z  f6 x. i. c( B5 |存储结构

8 N7 _. R/ Z# v7 `& t% F3 C3 Z( _源码分析重要属性
) f# H% a# Q  J//默认初始容量是16
) t; R' P! Z3 j3 z( ]' ?    static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // aka 16

  //最大容量是2的30次方
9 ]/ N- G/ }* Y  f+ w- _# M    static final int MAXIMUM_CAPACITY = 1 << 30;
; C" Z# l3 d1 t  H( \$ c
5 ~' d+ t2 {3 y0 ^( C6 O( a    //当构造方法中没有指定负载因子时用这个默认的
    static final float DEFAULT_LOAD_FACTOR = 0.75f;
& o1 f- `, q; _( l% q1 \. d. O# A
   //当链表中桶的个数大于等于8就会变成红黑树
    static final int TREEIFY_THRESHOLD = 8;

: x1 G5 m# n4 L, D+ x; X   //当红黑树大小小于等于6时红黑树会转化成链表
    static final int UNTREEIFY_THRESHOLD = 6;
2 P. p3 s2 H# D! p* J) w1 N8 Y& B
   //当数组容量大于64时链表才能转成红黑树
# h4 a$ W+ [& c0 O- O    static final int MIN_TREEIFY_CAPACITY = 64;
0 @- l. J9 R5 J& _+ z* X" H+ t
- ~# z7 ~; ]! W* |9 [" D$ W  @- ^    //数组，数组的大小是2的n次幂
    transient Node<K,V>[] table;
$ b# u  Q8 V) H, ~; `    //存放具体集合
    transient Set<Map.Entry<K,V>> entrySet;
0 k+ m8 [: \# T: ]; c
5 |- X, F$ z) P8 |' e+ z   //存放元素的个数
7 [* g' q/ Q9 R2 }    transient int size;
! T) O% |  I+ I
    //每次更改结构的计数器
    transient int modCount;
! I$ s& `5 n, }" C
) Q) I0 o& O! ?4 M. j    //当HashMap所能容纳键值对数量的最大值，超过这个值，需要扩容
  L" c; b$ g. N1 Z0 A' t* s! M    int threshold;
4 v, v/ s- ?' U2 p
   //负载因子
    final float loadFactor;
loadFactory加载因子
" h2 v# C: }$ JloadFactory加载因子是通知数组存放数据的疏密程度，他的值越接近于1，存放在数组到的数据也就越密集，也就是说这个值越大，链表的长度会增加的越快。当他的值趋近于0，存放在entry中的数据就会越少，也就越稀疏。
# n9 b; F) n* K- y1 u$ F' C' f0 ^
2 Y" g& I) {, L7 r" vthreshold
$ e3 X9 N/ R2 }给定的默认容量大小是16，负载因子时0.75，Map在使用过程中不断的往里面存放数据，当存放的桶的个数达到了12=16*0.75，就会扩容，扩容的时候比较消耗性能。

0 ?) B/ J+ K' O/ H& B, }5 [你也许有疑问，12是怎算出来的，其实这个就是threshold属性，threshold=capacity*loadFactoy，当Size大于等于threshold这个值，就需要对数组进行扩容操作了。

从上面的源码我们可以知道，容量最大是2的30次方，当数组大小 大于等于64并且链表长度大于等于8时，链表就会转化成红黑树。当红黑树的桶的个数 小于等于6时就会变回链表。
7 X3 h  D: ~/ |! D  n/ {& U
链表Node节点
6 z9 \4 M" M2 U# T$ t6 n
  o4 |- ^1 @5 K- r* L& p! Q//Node 节点实现了Map.Entry<K,V>
5 m6 ]6 Y2 n; y: [! j% C$ Astatic class Node<K,V> implements Map.Entry<K,V> {
3 A0 K) O6 w4 D" ~. C/ p        final int hash; //hashCod
        final K key;//键
  A6 ^1 P! L8 x        V value;//值
        Node<K,V> next;//指向下一个节点
        //构造函数
  [3 \8 P7 T+ Q# J) J$ [* O        Node(int hash, K key, V value, Node<K,V> next) {
            this.hash = hash;
            this.key = key;
            this.value = value;
            this.next = next;
        }
. }3 r' c& m; k+ i. ~; [
/ a. ~+ R/ `8 W        public final K getKey()        { return key; }
; {0 q' g0 n# \8 A/ M        public final V getValue()      { return value; }
! W: c* e* o3 O        //重写toString方法
        public final String toString() { return key + "=" + value; }
        //重写hashCode方法
! |' I& j8 D2 c# I        public final int hashCode() {
            return Objects.hashCode(key) ^ Objects.hashCode(value);
: x2 @! P0 [. b+ S0 X" R        }

/ Z, A4 Q" ?6 F9 W9 S        public final V setValue(V newValue) {
: G/ B2 @# V2 p4 T, B            V oldValue = value;
6 U# A3 d, j% I: O            value = newValue;
            return oldValue;
        }
        //重写equals方法
1 ?* a1 \8 M" @- [& e4 e        public final boolean equals(Object o) {
" ]' L/ n; y9 T3 }/ u4 U            //如果内存地址一致直接返回true
            if (o == this)
' b1 \, K& h- `7 N( C                return true;
, p5 e9 r$ ^; w( t+ x                //比较的节点必须实现这个Map.Entry
            if (o instanceof Map.Entry) {
                Map.Entry<?,?> e = (Map.Entry<?,?>)o;
                if (Objects.equals(key, e.getKey()) &&
                    Objects.equals(value, e.getValue()))
6 ~/ E0 D& d8 V) @( k                    //键和值都相等才能返回true
                    return true;
            }
            return false;
9 S, y5 Y5 \  v1 ^2 X1 f1 e5 k        }
    }
0 i# v/ ^9 \; \. R

/ K  l0 F4 M% |4 d4 }红黑树节点结构
//TreeNode继承了LinkedHashMap中的Entry节点
static final class TreeNode<K,V> extends LinkedHashMap.Entry<K,V> {
/ d7 D+ }% A  T, z. e        TreeNode<K,V> parent;  // 红黑树的父亲节点
        TreeNode<K,V> left; //左子树
        TreeNode<K,V> right;//右子树
  `- h( [; _$ y; `, J        TreeNode<K,V> prev;    // 链表中的节点，在删除元素的时候可以快速找到他的前驱节点
1 x: W% ^+ r/ J* X8 y. g        boolean red; //是否变色，
' m! n' _  d$ J- T( A: M$ M) C# N  D        //构造方法
( \; m8 Q+ V5 A: ]! x1 H        TreeNode(int hash, K key, V val, Node<K,V> next) {
- ]3 q, l, }  A, m            super(hash, key, val, next);
        }
1 ^$ K: H7 r1 ?, |# X4 R/ Z3 K  k% q+ g
        /**
4 n! q- C* t# ?5 k/ z         * 返回根节点
; T+ ^+ A/ ^/ L$ K2 B$ q. n         */
- n1 Z6 ^" |/ F6 C3 ?        final TreeNode<K,V> root() {
            for (TreeNode<K,V> r = this, p;;) {
( Y9 z# {$ J- m# h- ]                if ((p = r.parent) == null)
                    return r;
  O, Q4 S9 Y/ d3 I5 p) ^( G, S                r = p;
# k2 |( g  g' {  P            }
        }

构造方法/**
* 构造一个空的HashMap并指定初始容量和负载因子。
*
& B3 P9 u3 T3 |/ J  f- M6 ?: Q* m/ l**/
public HashMap(int initialCapacity, float loadFactor) {
        //如果初始容量小于0，抛出非法参数异常
( G5 }9 i3 n! `  M( L1 z        if (initialCapacity < 0)
) V& J' X: C5 ]1 U" ^# c            throw new IllegalArgumentException("Illegal initial capacity: " +
& a7 @( X6 H# f6 F! `                                               initialCapacity);
         //如果初始容量大于最大的容量也就是2^30,那么就按照最大的初始容量赋值。
* U# S6 Z: n4 s" v) B  t4 \, Y        if (initialCapacity > MAXIMUM_CAPACITY)
' V3 Q2 r  m% e  Y% U            initialCapacity = MAXIMUM_CAPACITY;
         //如果负载因子小于0或者是NaN（float NaN = 0.0f / 0.0f;）也会抛出非法参数异常
  E/ d- W$ T) @$ T: m# ~8 e* D        if (loadFactor <= 0 || Float.isNaN(loadFactor))
; J8 F2 [  h4 ~7 R            throw new IllegalArgumentException("Illegal load factor: " +
4 c% o  C  v6 a: s  X                                               loadFactor);
        this.loadFactor = loadFactor;
: O% @! C' b. X4 `& ~        this.threshold = tableSizeFor(initialCapacity);
3 B; H3 k# v% ?" F4 r) L1 U6 U    }
8 ]& s2 }9 s1 q  \//如果只是指定了初始容量那么负载因子就是默认的0.75
1 w0 |5 p# J. J, b) L/ Z9 G4 {' T1 spublic HashMap(int initialCapacity) {
/ r" T# p7 [" E8 A1 G4 V        this(initialCapacity, DEFAULT_LOAD_FACTOR);
1 D4 z# B3 Y, J1 W5 L; [5 r    }

    /**
7 M) `5 g' ?7 \! j     * 如果什么都没指定，也就是无参构造，则初始容量是16和负载因子是0.75
     */
! ?/ T8 k, O: U8 u$ V+ e" i0 O    public HashMap() {
        this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted
    }
# \% O( E! U" }4 s% {# L
    /**
  I' V: O/ ~/ {# W% M3 z     * 包含另一个Map的映射，如果被映射的Map是一个null会抛出空指针异常
0 S& _1 v; {* |9 F- U, [     * 负载因子时默认的
# J! j6 Z  @- V. K( M, ^     */
    public HashMap(Map<? extends K, ? extends V> m) {
* P/ l' `( o# @6 ]4 n+ y        this.loadFactor = DEFAULT_LOAD_FACTOR;
1 S5 F' f. X: \* n1 K        putMapEntries(m, false);
    }

% P% a' o6 J4 E) i3 ]- _" c. ]& {final void putMapEntries(Map<? extends K, ? extends V> m, boolean evict) {
8 D2 x( ]$ C" t' c        int s = m.size();//s是map的大小
: j$ {# c! W: {3 E% e# u        if (s > 0) {
            if (table == null) { // pre-size
8 h' O2 m  q2 ^" D* D' y0 j                float ft = ((float)s / loadFactor) + 1.0F;
                int t = ((ft < (float)MAXIMUM_CAPACITY) ?
                         (int)ft : MAXIMUM_CAPACITY);
7 V& ]3 |  @: S# ?                if (t > threshold)//如果t大于扩容的阀值就初始化阀值
: @8 ~2 @# B3 a: O# `( r+ i                    threshold = tableSizeFor(t);
            }
' m* s/ `1 @* j# V; B            //如果这个map中的元素个数大于扩容的阀值就得扩容
            else if (s > threshold)
                resize();
                //将map中的key和value都添加到HashMap中
9 B9 f! u' P" j' W& @            for (Map.Entry<? extends K, ? extends V> e : m.entrySet()) {
                K key = e.getKey();
3 a8 K! ~- c0 e& L                V value = e.getValue();
                putVal(hash(key), key, value, false, evict);
; F/ P# [- ^3 {" i" o' P" @3 q6 F            }
        }
% m. x- \: K- o0 L7 W* b% F( f    }

! j- s; |/ n6 _5 E/ ?
; m7 y3 I# M6 `3 N8 `3 M% p* W" E, W/**
* 构造一个空的HashMap并指定初始容量和负载因子。
*
**/
" L2 x$ e  U! c2 C! @$ j( I# P$ Ipublic HashMap(int initialCapacity, float loadFactor) {
        //如果初始容量小于0，抛出非法参数异常
        if (initialCapacity < 0)
            throw new IllegalArgumentException("Illegal initial capacity: " +
                                               initialCapacity);
         //如果初始容量大于最大的容量也就是2^30,那么就按照最大的初始容量赋值。
: ~; Z( ?3 p& o6 Z        if (initialCapacity > MAXIMUM_CAPACITY)
            initialCapacity = MAXIMUM_CAPACITY;
" h# |2 Y3 \3 d" T         //如果负载因子小于0或者是NaN（float NaN = 0.0f / 0.0f;）也会抛出非法参数异常
        if (loadFactor <= 0 || Float.isNaN(loadFactor))
1 i7 B3 b  S# c            throw new IllegalArgumentException("Illegal load factor: " +
                                               loadFactor);
# _% V- F- L$ g: c% t, Z+ z9 ?2 L        this.loadFactor = loadFactor;
        this.threshold = tableSizeFor(initialCapacity);
    }
//如果只是指定了初始容量那么负载因子就是默认的0.75
+ m! ]4 Q4 q! L4 \) fpublic HashMap(int initialCapacity) {
7 O, N$ `3 |+ T) G        this(initialCapacity, DEFAULT_LOAD_FACTOR);
    }
; D5 o& b" U7 u( t; ?
    /**
6 r4 N0 r3 s+ P! y! R5 l' h) X     * 如果什么都没指定，也就是无参构造，则初始容量是16和负载因子是0.75
! V) l3 j# k9 x& u7 T$ ~) I: b     */
, Q# x1 y& L5 U( ^1 z2 L    public HashMap() {
4 E' b) |0 U" B        this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted
) O# I& D3 w! K& G/ u; m* ?    }
. r( o$ x- H9 b6 @" i
: a0 ]0 [  _( N+ b( C' O    /**
     * 包含另一个Map的映射，如果被映射的Map是一个null会抛出空指针异常
3 f  c0 C+ b# q" i6 h6 B     * 负载因子时默认的
6 b( d' v0 _) k* z9 m  i) M     */
" B& l1 ^# A0 E3 j/ l' k0 T! p    public HashMap(Map<? extends K, ? extends V> m) {
5 u" ^: C  c" Y; D9 x        this.loadFactor = DEFAULT_LOAD_FACTOR;
; X" ~$ F" l* b        putMapEntries(m, false);
    }
' y( a8 K" y5 B5 X/ r& s7 D1 z
final void putMapEntries(Map<? extends K, ? extends V> m, boolean evict) {
* o6 }2 b; C& Y% \, F6 n3 I        int s = m.size();//s是map的大小
% C2 k1 E4 W. {. h; g8 a) s9 _# G        if (s > 0) {
            if (table == null) { // pre-size
                float ft = ((float)s / loadFactor) + 1.0F;
( ?! n/ x3 T9 H; D* b: h5 d% x9 |                int t = ((ft < (float)MAXIMUM_CAPACITY) ?
                         (int)ft : MAXIMUM_CAPACITY);
                if (t > threshold)//如果t大于扩容的阀值就初始化阀值
                    threshold = tableSizeFor(t);
8 W  [8 y: I: _2 |- A8 J            }
            //如果这个map中的元素个数大于扩容的阀值就得扩容
6 H6 J( f' \7 n4 ?$ o( D+ l            else if (s > threshold)
- W6 \- k6 L. L& A0 f6 Z                resize();
                //将map中的key和value都添加到HashMap中
& e7 Q3 r1 c. r; b            for (Map.Entry<? extends K, ? extends V> e : m.entrySet()) {
% R9 \# B# D* z6 ^                K key = e.getKey();
                V value = e.getValue();
) z9 K& ~" I- E                putVal(hash(key), key, value, false, evict);
            }
% u/ l% r! J' e9 f6 B1 v" F        }
% @$ J0 F* V( u5 p$ K& f' o    }

1 H8 P2 P9 r* i, A8 h7 b2 `put方法

向HashMap中添加元素

+ b7 v, ]/ J. u4 W1 c4 E  |
    public V put(K key, V value) {
        return putVal(hash(key), key, value, false, true);
: D4 H9 J. a  C    }

    //扰动函数（哈希函数）
    static final int hash(Object key) {
+ p- k4 K/ c- j' k        int h;
# b  X3 s4 T/ X. n1 Y6 \        //如果key是null，那么映射出来下标是0，否则将key的hashCode和h无符号右移16位做疑惑操作，使计算出的hash更加分散。
  c# j* ~4 |* o  B& N, n        return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
    }
, V" o1 x$ }! R! B7 ?6 D( l
5 Y3 ?6 t% e9 G5 a# B//onlyifAbsent默认是false，表示即使key存在也可以覆盖旧值。
1 Y  Z0 }) V8 X- c' N8 l    final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
! D4 k1 B. m% F3 R" d1 N/ b$ Z                   //n表示数组的长度，i表示数组的下标，p表示下标 i对应的Node
& v9 Y" z; M! R+ `4 t& R9 |$ j$ M        Node<K,V>[] tab; Node<K,V> p; int n, i;
5 ^( S9 P5 Q$ ?  ^/ i( p5 C        if ((tab = table) == null || (n = tab.length) == 0）//如果数组为空需要进行扩容
            n = (tab = resize()).length;
        if ((p = tab[i = (n - 1) & hash]) == null)//如果当前位置上没有节点那就新生成一个节点放上去
/ g/ h/ g; `$ V! P, R- r. S# |            tab = newNode(hash, key, value, null);
        else {//否则就代表这个位置已经有节点占用了，
            Node<K,V> e; K k;//e表示临时节点
0 b. z4 {) b- X            if (p.hash == hash &&  
                ((k = p.key) == key || (key != null && key.equals(k))))
                 // 如果key的hash和key本身的值都相等，直接把当前新增家电赋值给临时变量 e
                e = p;
3 F6 z8 V5 k8 m' _                //这里开始判断使用哪种类型的数据结构开始添加节点，如果是红黑树，就用红黑树的新增方式
5 g, O" t, `9 f3 t            else if (p instanceof TreeNode)
  g% D/ ]9 l, B* G                e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
            else {
            //否则采用链表的方式新增节点，遍历到链表的末尾，追加到后面
                for (int binCount = 0; ; ++binCount) {
1 n4 q0 g6 N: l, R( {. B                   //p.next==null表示到链表尾部
                   if ((e = p.next) == null) {
$ H  I1 f$ G/ N2 m2 h" F                   //把新建的节点放在链表的最后
                        p.next = newNode(hash, key, value, null);
9 i: t  K( ?0 W; N' c                        //节点个数大于等于树化的阀值就需要转换成红黑树
+ R2 Z+ H  g! U4 A, m6 y                        if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
) s6 ^8 M3 n( F! b/ \                            treeifyBin(tab, hash);
# c% R! K$ c2 U. f- M  t9 a                        break;//跳出循环
                    }
* i6 y" L8 {/ Y* Z$ x  X: j                    //循环遍历中发现 有元素和新增节点相等就结束循环
                    if (e.hash == hash &&
                        ((k = e.key) == key || (key != null && key.equals(k))))
: K8 L' [+ G# o$ ^7 x                        break;//相等就跳出循环
                    p = e;
1 l: t" R# c! K+ w) f& n2 `                }
9 X' ^. o& r4 e. H% G& f# e) E            }
            //说明新节点的新增位置已经找到了
# b) Z, W' A" F9 y4 r& u" T            if (e != null) { // existing mapping for key
8 O7 O& L- j( p9 i% L; b3 d' ]                V oldValue = e.value;
                //当onlyIfAbsent=false时才会覆盖
! F- n/ c! e' A9 E                if (!onlyIfAbsent || oldValue == null)
                    e.value = value;
                afterNodeAccess(e);
                //返回旧的值
3 e: l5 K( K5 X7 S4 T  @2 Z                return oldValue;
            }
+ f  J" z8 f0 Q( F        }
+ A, K; T2 |6 F# |4 g" @0 f* D        //结构修改计数器加一
        ++modCount;
        //如果实际大小 大于扩容的阀值就会再次扩容
        if (++size > threshold)
            resize();
            //插入后回调，具体实现交给了LinkedHashMap
+ ^& M7 s; [& v9 X- B! I9 a        afterNodeInsertion(evict);
. {5 m; a" _8 h9 B' W; O& Z$ F5 v3 Q        return null;
    }
5 @2 @  ~; L6 K1 T. W: u红黑树新增节点的过程
9 k, s0 y6 H& @3 i% `
7 ~+ p9 ~# _- y/ yfinal TreeNode<K,V> putTreeVal(HashMap<K,V> map, Node<K,V>[] tab,
0 E3 E5 D, }* E6 M) W9 j                                       int h, K k, V v) {
            Class<?> kc = null;
            boolean searched = false;
            //找到根节点
! ?5 A8 X9 ?. y" U! ~            TreeNode<K,V> root = (parent != null) ? root() : this;
            for (TreeNode<K,V> p = root;;) {
                int dir, ph; K pk;
                //如果p的hash大于 h,那p就在h的右边
1 e* C0 Q; s& A4 G                if ((ph = p.hash) > h)
                    dir = -1;
                //如果p的hash小于 h,那p就在h的左边
                else if (ph < h)
4 n6 Z4 {: l% j4 U; ~                    dir = 1;
                //如果将要新增的key已经在树中存在了那就直接返回p,这里代表插入的key没有实现Comparable接口，那就通过equals方法和值 比较是不是同一个key
                else if ((pk = p.key) == k || (k != null && k.equals(pk)))
                    return p;
( s% ^, }, R! _/ b' }3 @; C                    //如果key实现了Comparable的话，不再用hashcode比较，需要用compareTo方法
) }$ \3 C7 S1 E6 R; @                else if ((kc == null &&
# I' o- g4 h. O4 r8 A/ a                //如果key没有实现Comparable接口，那么 comparableClassFor(k)返回的就是null
                          (kc = comparableClassFor(k)) == null) ||
" x  A" ~( U0 I/ o. z; B! a                          //当前节点的键和入参的键不相等
                         (dir = compareComparables(kc, k, pk)) == 0) {
# q9 w! e! m" f0 a- v                    if (!searched) {
  |# H+ o1 P! F5 o                        TreeNode<K,V> q, ch;
, h/ K6 x  |' y2 F7 P& Y  g" c                        searched = true;
                        if (((ch = p.left) != null &&
                             (q = ch.find(h, k, kc)) != null) ||
2 F* q' l9 v- \0 z& v                            ((ch = p.right) != null &&
                             (q = ch.find(h, k, kc)) != null))
7 t5 [0 ]! K4 }! c  h1 t                            return q;
                    }
                    dir = tieBreakOrder(k, pk);
                }

                TreeNode<K,V> xp = p;
                if ((p = (dir <= 0) ? p.left : p.right) == null) {
$ U. Q# p5 e8 V/ |% Z                    Node<K,V> xpn = xp.next;
                    //生成新节点
                    TreeNode<K,V> x = map.newTreeNode(h, k, v, xpn);
                    if (dir <= 0)
                    //如果dir=-1 新节点放在左子树
                        xp.left = x;
8 Z; {5 u. }; ?* W; W& p                    else
% q" r# y4 K% m4 f9 l5 O1 v                    //如果dir=1 新节点放在右子树
                        xp.right = x;
4 W$ Y9 }% U! e& L8 |                    //当前节点和新节点建立父子关系后前后关系
, s, \4 j! d+ \4 M- ~                    xp.next = x;
                    x.parent = x.prev = xp;
                    if (xpn != null)
4 d1 T+ _. |* H/ q: Q, L2 t                        ((TreeNode<K,V>)xpn).prev = x;
                    moveRootToFront(tab, balanceInsertion(root, x));
, T: V' J- p$ X9 W0 V6 z/ j; f             //balanceInsertion 对红黑树进行着色或旋转，以达到更多的查找效率，着色或旋转的几种场景如下
            //着色：新节点总是为红色；如果新节点的父亲是黑色，则不需要重新着色；如果父亲是红色，那么必须                 通过重新着色或者旋转的方法，再次达到红黑树的5个约束条件
            //旋转： 父亲是红色，叔叔是黑色时，进行旋转
            //如果当前节点是父亲的右节点，则进行左旋
; O9 q* s( D7 L4 l1 F+ ]$ a- r            //如果当前节点是父亲的左节点，则进行右旋

            //moveRootToFront 方法是 把算出来的root放到根节点上
                    return null;
2 j  F6 S1 A$ \. R1 P+ |                }
            }
        }
- ]4 j3 {& a" F; N( d& T
首先判断新增的节点在红黑树上是不是已存在如果已存在就不在新增
9 P! L9 D8 q! E% D0 x: @: Q, C# B如果节点没有实现Comparable接口，使用equals方法判断
. _  f& s1 n1 c2 i1 P如果节点已经实现Comparable接口，使用CompareTo判断
新增节点如果已经在红黑树上，直接返回；不在的话判断新增节点是在当前节点的左边还是右边，左边比当前值小，右边比当前值大。
' W. h& u) u% [' k递归前两步，知道当前节点的左子树或右子树为空时，停止递归，当前节点就是我们将要新增的父亲节点。
. y8 }# E2 e% Z4 F/ W6 N将新增节点放在当前节点的左边或是右边，与当前节点建立父子几点关系。
* `% C9 |4 A0 O* M- t: Q进行着色和旋转。

get方法

& s* ?3 M5 S5 Vpublic V get(Object key) {
2 b7 c/ k! j" I# P$ f! y2 q8 {        Node<K,V> e;
; @% T5 a/ E% ~. u  B) U        return (e = getNode(hash(key), key)) == null ? null : e.value;
    }
* e" M2 `) E/ X2 ?+ I0 J2 N( k
    /**
     * Implements Map.get and related methods
8 ?+ B2 x  T& \$ D  ]4 D! _     *
     * @param hash hash for key
" @, U1 |' P+ h. U; c! R6 i     * @param key the key
     * @return the node, or null if none
     */
' f- g; ~5 B3 d3 n1 H    final Node<K,V> getNode(int hash, Object key) {
        Node<K,V>[] tab; Node<K,V> first, e; int n; K k;
        //如果桶数组不为空，并且桶的长度>0,才进行下面的操作，否则就返回null
' }4 Y# l5 y: D# k; V  H5 z        if ((tab = table) != null && (n = tab.length) > 0 &&
            (first = tab[(n - 1) & hash]) != null) {
% g2 W  t9 c. \$ B( ^& t3 V            //总是先检查第一个节点，如果第一个是我们要找的key就直接返回
            if (first.hash == hash && // always check first node
: s$ t8 i( P/ Z9 {1 A2 o                ((k = first.key) == key || (key != null && key.equals(k))))
                return first;
8 j+ v6 E, T8 a1 J0 n            if ((e = first.next) != null) {
, R4 j# a' i& E& w7 r            //如果first是TreeNode类型那就调用红黑树获取节点的方法
                if (first instanceof TreeNode)
% V" z# B& e/ n                    return ((TreeNode<K,V>)first).getTreeNode(hash, key);
4 n7 n7 o# R. J9 Z- B5 F& Z                //否则就是一链表的方式查找值
                do {
$ F# n0 r' G2 C5 Y" K9 g; \5 y                //循环遍历，如果桶的hash和key与当前遍历的桶相等就返回。
( E8 ^% b- U- T                    if (e.hash == hash &&
                        ((k = e.key) == key || (key != null && key.equals(k))))
6 c- e2 Q, E! i                        return e;
- d# Y" g* G. i3 G! m+ Y                } while ((e = e.next) != null);
5 K: h3 y: h  C5 q+ D. c. a6 j            }
        }
        //以上都没找到就返回null
6 p7 q  G: X$ x) o; j        return null;
7 k* u% U, I1 t0 q6 t    }
$ W% L' b$ h% N& R1 v
* r/ [; l7 T4 b; I$ R1 b% ?) |查找主要分为三个步骤

# v: G" b. a5 `根据hash算法定位数组的索引位置，找到key及其第一个元素。
4 P5 `( i! L7 t) l4 Z通过equals方法判断第一个节点是否是我们需要的key,是的话直接返回，不是的话，往后遍历
判断当前节点的next是不是null，如果不是的话，再判断属于哪个类型，如果是红黑树就采用遍历红黑树的方法查找节点，否则就以遍历链表的方式查找
resize方法
, T9 h% e6 i# z' y- w0 Z, `
. U% J1 R/ e! u: v' {0 e5 E3 m每次进行扩容，就会伴随着一次重新分配，并且会遍历hash表中的所有元素是非常耗时的。
% D* H- p! ?1 v+ v: v: H


final Node<K,V>[] resize() {
: V5 [2 l  V! Q/ I) v" \2 x9 J        Node<K,V>[] oldTab = table;
1 j. j' m* [4 z0 C. j! [" @0 Q9 c        //如果旧的数组是null那他的容量就是0
, Z( ~4 _" W2 V8 c        int oldCap = (oldTab == null) ? 0 : oldTab.length;
       //旧的扩容阀值
7 Q, ?5 R0 V7 ^5 ^2 _" {       int oldThr = threshold;
        int newCap, newThr = 0;
' G7 G9 m8 F/ R, {, t        if (oldCap > 0) {
        //如果已超过最大值不在进行扩容 ，直接返回旧数组
            if (oldCap >= MAXIMUM_CAPACITY) {
* {1 P0 h, |/ u: [7 D6 b                threshold = Integer.MAX_VALUE;
                return oldTab;
            }//没有超过最大值就扩容为原来的2倍，左移1位相当于乘2
            //比如旧的容量是19,19>16,所以扩容为原来的两倍
            else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
8 e' k& ^) P, A" W                     oldCap >= DEFAULT_INITIAL_CAPACITY)
( m2 Q6 x, a5 \+ |% I; T+ @: f                newThr = oldThr << 1; // double threshold
7 d; n* A' u! [; f& L        }
/ o' A6 U; t; V5 E3 @" F        else if (oldThr > 0) // initial capacity was placed in threshold
        //
            newCap = oldThr;
        else {               // 调用默认构造方法创建的map第一次新增会走到这里进行判断
; ?2 t1 L7 u, P+ }        //如果旧的数组的容量和扩容阀值都是0，就需要对新的map进行初始化,全部设置成默认值
: j  {. J5 p. X6 x, V            newCap = DEFAULT_INITIAL_CAPACITY;
& |* h/ Y) @& L# Q: A3 ?4 C            //threshold = loadFactor * capacity
            newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);
        }
        if (newThr == 0) {
$ I, ]% R  z5 _" C, Z1 v" Y       //如果新map的扩容阀值等于0，需要计算出扩容阀值，计算出的 阀值肯定不能大于最大容量，即使大于,最大也是Integer.MAX_VALUE
            float ft = (float)newCap * loadFactor;
            newThr = (newCap < MAXIMUM_CAPACITY && ft < (float)MAXIMUM_CAPACITY ?
  x7 g1 U$ e0 K! f6 Y% d                      (int)ft : Integer.MAX_VALUE);
        }
        //进行赋值
2 L; ~# g4 u$ O0 y/ p        threshold = newThr;
  L4 q9 m- H# B- \! i  J0 f7 N        //这里又新建了一个桶数组
+ Y6 Q, L* T2 }" z( K        @SuppressWarnings({"rawtypes","unchecked"})
- p* ]! l  G$ i            Node<K,V>[] newTab = (Node<K,V>[])new Node[newCap];
1 u( w( \% i2 Z" [        table = newTab;
& N. q3 U! Y  ?/ O9 E        //如果旧的数组不为空，开始依次搬运桶
- @+ G' g" `+ i6 l" |+ [+ k        if (oldTab != null) {
            for (int j = 0; j < oldCap; ++j) {
                Node<K,V> e;//临时变量e
                if ((e = oldTab[j]) != null) {
$ v& ]* r5 R/ {( P" P& [8 W' @                //如果当前桶不为空将它赋值给临时变量, 并且将旧的数组中对应的值置为null,便于GC
5 I; t" r3 n2 S% `* X% X' l                    oldTab[j] = null;
1 g5 D) r' s2 M: u                    //当第一个桶搬到新的数组中时他后面还没有其他桶
                    if (e.next == null)
                        newTab[e.hash & (newCap - 1)] = e;
* ~% [; G$ B& g                    else if (e instanceof TreeNode)
                    //如果搬运的是树节点，将树分割成两棵树放入新数组中
; e8 t/ D+ h" t  n3 Z                        ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
: F/ O8 x4 O# n4 [. M9 _: G( _                    else { // preserve order
                    //如果这个链表的长度>0且还没转换成树结构，那么扩容的时候就需要将这条链表转成两条链表
                        Node<K,V> loHead = null, loTail = null;
0 i# w4 H' J7 e. d) f" g                        Node<K,V> hiHead = null, hiTail = null;
                        Node<K,V> next;
0 t5 ?5 U  [$ o: V                        do {
                            next = e.next;
                            //放在低位链表中
- `5 [# h7 s9 b- B1 r. I                            if ((e.hash & oldCap) == 0) {
3 ^# v4 y+ a& Z" O% L                                if (loTail == null)
1 L: t! B" m5 }0 p                                    loHead = e;
, Z7 O0 k( ~" B  c! G: i                                else
                                    loTail.next = e;
                                loTail = e;
                            }
2 T2 ]  f4 O9 v( {+ M# U  e                            else {
6 Q6 ], b. U. X  |: K                            //放在高位链表中
                                if (hiTail == null)
                                    hiHead = e;
                                else
. y  {% R) f( _5 m                                    hiTail.next = e;
" j, F, Q& e2 G                                hiTail = e;
! C( B) ?# |4 M7 R- ]# I$ Y: X2 O: S                            }
                        } while ((e = next) != null);
9 K1 l" w$ x; A( ?6 u; i2 i                        //低位链表的桶在新数组的位置和之前一样
                        if (loTail != null) {
                            loTail.next = null;
/ x. y; S6 o( i' T0 P* z& {                            newTab[j] = loHead;
/ Y, z- N* @- q$ u6 j                        }
                        //高位链表在新数组的位置时原来的位置+oldCap
                        if (hiTail != null) {
                            hiTail.next = null;
6 H; T" P: n$ s( M                            newTab[j + oldCap] = hiHead;
                        }
" w2 O2 J5 O* @; Q6 y                    }
7 ~4 s0 ?: Q$ n+ ]5 Y2 }                }
            }
        }
        return newTab;
    }
总结
$ ^0 p6 h" U! n% p
" b  O% i7 x4 X$ F' E+ QHashMap在java8中的存储结构是： 数组+链表+红黑树
! u9 _5 Z3 H% ^HashMap默认初始容量是 16，默认负载因子时0.75f,容量总是2的n次方，最大容量是2的30次方
HashMap扩容时每次容量变为原来的两倍
" w0 J, _) a" M/ e当链表长度大于等于8，但是桶的数量（数组的长度）小于64时，不会变成红黑树只会进行扩容
当红黑树的大小小于6时，会转变成链表
HashMap是线程不安全的。在多线程使用场景中，应该尽量使用线程安全的ConcurrentHashMap替换HashMap，HashMap允许null做key。这样的key只能有一个但是null作为value可以有多个。
4 M  p- q5 Z, v( D' U8 r  yHashMap查找和添加元素的时间复杂度都是O(1)





3 Q6 j8 w4 y& M: ]3 p* o9 g( T
  y' o, b4 Y+ o- R1 O0 z$ _9 T

版权声明：本文为CSDN博主「java大涛」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/qq_43672652/article/details/106035998
. h  O+ n2 C8 c, ~) n- E9 i

" P, A8 i7 R4 d' p9 d% t

---

欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)

Powered by Discuz! X2.5