耗时3天写完的HashMap万字解析,争取一篇文章讲透它,面试官看了都直点头!

本文涉及的产品
云解析 DNS,旗舰版 1个月
全局流量管理 GTM,标准版 1个月
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
简介: 耗时3天写完的HashMap万字解析,争取一篇文章讲透它,面试官看了都直点头!

写在开头

在过去的几篇博客中,我们已经将Collection下的三大接口(List,Set,Queue)学了一遍,那么今天我们即将开启Java中另一大集合类型-Map

所谓的Map:指的是使用键值对(key-value)存储,类似于数学上的函数 y=f(x),"x" 代表 key,"y" 代表 value,key 是无序的、不可重复的,value 是无序的、可重复的,每个键最多映射到一个值上的一种数据存储结构。

那么在Map的世界里,大概是这样的一个父子继承图谱(不完全),而在日常的开发过程中,使用最多且面试时被问到的频率最高的集合类型要数HashMap,那么好,接下来我们就一起以HashMap来作为开篇,来一起学习一下Map!

image.png

HashMap

HashMap是典型的Map类型集合,包含了太多面试考点,我们尽量在这一篇文章中给讲完、讲透,所以文章会有点长,希望小伙伴们能够保持耐心阅读完,有存在问题的地方,可以提出来,咱们一起讨论,有写错的地方也请指出来,build哥有错就改!
首先,我们先来通过一个小示例,看一下HashMap的增删改查如何使用哈

【代码示例1】

public class Test {
   
   
    public static void main(String[] args) {
   
   
        HashMap<String, Integer> map = new HashMap<>();
        //增
        map.put("xiaoming", 18);
        map.put("xiaohua", 19);
        //删
        map.remove("xiaohua");
        //改
        map.put("xiaoming", 20);
        //查
        Integer xiaoming = map.get("xiaoming");
        System.out.println("xiaoming的年龄:"+xiaoming);
        //遍历Map
        for (String s : map.keySet()) {
   
   
            System.out.println(s);
            System.out.println(map.get(s));
        }
    }
}

输出:

xiaoming的年龄:20
xiaoming
20

总体来说,HashMap的存储原理就是基于哈希表的数组,只不过这个数组的每个元素中存储的可能是键值对,可能是链表,可能是红黑树,我们在存储键值对的时候(put方法),通过计算键(key)的哈希值找到对应的数组下标,然后将对应的值(value)存入。

这里提到的哈希值可不是简单的重写hashcode()所算出的结果,而是经过扰动之后的结果,通过研究HashMap的底层我们可以获得答案!

HashMap的哈希值实现原理?

穿透到HashMap的底层后,我们第一个要寻到答案的就是:哈希值的计算原理
第一步:在存储键值对时,我们跟进put()方法的源码中去一探究竟。

【源码解析1】

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

从put方法的底层中我们可以看到hash()方法的身影,JDK1.8中的hash方法源码如下:

【源码解析2】

    static final int hash(Object key) {
   
   
      int h;
      // key.hashCode():返回散列值也就是hashcode
      // ^:按位异或
      // >>>:无符号右移,忽略符号位,空位都以0补齐
      return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
  }

在hash()方法通过一个三目运算符也进行返回值的处理,当key为null时,直接返回一个0值,否则则对key进行hashCode()散列码的计算,并将其与无符号右移16位之后的散列码异或运算。

  • ^ 运算符: 异或运算符是Java中的一种位运算符,它用于将两个数的二进制位进行比较,如果相同则为0,不同则为1。
  • h >>> 16: 将散列码向右移动16位,int类型的h为32位,为2的32次方,而无符号右移,相当于除以2的16次方,因此是将原来的h值分成了两个16位的部分。

经过这一道算法加工,大大的提高了hash值的扰动,使得key能够尽可能分散的存储,有效的减少了哈希碰撞

如何计算找到key在数组中的位置?

虽然在上面我们已经知道了key的哈希值计算原理,但我们仍然没有看到如何将key存入HashMap底层的数组(初始容量为16的数组)中的,我们进入到源码解析1中的putVal()中一看便知!

【源码解析3】

