JDK1.8 HashMap.put()操作的源码解读与理解

深入剖析JDK1.8中HashMap的put方法实现细节,包括冲突处理、链表转红黑树及扩容机制。
/**
     * Implements Map.put and related methods
     *
     * @param hash key的哈希值
     * @param key the key
     * @param value 待存入列表的值
     * @param onlyIfAbsent 如果为真,不会改变值
     * @param evict 如果为false,则表处于创建模式
     * @return 之前的value, or null if none
     */
//注意:单独占用一行或者多行的注释,则是对它下方的代码进行解释。
    final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
        Node<K,V>[] tab; Node<K,V> p; int n, i; //n用来存放数组的长度,i用来存放计算得的下标
        if ((tab = table) == null || (n = tab.length) == 0) //判断数组是否为空
            n = (tab = resize()).length; //初始化数组,长度默认时16
        /*
         n-1是为了获取的下标范围能够在数组长度之内。
		 因为数组的长度都是2的次方,当进行-1操作之后,低位都是1。在 &hash时得到的就是与都是1的低位			 长度相同的原hash二进制的值
		 取个例子,如何数组长度为16时
			十六的二进制:0001 0000
			 hash二进制:1011 0110
			 (16-1)&hash
		 	 0000 1111
		 	 1011 0110
		 	 根据&运算符的特性
		 	 结果就是 0110,0110的十进制就是数组下标。
		 			
        */
        if ((p = tab[i = (n - 1) & hash]) == null) 
            tab[i] = newNode(hash, key, value, null);//直接存放到数组中。
        else { //否则说明出现了hash冲突,也就是(n-1)&hash得到得下标对应得数组位置已经存放了结点。
            Node<K,V> e; K k;  //声明一个结点,以及与Key类型相同得变量,遍历结点时需要用到。
            /*
            在上一if中,p已经指向了tab[i = (n - 1) & hash]]的对象,也可以说是链表头。因为数组中
            每一个元素都是链表结构。
          	这里的判断有三个
          		1、p.hash == hash: 链表头Node的hash是否与要插入的hash相同。
          						        &
          						  (
          		2、((k = p.key) == key:链表头Node的key是否与要插入的key相同
          								||
          		3、(key != null && key.equals(k)): key不为空。并将key的内容不与Node的相同。
          							)
          		2和3是一个组合也就说,两个判断中只要有一个满足条件就可以。
            */
            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 {  //当上面的条件都不满足时,也就是出现key相同或者链表已经转变红黑树的情况,就对						链表进行遍历
                for (int binCount = 0; ; ++binCount) {
                    /*
                    如果当前结点为空,则将新的结点插入。
                    */
                    if ((e = p.next) == null) { 
                        p.next = newNode(hash, key, value, null);
                        /*
                        	判断链表的长度是否达到数化的阈值。当链表的长度等于 >= 8时树化
                        */
                        if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
                            treeifyBin(tab, hash); //执行树化的方法。
                        break;
                    }
                    /*
                    与检查链表头Node的判断相同,都是判断否存入的是同一个key。相同的话就直接退出
                    */
                    if (e.hash == hash &&
                        ((k = e.key) == key || (key != null && key.equals(k))))
                        break;
                    p = e; //获取下去结点的必备条件。 e = p.next; p = e;
                }
            }
            /*
            	这里判断为真说明 新插入的结点的key与之前插入的结点重复
            	这里的操作就是,将该新的Value更换结点上的value,返回旧的value值
            */
            if (e != null) { // existing mapping for key
                V oldValue = e.value; //获取结点上的value
                if (!onlyIfAbsent || oldValue == null) //判断是否可以更改值。
                    e.value = value; 
                afterNodeAccess(e); //回调。
                return oldValue;//返回久的值
            }
        }
        ++modCount;  //统计链表的修改次数
        if (++size > threshold) //如果当前数组中的总结点数大于扩容阈值。对数组进行扩容
            resize(); //扩容
        afterNodeInsertion(evict);//转移
        return null;
    }

个人的理解:

​ 上面的注释就是我对于JDK1.8的HashMap在进行Put的时候底层的实现原理,简单总结一下put的实现过程。

1、 调用put 的时候,传入两个变量 key 和 value,put会调用putVal方法 传入key计算得出的hash值value、对结点的操作类型onlyIfAbsent(是否可以改变值)、数组目前的状态evict(该表是目前是否处于创建状态)。

2、 进入putVal之后,由于HashMap的数组是使用懒加载机制创建的,所以会先判断当前的数组是否已经初始化,如果未初始化则先进行数组的初始化,长度默认是16。

3、 数组初始化完成之后,使用传入的hash计算出该结点在数组中的下标。

