关于java:HashMap夺命14问你能坚持到第几问

44次阅读

共计 10033 个字符,预计需要花费 26 分钟才能阅读完成。

1. HashMap 的底层数据结构是什么?

在 JDK1.7 中和 JDK1.8 中有所区别:

在 JDK1.7 中,由”数组 + 链表“组成,数组是 HashMap 的主体,链表则是次要为了解决哈希抵触而存在的。

在 JDK1.8 中,有“数组 + 链表 + 红黑树”组成。当链表过长,则会重大影响 HashMap 的性能,红黑树搜寻工夫复杂度是 O(logn),而链表是 O(n)。因而,JDK1.8 对数据结构做了进一步的优化,引入了红黑树,链表和红黑树在达到肯定条件会进行转换:

  • 当链表超过 8 且数组长度 (数据总量) 超过 64 才会转为红黑树
  • 将链表转换成红黑树前会判断,如果以后数组的长度小于 64,那么会抉择先进行数组扩容,而不是转换为红黑树,以缩小搜寻工夫。

2. 说一下 HashMap 的特点

  • hashmap 存取是无序的
  • 键和值地位都能够是 null,然而键地位只能是一个 null
  • 键地位是惟一的,底层的数据结构是控制键的
  • jdk1.8 前数据结构是:链表 + 数组 jdk1.8 之后是:数组 + 链表 + 红黑树
  • 阈值(边界值)>8 并且数组长度大于 64,才将链表转换成红黑树,变成红黑树的目标是进步搜寻速度,高效查问

3. 解决 hash 抵触的方法有哪些?HashMap 用的哪种?

解决 Hash 抵触办法有:凋谢定址法、再哈希法、链地址法(HashMap 中常见的拉链法)、简历公共溢出区。HashMap 中采纳的是链地址法。

  • 凋谢定址法也称为再散列法,根本思维就是,如果 p =H(key)呈现抵触时,则以 p 为根底,再次 hash,p1=H(p),如果 p1 再次出现抵触,则以 p1 为根底,以此类推,直到找到一个不抵触的哈希地址 pi。因而凋谢定址法所须要的 hash 表的长度要大于等于所须要寄存的元素,而且因为存在再次 hash,所以只能在删除的节点上做标记,而不能真正删除节点
  • 再哈希法(双重散列,多重散列),提供多个不同的 hash 函数,R1=H1(key1)发生冲突时,再计算 R2=H2(key1),直到没有抵触为止。这样做尽管不易产生堆集,但减少了计算的工夫。
  • 链地址法(拉链法),将哈希值雷同的元素形成一个同义词的单链表,并将单链表的头指针寄存在哈希表的第 i 个单元中,查找、插入和删除次要在同义词链表中进行,链表法实用于常常进行插入和删除的状况。
  • 建设公共溢出区,将哈希表分为公共表和溢出表,当溢出产生时,将所有溢出数据对立放到溢出区

留神凋谢定址法和再哈希法的区别是

  • 凋谢定址法只能应用同一种 hash 函数进行再次 hash,再哈希法能够调用多种不同的 hash 函数进行再次 hash

4. 为什么要在数组长度大于 64 之后,链表才会进化为红黑树

在数组比拟小时如果呈现红黑树结构,反而会升高效率,而红黑树须要进行左旋右旋,变色,这些操作来保持平衡,同时数组长度小于 64 时,搜寻工夫绝对要快些,总之是为了放慢搜寻速度,进步性能

JDK1.8 以前 HashMap 的实现是数组 + 链表,即便哈希函数获得再好,也很难达到元素百分百均匀分布。当 HashMap 中有大量的元素都寄存在同一个桶中时,这个桶下有一条长长的链表,此时 HashMap 就相当于单链表,如果单链表有 n 个元素,遍历的工夫复杂度就从 O(1)进化成 O(n),齐全失去了它的劣势,为了解决此种状况,JDK1.8 中引入了红黑树(查找的工夫复杂度为 O(logn))来优化这种问题

5. 为什么加载因子设置为 0.75,初始化临界值是 12?

HashMap 中的 threshold 是 HashMap 所能包容键值对的最大值。计算公式为 length*LoadFactory。也就是说,在数组定义好长度之后,负载因子越大,所能包容的键值对个数也越大

loadFactory 越趋近于 1,那么数组中寄存的数据(entry 也就越来越多),数据也就越密集,也就会有更多的链表长度处于更长的数值,咱们的查问效率就会越低,当咱们增加数据,产生 hash 抵触的概率也会更高