final V putVal(int hash, K key, V value, boolean onlyIfAbsent, boolean evict) {
   
   
    // 数组
    HashMap.Node<K,V>[] tab; 
    // 元素
    HashMap.Node<K,V> p; 

    // n 为数组的长度 i 为下标
    int n, i;
    // 数组为空的时候
    if ((tab = table) == null || (n = tab.length) == 0)
        // 第一次扩容后的数组长度
        n = (tab = resize()).length;
    // 计算节点的插入位置,如果该位置为空,则新建一个节点插入
    if ((p = tab[i = (n - 1) & hash]) == null)
        tab[i] = newNode(hash, key, value, null);
}

源码中通过(n - 1) & hash 获取key最终在HashMap中的存储的数组下标位置,也就是数组长度减一和hash值进行与运算。
这里其实有一个很细小的知识点,在很多Java面试时被提及,就是

为什么采用位运算而不是直接进行取余操作(符号:%)。

首先,我们先来解释一下为什么需要进行这一步的操作,在上面我们提到哈希值其实是一个int类型,4字节,范围从-2147483648 到 2147483648,这里足足有40亿个映射空间,经过右移和异或操作后,理论上的哈希碰撞(哈希碰撞)概率很小,但40亿长度的数组,得多大的内存来存储?这显然是不现实的,而又因为HashMap的初始数组长度位16,所以要进行一定的操作,让最终的结果值在0~15之间。

那么好!现在又有个问题:为什么要用与运算,而不是%呢?
理由很简单:由于位运算直接对内存数据进行操作,不需要转成十进制,处理速度非常快。
什么!你不信?OK!咱们写一个测试类验证一下!

【代码示例2】

public class Test {
   
   
    public static void main(String[] args) {
   
   
        test1();
        test2();
    }
    public static void test1() {
   
   
        int number = Integer.MAX_VALUE;
        int a = 1;
        long start = System.currentTimeMillis();

        for (int i = 1; i < number; i++) {
   
   
            a %= i;
        }
        long end = System.currentTimeMillis();
        System.out.println("第1种" +(end - start) + "毫秒");
    }

    public static void test2() {
   
   
        int number = Integer.MAX_VALUE;
        int a = 1;
        long start2 = System.currentTimeMillis();
        for (int i = 1; i < number; i++) {
   
   
            a &= i;
        }
        long end2 = System.currentTimeMillis();
        System.out.println("第2种" + (end2 - start2) + "毫秒");
    }
}

输出:

19290毫秒
第2565毫秒

结果很明显,&预算的耗时要远远小于取余%!
现在我们解释了选取&的原因,那怎么样采用实现取余数的操作呢?当b为2的幂次方时,伟大的前人们发现了这个公式:a%b = a&(b-1)
验证计算:

image.png

到这里,key的值在HashMap中的位置存储就讲完啦。

JDK1.8中为什么由数组+链表改为数组+链表+红黑树?

我们在上面所看到的源码其实都是JDK1.8的,在此之前的HashMap底层采用的是数组+链表形式,我们以JDK1.7为例,当存入一个键值对,会通过扰动函数(hash())尽可能减少碰撞,找到数组对应位置后,若无元素,则直接存入键值对,若有元素,则判断和存入的key值是否相同(重写equals()方法),若相同,则进行值覆盖,若不相同,则通过 拉链法 解决冲突。

所谓 “拉链法” 就是:将链表和数组相结合。也就是说创建一个链表数组,数组中每一格就是一个链表。若遇到哈希冲突,则将冲突的值加到链表中即可。
image.png

相较于JDK1.7而言,1.8的升级除了优化了hash()方法外,最主要的是在解决哈希冲突的方式上进行了大改造,发生冲突时依旧采用链表向后存储,但当链表长度大于阈值(默认为 8)(将链表转换成红黑树前会判断,如果当前数组的长度小于 64,那么会选择先进行数组扩容,而不是转换为红黑树)时,将链表转化为红黑树,以减少搜索时间。
image.png

之所以选择红黑树,是为了解决二叉查找树在某些场合下退化成一个线性结构的缺陷。
我们可以继续查看底层putVal()的部分源码片段

【源码解析4】

