【DS】常考面题之如何理解HashMap与HashSet的底层原理

一. HashMap底层原理

HashMap是Java集合框架中Map容器的一个实现类, jdk7中采用数组+链表实现,在jdk8中采用数组+链表+红黑树实现; 这里基于jdk1.8的源码进行分析,JDK1.7 使用的是头插法 1.8后使用的是尾插法

1. HashMap的属性

HashMap对象被构造时,初始的默认容量为1<<4,也就是16,并且必须是2的幂

HashMap最大的容量为1<<30, 也就是2 ^ 30

HashMap默认的负载因子为0.75

链表树化的最小链表大小阈值8,当HashMap中数组大于64 且 数组所挂链表的大小超过8才会将数组所挂的链表转换为红黑树

红黑树链表化的的阈值是6,当红黑树结点个数小于6时,就会转换为链表;

HashMap底层是一个链表数组

元素个数阈值,当HashMap的size大于threshold时会执行resize()操作,hreshold=capacity*loadFactor,其中capacity表示数组的容量。

2. HashMap的构造方法

HashMap最常用的构造方法,一个是无参的构造方法,使用无参构造方法构造HashMap时(构造具有默认初始容量(16)和默认加载因子(0.75)的空HashMap)

还有一个是指定容量的构造方法,并且所取容量为大于或等于指定容量的一个最接近的2次幂数,比如我们指定容量为19,那实际构造容量为32;

注意调用构造方法时并不是真的就为数组申请空间了, 只是指定了了大小 , 也就是说当HashMap对象创建时,内部的数组并没有分配内存.

下面的是指定容量和负载因子的构造方法,其中tableSizeFor(initialCapacity)方法会生成比initialCapacity大并最接近initialCapacity的一个2次幂

从源码可以看出其实在使用以上三种构造方法进行对象构造的时候,并没有为数组分配空间,只是确定负载因子,容量等属性。

还有一个根据其他的Map对象构造HashMap的构造方法,使用这种方式构造,只要传入的参数有元素,那么就会申请空间。

3. 给HashMap分配内存的时机

真正为数组分配内存是在第一次put操作的时候,

putVal其中第一个参数是通过哈希函数 hash() 返回的哈希值;

如果是第一次插入,就会对链表数组进行扩容,此时才正式地给数组分配内存:

在resize()方法中,会为数组分配内存

4. HashMap中的put

如果是首次扩容,先判断数组是否为空,若数组为空则进行第一次扩容(resize),会为HashMap对象申请一个默认容量大小16的数组。

1.通过hash()方法计算索引,找到在数组中的位置。

2.插入数据,分以下几种情况:

  • 如果当前位置元素为空,则直接插入数据;

  • 如果当前位置元素非空,遍历链表或红黑树,如果key已存在,则直接覆盖其value;

  • 如果当前位置元素非空,遍历链表或红黑树,如果key不存在,则将数据链尾插到链表;

  • 若链表长度达到8,并且HashMap中的table数组大小达到64,则将链表转换成红黑树,并将数据插入树中,如果链表长度达到8但是table数组大小没有64, 则将数组扩容;

3.检查存储的元素个数,如果超过阈值threshold,则扩容。这一步其实也就是检查负载因子是否超过默认值,超过就扩容。

5. HashMap中的哈希函数

hash的时候并不会直接调用hashCode方法,HashMap中的hash()方法,首先会根据key计算出hashCode值,然后再将hashCode值与右移16为的hashCode值进行按位异或操作,得到一个新的哈希值,这样让低16位和高16位都参与了运算, 目是让哈希值更随机更均匀, 降低低冲突率.

static final int hash(Object key) {
        int h;
        return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
        //右移16位 再进行异或运算
        例如       h : 1001 0100 1010 0110 0011 1100 1000 0001
        右移16位后   : 0000 0000 0000 0000 1001 0100 1010 0110
        再进行异或   : 1001 0100 1010 0110 1010 1000 0010 0111 
        这样高位也参与了hash运算
    }
  • 与(&) : 两个是1才是1

  • 异或(^):相同为0,不同为1

  • 或(|) :只要有一个是1就是1

在调用put, get等方法时会去找到某个key所对应的数组索引,HashMap不是通过直接取数组长度的模来得到对应的下标,取而代之的是使用按位与&运算来进行下标的计算,位运算的效率是大于取模%操作的。

在jdk8源码中,使用h&(n-1)来获取对应table数组的索引(下标)

6. HashMap的扩容机制

HashMap中table数组初始默认大小为16,在jdk8中,HashMap的扩容,采用了2倍扩容。

当HashMap对象中元素个数size大于threshold或者数组为null时会扩容resize()

为了解决哈希冲突,jdk8采用了数组+链表+红黑树的方式实现,当数组中某链表的长度大于8,并且数组table的长度达到64,就会将链表转换为红黑树来提高效率,当数组中某链表长度大于8但是数组table长度没有达到64,此时就会进行扩容。

final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
        Node<K,V>[] tab; Node<K,V> p; int n, i; //考虑到性能问题使用局部变量
        //常用的变量赋值给局部变量 只需要从栈里面去拿 不用每次都从堆里拿,这样使用性能更优
        if ((tab = table) == null || (n = tab.length) == 0)
            n = (tab = resize()).length; //tab = resize() 初始化一个数组容量为 16
        if ((p = tab[i = (n - 1) & hash]) == null) //i = (n - 1) & hash 使用的是与操作(都为1则为1) 取决于二进制hash的后四位
            tab[i] = newNode(hash, key, value, null);
        else {
            Node<K,V> e; K k;
            if (p.hash == hash &&
                ((k = p.key) == key || (key != null && key.equals(k))))
                e = p; //如果key存在的话直接 goto A方法,将第一个节点的p赋值给e
            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) { //如果第二个节点为空 直接break
                    //当真正转红黑树时 加上数组里的头节点 链表一共有9个节点
                        p.next = newNode(hash, key, value, null);
                        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;
                }
            }
            //A方法
            if (e != null) { // existing mapping for key
                V oldValue = e.value;
                if (!onlyIfAbsent || oldValue == null)
                    e.value = value;//更新新的值
                afterNodeAccess(e);
                return oldValue;
            }
        }
        ++modCount;
        if (++size > threshold) //threshold 扩容阈值 16*0.75=12
            resize();
        afterNodeInsertion(evict);
        return null;
    }

如果链表长度大于8 不一定会转换成红黑树 得先判断一下数组长度是否小于64,如果小于64会进行扩容处理

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)
            resize();
        else if ((e = tab[index = (n - 1) & hash]) != null) {
            TreeNode<K,V> hd = null, tl = null;
            do {
                //将Node转化成TreeNode对象
                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);
        }
    }

当红黑树结点个数小于6时,就会将红黑树转换回链表。

在扩容的时候,会将所有的元素遍历,全部重新计算哈希值并全部重新确定在数组中的位置。

  • put(k,v): 不管怎么样一定会更新value

二. HashSet的底层原理

HashSet底层其实是HashMap实现的,默认的无参构造方法是构建一个初始容量为16,负载因子为0.75 的HashMap。

它封装了一个 HashMap 对象来存储所有的集合元素,所有放入 HashSet 中的集合元素实际上由 HashMap 的 key 来保存,而 HashMap 的 value 则存储了一个 PRESENT,它是一个静态的 Object 对象。

  • 4
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

苏黎世卡

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值