什么?HashMap竟然也有懒加载?

不花时间的导读:这是《好好面试系列》第28篇原创文,该系列主要分享小饭饭面试别人、和被别人面试的经历,该篇文章主要分享HashMap高频面试题,有兴趣的看看,已经知道的可以无视。

前几天H同学和我聊了下去谷歌的面试经验,令我诧异的是,没想到谷歌也问集合之后,我便觉得需要再整理一波集合相关的了。

看文章前可以先看看以下高频考点,如果觉得莫得问题,可以直接跳过该篇文章了,不用浪费时间。

  • new HashMap() 和 new HashMap(int initialCapacity) ,具体有什么区别?

  • HashMap中的数据多于多少个时才会进行扩容?

  • HashMap中的链表结构什么时候转成红黑树?一定会转吗?

  • 红黑树结构又什么时候才会转回链表?

  • 说说看HashMap的懒加载?负载因子的作用?

特征解析

  • 为了搞清楚一个概念,这篇文章引入竹篮和鸡蛋的概念,缓存的数据就是鸡蛋,而节点就是竹篮,HashMap底层是一个竹篮数组,每个竹篮是一个链表或者红黑树的结构,每个竹篮也可以放多个鸡蛋,因此其实可以当成二维数组来看待,只是在这里的第二维数组是一个链表或者红黑树,至于这个竹篮的结构是链表还是红黑树,就看竹篮内的的鸡蛋个数有多少,并且链表和红黑树之间可以进行转换。

  • 通过散列函数将鸡蛋定位到表中的具体竹篮,以提升查询速度,其底层用于存放数据的数组也叫散列表。所谓散列函数,简单来说就是将一个无限大的集合(在 HashMap 中,key值是一个无限大集合),经过 hash 运算取模,均匀的分布在一个有限的集合(我们定义的哈希表容量,比如长度 16 的数组)

源码解析

成员变量和常量
static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // 默认的初始容量,预计所有竹篮累计可以放16个鸡蛋
static final int MAXIMUM_CAPACITY = 1 << 30; // 最大容量,所有竹篮最多可以放多少个鸡蛋
static final float DEFAULT_LOAD_FACTOR = 0.75f; // 默认加载因子,装逼用,一般都会在应用探讨bb的时候提一嘴
static final int TREEIFY_THRESHOLD = 8;  // 单个竹篮放的鸡蛋个数超过8转红黑树
static final int UNTREEIFY_THRESHOLD = 6; // 单个竹篮放的鸡蛋个数小于6则转链表
static final int MIN_TREEIFY_CAPACITY = 64; // 如果竹篮个数小于64个,会先进行扩容,而不会链表转红黑树

transient Node<K,V>[] table;  // 哈希表数组,存储数据的地方,每个竹篮结构可能为链表或者红黑树,总是2的幂次倍
transient Set<Map.Entry<K,V>> entrySet; // 存放具体元素的集合,可用于遍历Map
transient int size; // 总的鸡蛋个数
transient int modCount;  // 插入删除元素,modCount++,用于记录改变次数
int threshold; // 容量阈值,所有竹篮允许缓存鸡蛋的个数,超过这个值需要扩容,默认为0,看看后续是如何变化的,对理解扩容那块很重要
final float loadFactor; // 加载因子,能够权衡时间复杂度和空间复杂度

笔试or面试需要记住几个死记硬背的点,那就是:hashmap的默认初始容量为16,加载因子是0.75,链表长过8则转红黑树,小于6则转链表,容量低于64则先扩容,而不会链表转红黑树。

看看构造方法

HashMap有四个构造方法,这里只列出我们常用的两个

  • 第一个是默认构造方法,我们不指定默认所有竹篮累计可以放16个鸡蛋

  • 第二个是指定初始容量,也是我们比较推荐的做法,根据需要设置大小,避免后面resize扩容开销