// 遍历链表
for (int binCount = 0; ; ++binCount) {
   
   
    // 遍历到链表最后一个节点
    if ((e = p.next) == null) {
   
   
        p.next = newNode(hash, key, value, null);
        // 如果链表元素个数大于等于TREEIFY_THRESHOLD(8)
        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;
}

可以看到,当链表的元素个数大于等于8时,调用 treeifyBin(tab, hash)向红黑树转换,那我们继续跟入这个方法查看。

【源码解析5】

final void treeifyBin(Node<K,V>[] tab, int hash) {
   
   
    int n, index; Node<K,V> e;
    // 判断当前数组的长度是否小于 64
    if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY)
        // 如果当前数组的长度小于 64,那么会选择先进行数组扩容
        resize();
    else if ((e = tab[index = (n - 1) & hash]) != null) {
   
   
        // 否则才将链表转换为红黑树

        TreeNode<K,V> hd = null, tl = null;
        do {
   
   
            TreeNode<K,V> p = replacementTreeNode(e, null);
            if (tl == null)
                hd = p;
            else {
   
   
                p.prev = tl;
                tl.next = p;
            }
            tl = p;
        } while ((e = e.next) != null);
        if ((tab[index] = hd) != null)
            hd.treeify(tab);
    }
}

在treeifyBin方法中,先进行数组长度的判断,当长度小于64的时候 ,会先进行数组的扩容,当长度大于等于64时,才将链表转换为红黑树。

HashMap的扩容机制?

上面提到了扩容,我们从源码中可以看到,HashMap的扩容是通过resize()方法实现,我们继续跟进源码去看。

【源码解析6】

final Node<K,V>[] resize() {
   
   
    Node<K,V>[] oldTab = table; // 获取原来的数组 table
    int oldCap = (oldTab == null) ? 0 : oldTab.length; // 获取数组长度 oldCap
    int oldThr = threshold; // 获取阈值 oldThr
    int newCap, newThr = 0;
    if (oldCap > 0) {
   
    // 如果原来的数组 table 不为空
        if (oldCap >= MAXIMUM_CAPACITY) {
   
    // 超过最大值就不再扩充了,就只好随你碰撞去吧
            threshold = Integer.MAX_VALUE;
            return oldTab;
        }
        else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY && // 没超过最大值,就扩充为原来的2倍
                 oldCap >= DEFAULT_INITIAL_CAPACITY)
            newThr = oldThr << 1; // double threshold
    }
    else if (oldThr > 0) // 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);
    }
    // 计算新的 resize 上限
    if (newThr == 0) {
   
   
        float ft = (float)newCap * loadFactor;
        newThr = (newCap < MAXIMUM_CAPACITY && ft < (float)MAXIMUM_CAPACITY ?
                  (int)ft : Integer.MAX_VALUE);
    }
    threshold = newThr; // 将新阈值赋值给成员变量 threshold
    @SuppressWarnings({
   
   "rawtypes","unchecked"})
        Node<K,V>[] newTab = (Node<K,V>[])new Node[newCap]; // 创建新数组 newTab
    table = newTab; // 将新数组 newTab 赋值给成员变量 table
    if (oldTab != null) {
   
    // 如果旧数组 oldTab 不为空
        for (int j = 0; j < oldCap; ++j) {
   
    // 遍历旧数组的每个元素
            Node<K,V> e;
            if ((e = oldTab[j]) != null) {
   
    // 如果该元素不为空
                oldTab[j] = null; // 将旧数组中该位置的元素置为 null,以便垃圾回收
                if (e.next == null) // 如果该元素没有冲突
                    newTab[e.hash & (newCap - 1)] = e; // 直接将该元素放入新数组
                else if (e instanceof TreeNode) // 如果该元素是树节点
                    ((TreeNode<K,V>)e).split(this, newTab, j, oldCap); // 将该树节点分裂成两个链表
                else {
   
    // 如果该元素是链表
                    Node<K,V> loHead = null, loTail = null; // 低位链表的头结点和尾结点
                    Node<K,V> hiHead = null, hiTail = null; // 高位链表的头结点和尾结点
                    Node<K,V> next;
                    do {
   
    // 遍历该链表
                        next = e.next;
                        if ((e.hash & oldCap) == 0) {
   
    // 如果该元素在低位链表中
                            if (loTail == null) // 如果低位链表还没有结点
                                loHead = e; // 将该元素作为低位链表的头结点
                            else
                                loTail.next = e; // 如果低位链表已经有结点,将该元素加入低位链表的尾部
                            loTail = e; // 更新低位链表的尾结点
                        }
                        else {
   
    // 如果该元素在高位链表中
                            if (hiTail == null) // 如果高位链表还没有结点
                                hiHead = e; // 将该元素作为高位链表的头结点
                            else
                                hiTail.next = e; // 如果高位链表已经有结点,将该元素加入高位链表的尾部
                            hiTail = e; // 更新高位链表的尾结点
                        }
                    } while ((e = next) != null); //
                    if (loTail != null) {
   
    // 如果低位链表不为空
                        loTail.next = null; // 将低位链表的尾结点指向 null,以便垃圾回收
                        newTab[j] = loHead; // 将低位链表作为新数组对应位置的元素
                    }
                    if (hiTail != null) {
   
    // 如果高位链表不为空
                        hiTail.next = null; // 将高位链表的尾结点指向 null,以便垃圾回收
                        newTab[j + oldCap] = hiHead; // 将高位链表作为新数组对应位置的元素
                    }
                }
            }
        }
    }
    return newTab; // 返回新数组
}

