HashMap扩容时的rehash方法中(e.hash oldCap) == 0算法推导

PS:由于文档是我在本地编写好之后再复制过来的，有些文本格式没能完整的体现，故提供下述图片，供大家阅览，以便有更好的阅读体验：

HashMap在扩容时，需要先创建一个新数组,然后再将旧数组中的数据转移到新数组上来
此时，旧数组上的数据就会根据(e.hash & oldCap) 是否等于0这个算法,被很巧妙地分为2类:
① 等于0时，则将该头节点放到新数组时的索引位置等于其在旧数组时的索引位置,记为低位区链表lo开头-low;
② 不等于0时,则将该头节点放到新数组时的索引位置等于其在旧数组时的索引位置再加上旧数组长度，记为高位区链表hi开头high.
具体,详见下述的算法推导解析:
算法：
(e.hash & oldCap)=0
前提：
 e.hash代表的是旧数组中节点或元素或数据e的hash值，该hash值是根据key确定过的：(key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16) ；
 oldCap为旧数组的数组长度，是2的n次幂的整数。即e.hash&2^n=0

推导过程1(e.hash & oldCap)=0：

因为oldCap是2的n次幂的整数,其二进制表达为1个1后面跟n个0：1000…0，若想要e.hash&oldCap的结果为0，则e.hash的二进制形式中与对应oldCap的二进制的1的位置一定为0，其他位置的可以随意，这样即可保证结果为0；
假设：
oldCap= 2 ^ 3 =8 = 1000
则e.hash可以是 0101

e.hash&oldCap 0000=0
3. (2oldCap -1)=2 ^ 4-1=01111，其二进制位数比oldCap多一位，但多的这一位是0,其余都是1(其低三位肯定也是1);(oldCap-1)=2 ^ 3-1=0111，其二进制位数与oldCap相同,且其低3位的值都是1。故(2oldCap-1)和(oldCap -1)两者与只有4位且首位为0的e.hash=0101计算时，其实只有低3位真正能影响计算结果，而两者的低3位相同，都是111；
4. 故在前提条件下，(2oldCap-1)和(oldCap -1)两者与e.hash进行&运算之后的结果一样：
(2oldCap -1)=2 ^ 4-1= 01111 (oldCap-1)=2 ^ 3-1= 0111
e.hash 0101 e.hash 0101

e.hash&oldCap 00101=5 e.hash&oldCap 0101=5
5. 而(oldCap -1) &e.hash恰巧代表的就是e元素在旧数组中的索引位置；
而(2oldCap -1) &e.hash则代表的就是e元素在旧数组长度扩容2倍后的新数组里的索引位置
6. 综上，可得出满足e.hash&oldCap=0的元素，其在新旧数组中的索引位置不变；

推导过程2(e.hash & oldCap)不等于0：

因为oldCap是2的n次幂的整数,其二进制表达为1个1后面跟n个0：1000…0，若想要e.hash&oldCap的结果不为0，则e.hash的二进制形式中与对应oldCap的二进制的1的位置一定不为0，其他位置的可以随意，这样即可保证结果不为0；
假设：
oldCap= 2 ^ 3 =8 = 1000
则e.hash可以是 1101

e.hash&oldCap 1000=13
3. (2oldCap -1)=2 ^ 4-1=01111,其二进制位数比oldCap多一位,但多的这一位是0,其余都是1(其低三位肯定也是1,其从左到右数的第4位为1);(oldCap-1)=2 ^ 3-1=0111,其二进制位数与oldCap相同,且其低3位的值都是1, 其从左到右数的第4位为0,。故(2oldCap-1)和(oldCap -1)两者与只有4位且首位为1的e.hash=1101计算时,其实也只有从左到右数的第4位(0)真正能影响计算结果,因为低3位完全一样都是1;
4. 故在前提条件下，(2oldCap-1)和(oldCap -1)两者与e.hash进行&运算后结果相差了oldCap：
(2oldCap -1)=2^4-1= 01111 ( oldCap - 1 ) =2 ^ 3-1= 0111
e.hash 1101 e.hash 1101

(2oldCap -1)& e.hash 01101=8+5 (2oldCap -1)&e.hash 0101=5
5. 而(oldCap -1) &e.hash恰巧代表的就是e元素在旧数组中的索引位置；
而(2oldCap -1) &e.hash则代表的就是e元素在旧数组长度扩容2倍后的新数组里的索引位置
6. 综上，可得出满足e.hash&oldCap不等于0的元素，其在新数组中的索引位置是其在旧数组中索引位置的基础上再加上旧数组长度个偏移量。

HashMap扩容时的rehash方法中(e.hash oldCap) == 0算法推导相关推荐

hashmap扩容时死循环问题
废话不多说,大家都知道,hashmap不能用于多线程场景中,多线程下推荐使用concurrentHashmap! 但为什么多线程下不能使用hashmap那,主要原因就在于其的扩容机制. 文章是综合他人 ...
如何在调用方法时，让方法中的参数指向元素本身
在这之前,我一直不知道调用方法的这个元素应该怎么表示,所以,一直以来,都是在方法中传入(′this′),但是我发现,几乎没见过大神在参数中传入过('this'),但是我发现,几乎没见过大神在参数中传入 ...
Hashmap扩容时出现循环链表（jdk1.8把头插法换成了尾插法的原因）
参考:https://blog.csdn.net/sinat_39410753/article/details/106242573 1.容量计算容量的阈值=容量*加载因子 2.扩容容量扩容的容量大 ...
jdk1.8 HashMap扩容机制变化
概述 JDK1.8中的HashMap较于前代有了较大的变更,主要变化在于扩容机制的改变.在JDK1.7及之前HashMap在扩容进行数组拷贝的时候采用的是头插法,因此会造成并发情景下形成环状链表造成死 ...
七、JDK1.7中HashMap扩容机制
导读前面文章一.深入理解-Java集合初篇中我们对Java的集合体系进行一个简单的分析介绍,上两篇文章二.Jdk1.7和1.8中HashMap数据结构及源码分析 .三.JDK1.7和1.8Hash ...
聊一聊不同技术栈中hashmap扩容机制
前言 hash简介作为后端开发,说HashMap是我们最经常接触到的数据结构都不为过,而HashMap如其名最主要依赖的算法就是hash散列算法来存储和读取数据. 以关键码值K为自变 ...
八、JDK1.8中HashMap扩容机制
导读前面文章一.深入理解-Java集合初篇中我们对Java的集合体系进行一个简单的分析介绍,上两篇文章二.Jdk1.7和1.8中HashMap数据结构及源码分析 .三.JDK1.7和1.8Hash ...
hashmap 扩容是元素还是数组_HashMap 中的容量与扩容实现
总有人心里有火炬,而且彼此能看见. 高手过招,招招致命 JDK1.8 中 HashMap 的底层实现,我相信大家都能说上来个一二,底层数据结构数组 + 链表(或红黑树) ,源码如下/** * 数组 ...
hashmap扩容线程安全问题_HashMap在1.7 1.8中的线程安全问题
HashMap的线程不安全主要体现在下面两个方面: 在JDK1.7中,当并发执行扩容操作时会造成环形链和数据丢失的情况. 在JDK1.8中,在并发执行put操作时会发生数据覆盖的情况. ? ? 常被问 ...

HashMap扩容时的rehash方法中(e.hash oldCap) == 0算法推导

HashMap扩容时的rehash方法中(e.hash oldCap) == 0算法推导相关推荐

最新文章

热门文章