日常开发中如果知道大小,我们都会用第二种,可以避免resize扩容开销,新手开发经常会直接用第一种,一般我review代码看到都会直接打回改,然后告诉他们为啥,想想看,如果你已经知道这个map容器要装的元素是100个,你还不指定初始容量,那么就会导致在第一次put数据的时候进行扩容,此时第一次扩容因为没有初始容量,计算出的容量阈值为默认大小16,16*加载因子0.75f就是12,之后当你继续put值超过12个的时候又会继续扩容,第二次扩容后容量阈值为24,循环刚刚的过程直到容量阈值大于100,而如果指定了默认大小则第一次扩容就够用了,不用走后面那么多次扩容,可以节省性能;

其次是命名也要注意下,最好是直接用Map结合,比如xxxMap,这是规范。

扩容

我们先回顾下上面的一个成员变量threshold

「int threshold; // 容量阈值,所有竹篮允许放入鸡蛋的个数」

ok了,继续讲扩容,扩容分为多种情况

  • 如果我们使用了无参构造方法,可以看到

image-20210228222422690

其中并未对成员变量threshold容量阈值进行初始化,反调threshold赋值的地方可以看到在put第一个元素的时候会调用resize方法,该方法有做了容量阈值的计算,计算方式为:DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY,也就是默认的加载因子 * 默认容量,即 0.75f * 16,即12

  • 如果指定了初始容量

    image-20210302232344781
    image-20210302232401052

    可以看到初始容量阈值的计算公式是:

image-20210228231940043

这么一坨东西是啥呢,其实就是一个算法,看不懂也莫得关系,毕竟我也看不懂,记住就好,这个算法其实就是返回大于输入参数且最近的2的整数次幂的数,比如设置的初始容量为10,那么这个算法则返回16。

但是,到了这里其实也并没有分配好数组,可以看到resize方法,其实也是在put的时候才会真正进行数组的分配,也就是懒加载了。

  • 二次扩容,最终都会走向resize方法,每次扩容量都会是原先的2倍。

我们可以看看resize方法

final Node<K,V>[] resize() {
        Node<K,V>[] oldTab = table;
        int oldCap = (oldTab == null) ? 0 : oldTab.length;
        int oldThr = threshold;
        int newCap, newThr = 0;
        if (oldCap > 0) {
            // 如果竹篮个数大于最大容量,则将容量阈值设置成int的最大值
            if (oldCap >= MAXIMUM_CAPACITY) {
                threshold = Integer.MAX_VALUE;
                return oldTab;
            }
           // 否则新阈值为旧阈值两倍
            else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
                     oldCap >= DEFAULT_INITIAL_CAPACITY)
                newThr = oldThr << 1;
        }
        else if (oldThr > 0) 
            newCap = oldThr;
        else {              
           // 只有默认无参构造方法才会走到这个分支,阈值为默认算法,容量 * 0.75
            newCap = DEFAULT_INITIAL_CAPACITY;
            newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);
        }
        if (newThr == 0) {
            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;
        if (oldTab != null) {
        // 轮询操作,对所有元素重哈希
        for (int j = 0; j < oldCap; ++j) {
            Node<K,V> e;
            if ((e = oldTab[j]) != null) {
                oldTab[j] = null;
                if (e.next == null)
                    newTab[e.hash & (newCap - 1)] = e;
                else if (e instanceof TreeNode)
                    // 竹篮内内的鸡蛋数据重hash,红黑树转链表的地方,内部处理主要是当竹篮内的鸡蛋个数小于等于6时,树结构会还原成链表
                    ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
                else { // preserve order
                    // 略:链表元素重hash
                }
            }
        }
    }
    return newTab;
}

HashMap扩容可以分为三种:

  • 使用默认构造方法初始化HashMap,从前文可以知道HashMap在一开始初始化的时候thershold容量阈值为0,默认值DEFAULT_INITIAL_CAPACITY也就是16,DEFAULT_LOAD_FACTOR为0.75f,因此在第一次put数据的时候会进行扩容,扩容后的容量阈值threshold为DEFAULT_INITIAL_CAPACITY * DEFAULT_LOAD_FACTOR = 12;

  • 指定初始容量的构造方法初始化HashMap,可以看到在初始化的时候便通过tableSizeFor进行计算,也就是返回大于输入参数且最近的2的整数次幂的数;

  • 当HashMap不是第一次扩容的时候,那么每次扩容的容量以及容量阈值threshold为原有的两倍。