这个方法还是比较复杂的,由此可以看出HashMap的扩容还是比较耗时的,会伴随着数组的重新分配,旧数组的拷贝,数组容量的判断等等。

这里面我们可以发现每次新数组长度 newCap,是由oldCap << 1得到,因此每次扩容都是原来数组容量的2倍,默认初始容量为16,始终保持着2的幂次方大小,只有这样才能满足(n - 1) & hash的算法。

负载因子为什么去0.75?

很多面试官会问为什么要把DEFAULT_LOAD_FACTOR设为0.75?

其实,loadFactor 太大导致查找元素效率低,太小导致数组的利用率低,存放的数据会很分散。loadFactor 的默认值为 0.75f 是官方给出的一个比较好的临界值。可以百度统计学中的泊松分布原理,这里就不贴内容了。

【扩展】

loadFactor 负载因子是控制数组存放数据的疏密程度,loadFactor 越趋近于 1,那么 数组中存放的数据(entry)也就越多,也就越密,也就是会让链表的长度增加,loadFactor 越小,也就是趋近于 0,数组中存放的数据(entry)也就越少,也就越稀疏。

为什么线程不安全?

这个其实很好解释,对于HashMap而言,它的扩容也罢,put/get方法也罢,均没有任何加锁操作,这就意味着在多线程情况下,会带来风险。

风险1: put的时候导致元素丢失;如两个线程同时put,且key值相同的情况下,后一个线程put操作覆盖了前一个线程的操作,导致前一个线程的元素丢失。
风险2: put 和 get 并发时会导致 get 到 null;若一个线程的put操作触发了数组的扩容,这时另外一个线程去get,因为扩容的操作很耗时,这时有可能会卡死或者get到null。
风险3: 多线程下扩容会死循环;多线程下触发扩容时,因为前一个线程已经破坏了原有链表结构,后一个线程再去读取节点,进行链接的时候,很可能发生顺序错乱,从而形成一个环形链表,进而导致死循环。

总结

哎呀,妈呀!陆陆续续的写了3天,中间老是有工作琐事打断,每天抽空写一点,终于总结完了HashMap,大致的覆盖了HashMap的常见面试题,很多细节可能还是不足,后面有时间了再进行补充哈,多担待。

结尾彩蛋

如果本篇博客对您有一定的帮助,大家记得留言+点赞+收藏呀。原创不易,转载请联系Build哥!

image.png