默认的 loadFactory 是 0.75,loadFactory 越小,越趋近于 0,数组中个寄存的数据 (entry) 也就越少,体现得更加稠密

0.75 是对空间和工夫效率的一种均衡抉择

如果负载因子小一些比方是 0.4,那么初始长度 16*0.4=6,数组占满 6 个空间就进行扩容,很多空间可能元素很少甚至没有元素,会造成大量的空间被节约

如果负载因子大一些比方是 0.9,这样会导致扩容之前查找元素的效率非常低

loadfactory 设置为 0.75 是通过多重计算测验失去的牢靠值,能够最大水平的缩小 rehash 的次数,防止过多的性能耗费

6. 哈希表底层采纳何种算法计算 hash 值?还有哪些算法能够计算出 hash 值?

hashCode 办法是 Object 中的办法,所有的类都能够对其进行应用,首先底层通过调用 hashCode 办法生成初始 hash 值 h1,而后将 h1 无符号右移 16 位失去 h2,之后将 h1 与 h2 进行按位异或(^)运算失去最终 hash 值 h3,之后将 h3 与 (length-1) 进行按位与(&)运算失去 hash 表索引

其余能够计算出 hash 值的算法有

  • 平方取中法
  • 取余数
  • 伪随机数法

7. 当两个对象的 hashCode 相等时会怎么

hashCode 相等产生 hash 碰撞,hashCode 相等会调用 equals 办法比拟内容是否相等,内容如果相等则会进行笼罩,内容如果不等则会连贯到链表前方,链表长度超过 8 且数组长度超过 64,会转变成红黑树节点

8. 何时产生哈希碰撞和什么是哈希碰撞,如何解决哈希碰撞?

只有两个元素的 key 计算的 hash 码值雷同就会产生 hash 碰撞,jdk8 之前应用链表解决哈希碰撞,jdk8 之后应用链表 + 红黑树解决哈希碰撞

9. HashMap 的 put 办法流程

以 jdk8 为例,简要流程如下:

  1. 首先依据 key 的值计算 hash 值,找到该元素在数组中存储的下标
  2. 如果数组是空的,则调用 resize 进行初始化;
  3. 如果没有哈希抵触间接放在对应的数组下标里
  4. 如果抵触了,且 key 曾经存在,就笼罩掉 value
  5. 如果抵触后是链表构造,就判断该链表是否大于 8,如果大于 8 并且数组容量小于 64,就进行扩容;如果链表节点数量大于 8 并且数组的容量大于 64,则将这个构造转换成红黑树;否则,链表插入键值对,若 key 存在,就笼罩掉 value
  6. 如果抵触后,发现该节点是红黑树,就将这个节点挂在树上

10. HashMap 的扩容形式

HashMap 在容量超过负载因子所定义的容量之后,就会扩容。java 里的数组是无奈本人扩容的,将 HashMap 的大小扩充为原来数组的两倍