hash计算
image-20210302233600071

HashCode是啥其实大家都知道,无非就是用来确定对象在HashMap中的存储地址,目的也很简单,为了快,貌似除了了那方面,其他都是越快越好,比如赚钱。

元素插入

我们先回顾下上面的一个成员变量table

「itransient Node<K,V>[] table; // 哈希表数组,存储数据的地方,每个竹篮结构可能为链表或者红黑树,总是2的幂次倍」

 
final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                boolean evict) {
    Node<K,V>[] tab; Node<K,V> p; int n, i;
    // 这里如果发现动态数组为null则会初始化数组。
    if ((tab = table) == null || (n = tab.length) == 0)
        // 第一次放入值时会在这里初始化数组,并且通过resize方法进行扩容
        n = (tab = resize()).length;
    // 通过hash发现要放入的鸡蛋的数组位置为null,说明没有hash冲突,则直接把该鸡蛋放在这里即可
    if ((p = tab[i = (n - 1) & hash]) == null)
        tab[i] = newNode(hash, key, value, null);
    else {
        // 如果要放入的位置已经有该鸡蛋了
        Node<K,V> e; K k;
        // 判断竹篮的第一个鸡蛋否和新元素key以及hash值都完全一致,如果是则不用看代码都知道进行覆盖,覆盖的逻辑在后面
        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);
                    //  判断链表长度是否大于8,这里其实减后为7,判断的是binCount,但是因为插入了一个新节点了,所以其实为8
                    if (binCount >= TREEIFY_THRESHOLD - 1) 
                        // 则将列表转为红黑树,所以记住大于8的时候会转成红黑树
                        treeifyBin(tab, hash);
                    break;
                }
                // 已经找到了hash值和key一样的,则直接break,不用找了,同样在后面进行覆盖
                if (e.hash == hash &&
                    ((k = e.key) == key || (key != null && key.equals(k))))
                    break;
                p = e;
            }
        }

        // 覆盖操作在这里,新值和旧值的key完全相同,进行覆盖操作
        if (e != null) { 
            V oldValue = e.value;
            if (!onlyIfAbsent || oldValue == null)
                e.value = value;
            // 访问后回调
            afterNodeAccess(e);
            return oldValue;
        }
    }
    ++modCount;
    // 当map中所有的鸡蛋个数大于容量阈值时则进行扩容,二次扩容如上面所说,也就是两倍
    if (++size > threshold)
        resize();
    afterNodeInsertion(evict);
    return null;
}
final void treeifyBin(Node<K,V>[] tab, int hash) {
    int n, index; Node<K,V> e;
    // 当tab为空或者竹篮个数小于64个,会先进行扩容,而不会链表转红黑树
    if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY)
        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);
    }
}

put总体流程汇总如下:

image-20210304230656760

罗列几个该注意的点,分别是:

  • HashMap中缓存数据的数组table,我们可以看到初始化的时候默认是null,是在第一次put数据的时候才进行初始化的,这也是所谓的懒加载,记住了,不要每次提HashMap的懒加载机制都二脸懵逼了。

  • HashMap中单个竹篮存放的鸡蛋个数大于8,并且当竹篮个数大于64个的时候则将列表转为红黑树,否则进行扩容。

  • 每次put数据时当map中存放的所有鸡蛋个数大于容量阈值时则进行扩容,并且是先put数据,再扩容。

元素查询
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) {
       // 如果计算hash值和第一个节点的key值相同,直接返回
        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 {
               //如果hash值相同,key不同,则遍历链表找到相同的key,返回
                if (e.hash == hash &&
                    ((k = e.key) == key || (key != null && key.equals(k))))
                    return e;
            } while ((e = e.next) != null);
        }
    }
    return null;
}

