Java:HashMap原理与设计缘由

Java:HashMap原理与设计缘由

前言

Java中使用最多的数据结构基本就是ArrayList和HashMap，HashMap的原理也常常出现在各种面试题中，本文就HashMap的设计与设计缘由作出一一讲解，并点明面试常见的一些问题。

一 HashMap数据结构

HashMap是一张哈希表（即数组），表中的每个元素都是键值对（Map.Entry类）。并且每个元素都是一个链表（红黑树）的节点。并且HashMap的数组长度一定是2的次幂。

1.1 为何数组长度一定是2的次幂

正常情况下，新增节点时，会对节点进行取模运算，确定节点在哈希表中的位置。但是当哈希表（数组）长度为2的次幂时，取模运算可以修改为位与运算。
源码如下：

static final int hash(Object key) {
    if (key == null){
        return 0;
    }
    int h;
    h = key.hashCode()；返回散列值也就是hashcode
    // ^ ：按位异或
    // >>>:无符号右移，忽略符号位，空位都以0补齐
    //其中n是数组的长度，即Map的数组部分初始化长度
    return (n-1)&(h ^ (h >>> 16));
}

具体原理可以参考专门讲解该算法的文章：
由HashMap哈希算法引出的求余%和与运算&转换问题

二 HashMap的键值存储

我们给 put() 方法传递键和值时，我们先对键调用 hashCode() 方法，计算并返回 hashCode，然后使用HashMap内部的hash算法，将hashCode计算为表中的具体位置，找到 Map 数组的 bucket 位置来储存 Node 对象。

三 解决Hash碰撞

使用拉链法

如果hash到的数组位置已存在对象，即为Hash碰撞。JDK使用拉链法解决Hash碰撞问题。
即以原有的Node节点为基础，构造链表。将新的Node节点设为链表表头。

3.1 JDK7中新节点为表头

如果已原有节点为表头，则需要遍历链表，徒增不必要的性能消耗

3.2 JDK8中新节点为表尾

因为JDK8中链表在长度大于等于8时会转变为红黑树，所以每次在链表中添加节点，都必须遍历链表计算一次链表长度，所以新节点直接在遍历完链表后添加到表尾。

3.3 链表过长导致的复杂度问题

HashMap的查询操作最佳时间复杂度是O(1)，但是当表中的某个链表过长时，查询该链表上的元素时间复杂度为O(n)。JDK1.8中解决了该问题，当HashMap中某链表长度大于8时，链表会重构为红黑树，这样，HashMap的最坏时间复杂度为O(n)。同理，为了不必要的消耗，当链表长度小于6时，红黑树会重新变回链表

3.4 还有什么方法解决Hash碰撞

开放寻址法，再哈希法
感兴趣可以参看此文：
Hash碰撞和解决策略

四 HashMap的扩容

4.1 扩容时机

当size超过阈值（数组长度*负载因子）时，即开始扩容，HashMap的负载因子为0.75。

4.1.1 为何要数组未满就扩容

避免频繁出现Hash碰撞，造成拉链过长（红黑树过长）。这样会导致查询复杂度频繁出现最坏情况

4.2 扩容过程

创建原本数组容量*2的新数组，将节点从原本的数组中迁移过去。

4.2.1 为何扩容的倍数是2倍

原因一上文已说明，方便进行哈希运算。
原因二是不需要重新计算Hash值（JDK1.8优化）。经过观测可以发现，我们使用的是2次幂的扩展(指长度扩为原来2倍)，所以，经过rehash之后，元素的位置要么是在原位置，要么是在原位置再移动2次幂的位置。对应的就是下方的resize的注释。

/** 
 * Initializes or doubles table size.  If null, allocates in 
 * accord with initial capacity target held in field threshold. 
 * Otherwise, because we are using power-of-two expansion, the 
 * elements from each bin must either stay at same index, or move 
 * with a power of two offset in the new table. 
 * 
 * @return the table 
 */  
final Node<K,V>[] resize() {  }

看下图可以明白这句话的意思，n为table的长度，图（a）表示扩容前的key1和key2两种key确定索引位置的示例，图（b）表示扩容后key1和key2两种key确定索引位置的示例，其中hash1是key1对应的哈希值(也就是根据key1算出来的hashcode值)与高位与运算的结果。

元素在重新计算hash之后，因为n变为2倍，那么n-1的mask范围在高位多1bit(红色)，因此新的index就会发生这样的变化：

因此，我们在扩充HashMap的时候，不需要像JDK1.7的实现那样重新计算hash，只需要看看原来的hash值新增的那个bit是1还是0就好了，是0的话索引没变，是1的话索引变成“原索引+oldCap”。

五 重写equals方法需同时重写hashCode方法

这个是老生常谈的问题了，如果顺利理解了HashMap的底层结构那么这个问题就很好理解了。equals相同的key理论上必定有相同hashCode，所以必须也重写hashCode方法。可以思考下如果没重写，在put,get过程中会导致什么问题。