咱们来看 jdk1.8 扩容的源码

    final Node<K,V>[] resize() {
        //oldTab:援用扩容前的哈希表
        Node<K,V>[] oldTab = table;
        //oldCap:示意扩容前的 table 数组的长度
        int oldCap = (oldTab == null) ? 0 : oldTab.length;
        // 取得旧哈希表的扩容阈值
        int oldThr = threshold;
        //newCap: 扩容之后 table 数组大小
        //newThr: 扩容之后下次触发扩容的条件
        int newCap, newThr = 0;
        // 条件成立阐明 hashMap 中的散列表曾经初始化过了,是一次失常扩容
        if (oldCap > 0) {
            // 判断旧的容量是否大于等于最大容量,如果是,则无奈扩容,并且设置扩容条件为 int 最大值,// 这种状况属于十分多数的状况
            if (oldCap >= MAXIMUM_CAPACITY) {
                threshold = Integer.MAX_VALUE;
                return oldTab;
            }// 设置 newCap 新容量为 oldCap 旧容量的二倍(<<1), 并且 < 最大容量,而且 >=16,则新阈值等于旧阈值的两倍
            else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
                     oldCap >= DEFAULT_INITIAL_CAPACITY)
                newThr = oldThr << 1; // double threshold
        }
        // 如果 oldCap= 0 并且边界值大于 0,阐明散列表是 null,但此时 oldThr>0
        // 阐明此时 hashMap 的创立是通过指定的构造方法创立的, 新容量间接等于阈值
        //1.new HashMap(intitCap,loadFactor)
        //2.new HashMap(initCap)
        //3.new HashMap(map)
        else if (oldThr > 0) // initial capacity was placed in threshold
            newCap = oldThr;
        // 这种状况下 oldThr=0;oldCap=0,阐明没通过初始化,创立 hashMap
        // 的时候是通过 new HashMap()的形式创立的
        else {               // zero initial threshold signifies using defaults
            newCap = DEFAULT_INITIAL_CAPACITY;
            newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);
        }
        //newThr 为 0 时,通过 newCap 和 loadFactor 计算出一个 newThr
        if (newThr == 0) {
            // 容量 *0.75
            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 指向新创建的数组
        table = newTab;
        // 本次扩容之前 table 不为 null
        if (oldTab != null) {
            // 对数组中的元素进行遍历
            for (int j = 0; j < oldCap; ++j) {
                // 设置 e 为以后 node 节点
                Node<K,V> e;
                // 以后桶位数据不为空,但不能晓得外面是单个元素,还是链表或红黑树,//e = oldTab[j],先用 e 记录下以后元素
                if ((e = oldTab[j]) != null) {
                    // 将老数组 j 桶地位为空,不便回收
                    oldTab[j] = null;
                    // 如果 e 节点不存在下一个节点,阐明 e 是单个元素,则间接搁置在新数组的桶位
                    if (e.next == null)
                        newTab[e.hash & (newCap - 1)] = e;
                    // 如果 e 是树节点,证实该节点处于红黑树中
                    else if (e instanceof TreeNode)
                        ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
                    // e 为链表节点,则对链表进行遍历
                    else { // preserve order
                        // 低位链表:寄存在扩容之后的数组的下标地位,与以后数组下标地位统一
                        //loHead:低位链表头节点
                        //loTail 低位链表尾节点
                        Node<K,V> loHead = null, loTail = null;
                        // 高位链表,寄存扩容之后的数组的下标地位,= 原索引 + 扩容之前数组容量
                        //hiHead: 高位链表头节点
                        //hiTail: 高位链表尾节点
                        Node<K,V> hiHead = null, hiTail = null;
                        Node<K,V> next;
                        do {
                            next = e.next;
                            //oldCap 为 16:10000,与 e.hsah 做 & 运算能够失去高位为 1 还是 0
                            // 高位为 0,放在低位链表
                            if ((e.hash & oldCap) == 0) {if (loTail == null)
                                    //loHead 指向 e
                                    loHead = e;
                                else
                                    loTail.next = e;
                                loTail = e;
                            }
                            // 高位为 1,放在高位链表
                            else {if (hiTail == null)
                                    hiHead = e;
                                else
                                    hiTail.next = e;
                                hiTail = e;
                            }
                        } while ((e = next) != null);
                        // 低位链表已成,将头节点 loHead 指向在原位
                        if (loTail != null) {
                            loTail.next = null;
                            newTab[j] = loHead;
                        }
                        // 高位链表已成,将头节点指向新索引
                        if (hiTail != null) {
                            hiTail.next = null;
                            newTab[j + oldCap] = hiHead;
                        }
                    }
                }
            }
        }
        return newTab;
    }

扩容之后原地位的节点只有两种调整

  • 放弃原地位不动(新 bit 位为 0 时)
  • 散列原索引 + 扩容大小的地位去(新 bit 位为 1 时)

扩容之后元素的散列设置的十分奇妙,节俭了计算 hash 值的工夫,咱们来看一 下具体的实现

当数组长度从 16 到 32,其实只是多了一个 bit 位的运算,咱们只须要在意那个多进去的 bit 为是 0 还是 1,是 0 的话索引不变,是 1 的话索引变为以后索引值 + 扩容的长度,比方 5 变成 5 +16=21

这样的扩容形式不仅节俭了从新计算 hash 的工夫,而且保障了以后桶中的元素总数肯定小于等于原来桶中的元素数量,防止了更重大的 hash 抵触,平均的把之前抵触的节点扩散到新的桶中去

11. 个别用什么作为 HashMap 的 key?

个别用 Integer、String 这种不可变类当 HashMap 当 key

  • 因为 String 是不可变的,当创立字符串时,它的 hashcode 被缓存下来,不须要再次计算,绝对于其余对象更快
  • 因为获取对象的时候要用到 equals()和 hashCode()办法,那么键对象正确的重写这两个办法是十分重要的,这些类很标准的重写了 hashCode()以及 equals()办法

12. 为什么 Map 桶中节点个数超过 8 才转为红黑树?