查找这里,总结下来流程便是:

  • 根据hash值从竹篮数组内找到竹篮,判断头节点key值与当前key相同,直接返回

  • 如果该竹篮为TreeNode节点,以红黑树方式查找

  • 如果不是则循环遍历链表,直到查到对应的key相同

元素删除
final Node<K,V> removeNode(int hash, Object key, Object value,
                               boolean matchValue, boolean movable) {
        Node<K,V>[] tab; Node<K,V> p; int n, index;
        if ((tab = table) != null && (n = tab.length) > 0 &&
            (p = tab[index = (n - 1) & hash]) != null) {
            Node<K,V> node = null, e; K k; V v;
            if (p.hash == hash &&
                ((k = p.key) == key || (key != null && key.equals(k))))
                node = p;
            else if ((e = p.next) != null) {
               //红黑树的查找方式
                if (p instanceof TreeNode)
                    node = ((TreeNode<K,V>)p).getTreeNode(hash, key);
                else {
                   //链表遍历查找方式
                    do {
                        if (e.hash == hash &&
                            ((k = e.key) == key ||
                             (key != null && key.equals(k)))) {
                            node = e;
                            break;
                        }
                        p = e;
                    } while ((e = e.next) != null);
                }
            }
           //删除node
            if (node != null && (!matchValue || (v = node.value) == value ||
                                 (value != null && value.equals(v)))) {
               //如果node为红黑树结点,采用红黑树删除方式
                if (node instanceof TreeNode)
                    ((TreeNode<K,V>)node).removeTreeNode(this, tab, movable);
               // 如果是链表并且node为头结点,当前数组下标元素直接替换为next
                else if (node == p)
                    tab[index] = node.next;
                else
                   //链表非头元素删除方式
                    p.next = node.next;
                ++modCount;
                --size;
                afterNodeRemoval(node);
                return node;
            }
        }
        return null;
    }

删除操作很简单,先根据hash找到对应鸡蛋,然后根据不同类型的节点进行删除,没什么注意的点,如果有,那就是如果是链表表头的话,则需要将下一个节点赋值为表头。

最后,对开头几道题的标准答案拿不准的,先给文章点个赞、再点个在看,然后后台输入:HashMap 

《好好面试》系列文目前已经连载27篇啦,

相信我,这是一个不管你在职、求职,都值得关注的一个系列。

往期推荐

万万没想到!!! 谷歌面试原来也问ArrayList

为什么要破坏双亲委派模型,它不香吗?

阿里高频面试题,热部署了解吗?

Σ(っ°Д°;)っ找个对象"Object"还要用八股文?

《面试八股文》之Dubbo17卷

第一次面试,我差点被面试官打,就因为Collections.sort

高级开发竟然被构造器循环依赖难住了?

肥肥的主管和帅气的小饭饭讨论了下ForkJoinPool

聊聊Autowired的常考面试题

面试官告诉你什么是JMM和常考面试题

去年面了多个候选人,看看我挖的坑还有他们应该要补的Java基础(二)

去年面了多个候选人,看看我挖的坑还有他们应该要补的Java基础(一)

list中for循环删除多个元素为何报错?

手把手带你阅读源码,看看IoC容器的实现

【好好面试】学完Aop,连动态代理的原理都不懂?

你必须要懂的Spring-Aop之源码跟踪分析Aop

【好好面试】你必须要懂的Spring-Aop

你所不知道的HelloWorld背后的原理

连引用都答不上,凭什么说你是Java服务端开发

小饭饭:某游戏大厂高级开发,专门和主管抬杠的小组长。

目前写了三个系列文《全网最全的Caffeine教程》《一起玩dubbo》《好好面试》《好好面试》分享了自己多年来面试别人和被别人面试的经验,有兴趣看面经、学dubbo和Caffeine的可以微信搜:稀饭下雪

对你有用是这篇文章值得被分享的唯一标准

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值