4、 得出下标后,定位到数组中该下标的元素,判断是否已经存入值,也就是是否发生过hash冲突,如果没有就直接将值存储该下标的数组元素中,成为链表的头节点。

5、 如果定位到该下标的元素发现已经存有值,先对头结点进行判断,判断目前存入的key是否与其的key相等,如果相等则将新value更换原有的value。并返回原先的value。否则继续向下遍历链表,遍历过程中如果发现有相等的key则进行前面所说的更新value操作。如果遍历完整个链表发现都没有出现key冲突,则将创建新结点插入链表的尾部。

6、 插入新结点后判断链表的长度是否大于8,如果大于8则将链表进行红黑树化操作。

7、 判断当前数组中总结点的个数是否达到扩容的阈值,满足条件则对数组进行扩容,创建新的数组,将原数组中结点存入新的数组中。

这个是我个人在研究HashMap 进行put操作时底层实现原理的理解,如果大家在浏览过程中,发现有理解错误的地方可以在评论中留言,后面我再进行更改。

<think>我们正在分析JDK1.8HashMap的实现原理。根据引用内容,HashMap基于哈希表实现,使用键值对存储,允许null键和null值,非线程安全,存储无序。在JDK1.8中,HashMap由数组+链表+红黑树组成,当链表长度超过阈值(默认为8)且数组长度大于64时,链表转换为红黑树,以提高查询效率。首先,我们需要了解HashMap的几个关键点:1.底层结构:数组(称为桶数组)+链表/红黑树2.哈希函数:通过键的hashCode计算索引位置3.解决冲突:拉链法(链表),当链表过长时转为红黑树4.扩容机制:当元素数量超过阈值(容量*负载因子)时,扩容为原来的2倍接下来,我们将从以下几个方面分析:1.关键常量变量2.哈希函数3.put方法流程4.扩容机制5.树化反树化条件###1.关键常量变量根据引用[5],默认初始容量为16(`DEFAULT_INITIAL_CAPACITY=1<<4`),最大容量为2^30(`MAXIMUM_CAPACITY=1<<30`)。默认负载因子为0.75(`DEFAULT_LOAD_FACTOR`),当链表长度大于8(`TREEIFY_THRESHOLD`)且数组长度大于64(`MIN_TREEIFY_CAPACITY`)时,链表转为红黑树;当树节点数小于6(`UNTREEIFY_THRESHOLD`)时,红黑树退化为链表。###2.哈希函数在JDK1.8中,哈希函数做了优化,将键的hashCode的高16位16位进行异或运算,以减少碰撞:```javastaticfinalinthash(Objectkey){inth;return(key==null)?0:(h=key.hashCode())^(h>>>16);}```然后通过`(n-1)&hash`计算索引(n为数组长度)。###3.put方法流程引用[1]和[3]提到了put方法put方法的主要步骤:1.计算键的哈希值,确定桶索引2.如果该桶为空,则直接插入新节点3.如果该桶不为空,则遍历链表或红黑树:-若找到相同键(hash相同且equals为true),则更新值-若未找到,则在链表或红黑树中插入新节点4.插入后,如果链表长度超过阈值,则判断是否树化5.检查是否需要扩容###4.扩容机制当元素数量超过阈值(容量*负载因子)时,进行扩容。扩容时,数组大小变为原来的2倍,并重新计算每个节点的位置。在JDK1.8中,重新计算位置时,节点要么在原位置,要么在原位置+旧容量的位置,这取决于节点哈希值新增的bit位是0还是1(因为容量是2的幂,所以扩容后索引变化只需看高位)。###5.树化反树化树化条件:链表长度大于8且数组长度大于64(否则只扩容)。反树化条件:在扩容或删除节点时,如果树节点数小于等于6,则退化为链表。###示例代码分析引用[2]提供了一个测试代码,展示了HashMap的插入和遍历。注意,遍历时由于HashMap无序,输出顺序插入顺序可能不同。下面我们详细分析put方法源码(简化版):```javapublicVput(Kkey,Vvalue){returnputVal(hash(key),key,value,false,true);}finalVputVal(inthash,Kkey,Vvalue,booleanonlyIfAbsent,booleanevict){Node<K,V>[]tab;Node<K,V>p;intn,i;//1.如果数组为空,则初始化(resize方法负责初始化或扩容)if((tab=table)==null||(n=tab.length)==0)n=(tab=resize()).length;//2.计算索引i,如果该位置为空,则直接放入新节点if((p=tab[i=(n-1)&hash])==null)tab[i]=newNode(hash,key,value,null);else{Node<K,V>e;Kk;//3.如果该位置的节点待插入节点的hash和key相同,则记录这个节点(后面更新值)if(p.hash==hash&&((k=p.key)==key||(key!=null&&key.equals(k))))e=p;//4.如果该节点是树节点,则调用红黑树的插入方法elseif(pinstanceofTreeNode)e=((TreeNode<K,V>)p).putTreeVal(this,tab,hash,key,value);//5.否则,遍历链表else{for(intbinCount=0;;++binCount){if((e=p.next)==null){//5.1到达链表尾部,插入新节点p.next=newNode(hash,key,value,null);//5.2如果链表长度达到树化阈值,则尝试树化if(binCount>=TREEIFY_THRESHOLD-1)//-1for1sttreeifyBin(tab,hash);break;}//5.3如果找到相同键,则跳出循环if(e.hash==hash&&((k=e.key)==key||(key!=null&&key.equals(k))))break;p=e;}}//6.如果存在相同键,则更新值并返回旧值if(e!=null){VoldValue=e.value;if(!onlyIfAbsent||oldValue==null)e.value=value;afterNodeAccess(e);returnoldValue;}}//7.修改次数增加,检查是否需要扩容++modCount;if(++size>threshold)resize();afterNodeInsertion(evict);returnnull;}```###总结JDK1.8HashMap通过数组+链表+红黑树的结构,在哈希冲突严重时仍能保持高效的查询性能。其核心在于哈希函数的设计、动态扩容以及链表红黑树之间的转换机制。§§相关问题§§1.JDK1.8HashMap的扩容过程是怎样的?2.为什么树化阈值设置为8?反树化阈值设置为6?3.HashMap在并发环境下会出现什么问题?4.HashMap的负载因子为什么默认是0.75?5.如何设计一个自定义对象作为HashMap的键?</think>### JDK 1.8 HashMap 实现原理分析 HashMapJDK 1.8 中基于**数组 + 链表 + 红黑树**实现,核心目标是高效处理哈希冲突并优化查询性能。以下是关键实现原理: --- #### 1. **底层数据结构** - **数组(桶)**:主体结构,默认初始容量 $16$(必须是 $2^n$)[^5] ```java static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // 16 ``` - **链表**:解决哈希冲突(不同 key 哈希到同一数组索引) - **红黑树**:当链表长度 $>8$ 且数组长度 $≥64$ 时,链表转为红黑树(查询效率从 $O(n)$ 提升到 $O(\log n)$)[^3] --- #### 2. **哈希函数设计** 通过扰动函数减少哈希碰撞: ```java static final int hash(Object key) { int h; return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16); } ``` - **高位异或**:将 hashCode 的高 16 位16 位异或,使低位更随机 - **索引计算**:`(数组长度 - 1) & hash` → 定位桶位置 --- #### 3. **PUT 方法流程**[^1] 1. **计算哈希值**:`hash(key)` 2. **定位桶位置**:`index = (n - 1) & hash` 3. **处理冲突**: - **桶为空**:直接插入新节点 `Node<K,V>` - **桶为链表**:遍历链表,若 key 存在则更新值;否则尾部插入 - **桶为红黑树**:调用树节点插入方法 `putTreeVal` 4. **树化检查**:链表长度 $>8$ 且数组长度 $≥64$ 时,转为红黑树 5. **扩容检查**:若元素总数 $>$ 阈值(容量 $\times$ 负载因子 $0.75$),触发扩容 --- #### 4. **扩容机制(Resize)** - **扩容条件**:元素数量 $>$ 容量 $\times 0.75$ - **扩容操作**: - 新容量 = 旧容量 $\times 2$(保持 $2^n$) - 重新计算所有元素位置:节点在新数组的位置 = **原位置** 或 **原位置 + 旧容量** - 红黑树可能退化为链表(节点数 $≤6$ 时) --- #### 5. **红黑树优化** - **树化条件**: - 链表长度 $>8$(`TREEIFY_THRESHOLD`) - 数组长度 $≥64$(`MIN_TREEIFY_CAPACITY`)[^3] - **退化条件**:红黑树节点数 $≤6$(`UNTREEIFY_THRESHOLD`) --- #### 6. **关键特性** - **允许 null 键/值**:`null` 键固定存储在索引 $0$ 的桶 - **非线程安全**:并发修改可能导致死循环或数据丢失 - **无序存储**:迭代顺序不保证插入顺序一致(参考测试代码[^2]) --- ### 总结 JDK 1.8HashMap 通过**数组 + 链表 + 红黑树**的混合结构,结合**动态扩容**和**智能树化**机制,在哈希冲突处理查询效率之间取得平衡。其设计核心在于: - 扰动函数降低碰撞概率 - 红黑树优化极端冲突场景 - $2^n$ 容量设计加速索引计算
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值