目录
相关文章
|
2天前
|
监控 Java 应用服务中间件
高级java面试---spring.factories文件的解析源码API机制
【11月更文挑战第20天】Spring Boot是一个用于快速构建基于Spring框架的应用程序的开源框架。它通过自动配置、起步依赖和内嵌服务器等特性,极大地简化了Spring应用的开发和部署过程。本文将深入探讨Spring Boot的背景历史、业务场景、功能点以及底层原理,并通过Java代码手写模拟Spring Boot的启动过程,特别是spring.factories文件的解析源码API机制。
14 2
|
1月前
|
算法 Java 容器
Map - HashSet & HashMap 源码解析
Map - HashSet & HashMap 源码解析
52 0
|
3天前
|
存储 网络协议 安全
30 道初级网络工程师面试题,涵盖 OSI 模型、TCP/IP 协议栈、IP 地址、子网掩码、VLAN、STP、DHCP、DNS、防火墙、NAT、VPN 等基础知识和技术,帮助小白们充分准备面试,顺利踏入职场
本文精选了 30 道初级网络工程师面试题,涵盖 OSI 模型、TCP/IP 协议栈、IP 地址、子网掩码、VLAN、STP、DHCP、DNS、防火墙、NAT、VPN 等基础知识和技术,帮助小白们充分准备面试,顺利踏入职场。
13 2
|
14天前
|
存储 NoSQL MongoDB
MongoDB面试专题33道解析
大家好,我是 V 哥。今天为大家整理了 MongoDB 面试题,涵盖 NoSQL 数据库基础、MongoDB 的核心概念、集群与分片、备份恢复、性能优化等内容。这些题目和解答不仅适合面试准备,也是日常工作中深入理解 MongoDB 的宝贵资料。希望对大家有所帮助!
|
22天前
|
存储 Java 程序员
Java面试加分点!一文读懂HashMap底层实现与扩容机制
本文详细解析了Java中经典的HashMap数据结构,包括其底层实现、扩容机制、put和查找过程、哈希函数以及JDK 1.7与1.8的差异。通过数组、链表和红黑树的组合,HashMap实现了高效的键值对存储与检索。文章还介绍了HashMap在不同版本中的优化,帮助读者更好地理解和应用这一重要工具。
46 5
|
19天前
|
缓存 前端开发 JavaScript
"面试通关秘籍:深度解析浏览器面试必考问题,从重绘回流到事件委托,让你一举拿下前端 Offer!"
【10月更文挑战第23天】在前端开发面试中,浏览器相关知识是必考内容。本文总结了四个常见问题:浏览器渲染机制、重绘与回流、性能优化及事件委托。通过具体示例和对比分析,帮助求职者更好地理解和准备面试。掌握这些知识点,有助于提升面试表现和实际工作能力。
53 1
|
23天前
|
存储 Java API
详细解析HashMap、TreeMap、LinkedHashMap等实现类,帮助您更好地理解和应用Java Map。
【10月更文挑战第19天】深入剖析Java Map:不仅是高效存储键值对的数据结构,更是展现设计艺术的典范。本文从基本概念、设计艺术和使用技巧三个方面,详细解析HashMap、TreeMap、LinkedHashMap等实现类,帮助您更好地理解和应用Java Map。
40 3
|
1月前
|
存储
让星星⭐月亮告诉你,HashMap的put方法源码解析及其中两种会触发扩容的场景(足够详尽,有问题欢迎指正~)
`HashMap`的`put`方法通过调用`putVal`实现,主要涉及两个场景下的扩容操作:1. 初始化时,链表数组的初始容量设为16,阈值设为12;2. 当存储的元素个数超过阈值时,链表数组的容量和阈值均翻倍。`putVal`方法处理键值对的插入,包括链表和红黑树的转换,确保高效的数据存取。
53 5
|
19天前
|
数据管理 Nacos 开发者
"Nacos架构深度解析:一篇文章带你掌握业务层四大核心功能,服务注册、配置管理、元数据与健康检查一网打尽!"
【10月更文挑战第23天】Nacos 是一个用于服务注册发现和配置管理的平台,支持动态服务发现、配置管理、元数据管理和健康检查。其业务层包括服务注册与发现、配置管理、元数据管理和健康检查四大核心功能。通过示例代码展示了如何在业务层中使用Nacos,帮助开发者构建高可用、动态扩展的微服务生态系统。
62 0
|
1月前
|
存储 算法 安全
HashMap常见面试题(超全面):实现原理、扩容机制、链表何时升级为红黑树、死循环
HashMap常见面试题:红黑树、散列表,HashMap实现原理、扩容机制,HashMap的jd1.7与jdk1.8有什么区别,寻址算法、链表何时升级为红黑树、死循环

推荐镜像

更多