8 作为阈值作为 HashMap 的成员变量,在源码的正文中并没有阐明阈值为什么是 8

在 HashMap 中有这样一段正文阐明,咱们持续看

 * Because TreeNodes are about twice the size of regular nodes, we
 * use them only when bins contain enough nodes to warrant use
 * (see TREEIFY_THRESHOLD). And when they become too small (due to
 * removal or resizing) they are converted back to plain bins.  In
 * usages with well-distributed user hashCodes, tree bins are
 * rarely used.  Ideally, under random hashCodes, the frequency of
 * nodes in bins follows a Poisson distribution
 * (http://en.wikipedia.org/wiki/Poisson_distribution) with a
 * parameter of about 0.5 on average for the default resizing
 * threshold of 0.75, although with a large variance because of
 * resizing granularity. Ignoring variance, the expected
 * occurrences of list size k are (exp(-0.5) * pow(0.5, k) /
 * factorial(k)).

翻译

因为树节点的大小大概是一般节点的两倍,所以咱们只在箱子蕴含足够的节点时才应用树节点(参见 TREEIFY_THRESHOLD)。当他们边的太小(因为删除或调整大小)时,就会被转换回一般的桶,在应用散布良好的 hashcode 时,很少应用树箱。现实状况下,在随机哈希码下,箱子中节点的频率遵从泊松散布
第一个值是:* 0:    0.60653066
 * 1:    0.30326533
 * 2:    0.07581633
 * 3:    0.01263606
 * 4:    0.00157952
 * 5:    0.00015795
 * 6:    0.00001316
 * 7:    0.00000094
 * 8:    0.00000006
 * more: less than 1 in ten million

树节点占用空间是一般 Node 的两倍,如果链表节点不够多却转换成红黑树,无疑会消耗大量的空间资源,并且在随机 hash 算法下的所有 bin 节点散布频率听从泊松散布,链表长度达到 8 的概率只有 0.00000006,简直是不可能事件,所以 8 的计算是通过重重迷信考量的

  • 从均匀查找长度来看,红黑树的均匀查找长度是 logn,如果长度为 8,则 logn=3,而链表的均匀查找长度为 n /4,长度为 8 时,n/2=4,所以阈值 8 能大大提高搜寻速度
  • 当长度为 6 时红黑树进化为链表是因为 logn=log6 约等于 2.6,而 n /2=6/2=3,两者相差不大,而红黑树节点占用更多的内存空间,所以此时转换最为敌对

13. HashMap 为什么线程不平安?

  • 多线程下扩容死循环。JDK1.7 中的 HashMap 应用头插法插入元素,在多线程的环境下,扩容的时候有可能导致环形链表的呈现,造成死循环。因而 JDK1.8 应用尾插法插入元素,在扩容时会放弃链表元素本来的程序,不会呈现环形链表的问题
  • 多线程的 put 可能导致元素的失落。多线程同时执行 put 操作,如果计算出来的索引地位是雷同的,那会造成前一个 key 被后一个 key 笼罩,从而导致元素的失落。此问题在 JDK1.7 和 JDK1.8 中都存在
  • put 和 get 并发时,可能导致 get 为 null。线程 1 执行 put 时,因为元素个数超出 threshold 而导致 rehash,线程 2 此时执行 get,有可能导致这个问题,此问题在 JDK1.7 和 JDK1.8 中都存在

14. 计算 hash 值时为什么要让低 16bit 和高 16bit 进行异或解决

  • 咱们计算索引须要将 hashCode 值与 length- 1 进行按位与运算,如果数组长度很小,比方 16,这样的值和 hashCode 做异或实际上只有 hashCode 值的后 4 位在进行运算,hash 值是一个随机值,而如果产生的 hashCode 值高位变化很大,而低位变动很小,那么有很大概率造成哈希抵触,所以咱们为了使元素更好的散列,将 hash 值的高位也利用起来 \

举个例子

如果咱们不对 hashCode 进行按位异或,间接将 hash 和 length- 1 进行按位与运算就有可能呈现以下的状况

如果下一次生成的 hashCode 值高位起伏很大,而低位简直没有变动时,高位无奈参加运算

能够看到,两次计算出的 hash 相等,产生了 hash 抵触

所以无符号右移 16 位的目标是使高凌乱度地区与地凌乱度地区做一个中和,进步低位的随机性,缩小哈希抵触

文章中呈现的对于面试题的谬误请在评论区指出,我再进行改过优化。如果文章对你有所帮忙,请给团长一个收费的赞吧,感激大家。

正文完
 0