java 集合之 HashMap源码分析

本篇研究所用 JDK 版本为 1.8

https://www.jianshu.com/p/17177c12f849

http://www.importnew.com/28263.html

 https://www.cnblogs.com/chengxiao/p/6059914.html

https://www.cnblogs.com/ITtangtang/p/3948406.html

https://www.cnblogs.com/singhamxiao/p/8573540.html

再看 HashMap 之前我们先了解一下 哈希表

我们知道,数据结构的物理存储结构只有两种:顺序存储结构链式存储结构(像栈,队列,树,图等是从逻辑结构去抽象的,映射到内存中,也这两种物理组织形式),而在上面我们提到过,在数组中根据下标查找某个元素,一次定位就可以达到,哈希表利用了这种特性,哈希表的主干就是数组每个数组的元素又为链表,所以 HashMap 的数据结构可理解为数组链表

在哈希表中进行添加,删除,查找等操作,性能十分之高,不考虑哈希冲突的情况下,仅需一次定位即可完成,时间复杂度为O(1),比如我们要新增或查找某个元素,我们通过把当前元素的关键字 通过某个函数映射到数组中的某个位置,通过数组下标一次定位就可完成操作。

存储位置 = f(关键字)

其中,这个函数f一般称为哈希函数,这个函数的设计好坏会直接影响到哈希表的优劣。举个例子,比如我们要在哈希表中执行插入操作:

 

查找操作同理,先通过哈希函数计算出实际存储地址,然后从数组中对应地址取出即可。

哈希冲突

 如果两个不同的元素,通过哈希函数得出的实际存储地址相同,也就是说,当我们对某个元素进行哈希运算,得到一个存储地址,然后要进行插入的时候,发现已经被其他元素占用了,其实这就是所谓的哈希冲突,也叫哈希碰撞。前面我们提到过,哈希函数的设计至关重要,好的哈希函数会尽可能地保证 计算简单散列地址分布均匀,但是,我们需要清楚的是,数组是一块连续的固定长度的内存空间,再好的哈希函数也不能保证得到的存储地址绝对不发生冲突。那么哈希冲突如何解决呢?哈希冲突的解决方案有多种:开放定址法(发生冲突,继续寻找下一块未被占用的存储地址),再散列函数法,链地址法,而HashMap即是采用了链地址法,也就是数组+链表的方式,

 

首先创建一个 HashMap 最长用的方式时 Map<v,k> map = new HashMap<>();     

   //构造一个空 HashMap 默认初始容量 (16) 和默认加载因子 (0.75)
    public HashMap() { this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted
    }

put 操作

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

接着看 putVal 方法

    /**
     * Implements Map.put and related methods
     *
     * @param hash key 的 hashCode
     * @param key the key
     * @param value the value to put
     * @param onlyIfAbsent 如果是 true,那么只有在不存在该 key 时才会进行 put 操作
     * @param evict 在false的情况下table为创作模式.
     * @return previous value, or null if none
     */
    final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
        Node<K,V>[] tab; Node<K,V> p; int n, i;
//判断如果 HashMap 为空,或 HashMap 为刚创建状态,则调用 resize() 方法
if ((tab = table) == null || (n = tab.length) == 0)
//这里初次的话返回了一个长度为16的Node数组 n
= (tab = resize()).length;
//找到具体的数组下标,如果此位置没有值,那么直接初始化一下 Node 并放置在这个位置就可以了
if ((p = tab[i = (n - 1) & hash]) == null) tab[i] = newNode(hash, key, value, null); else {//如果该位置有值 Node<K,V> e; K k;
//首先,判断该位置的第一个数据和我们要插入的数据,key 是不是"相等",如果是,取出这个节点
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) {
//插入到链表的最后面(Java7 是插入到链表的最前面)
if ((e = p.next) == null) { p.next = newNode(hash, key, value, null); if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
//如果链表长度大于8则转换为红黑树 树形化 treeifyBin(tab, hash); break; }
//如果在该链表中找到了"相等"的 key(== 或 equals) 则结束循环
if (e.hash == hash && ((k = e.key) == key || (key != null && key.equals(k)))) break;
//如果没有找到则将e赋予p开始下一个元素的对比 p
= e; } }
//进行 "值覆盖",然后返回旧值
if (e != null) { // existing mapping for key V oldValue = e.value; if (!onlyIfAbsent || oldValue == null) e.value = value; afterNodeAccess(e); return oldValue; } } ++modCount;
//如果 HashMap 由于新插入这个值导致 size 已经超过了阈值,需要进行扩容
if (++size > threshold) resize(); afterNodeInsertion(evict); return null; }
resize() 方法

    /**
     * 初始化或翻倍表大小。在空的情况下会按默认值和方法分配.其他的情况下,因为使用的是2的幂次表示法,所以每个容器里的元素要么保持在同一索引,要么移动2的幂次个位移量到新的table里去
     * @return the table
     */
    final Node<K,V>[] resize() {
//将 transient Node<K,V>[] table 赋给 oldTab,初次初始化时为null Node
<K,V>[] oldTab = table;
//初次这里 oldTab 为null,则 oldCap 为0
int oldCap = (oldTab == null) ? 0 : oldTab.length;
//初次 threshold 为0
int oldThr = threshold; int newCap, newThr = 0;
//大于0则说明不是初始化
//这个IF判断整体实现当超过阈值时翻倍容量
if (oldCap > 0) {
//最大容量为2的30次方 MAXIMUM_CAPACITY=1073741824 Integer.MAX_VALUE=2147483647
//下次扩容的临界值,size>=threshold就会扩容
if (oldCap >= MAXIMUM_CAPACITY) { threshold = Integer.MAX_VALUE; return oldTab; }
//<<:左移运算符,num << 1,相当于num乘以2
//DEFAULT_INITIAL_CAPACITY = 16
else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY && oldCap >= DEFAULT_INITIAL_CAPACITY)
//翻倍 newThr
= oldThr << 1; }
//如果为初始化切初始容量已指定则使用指定的容量大小 为指定情况下oldThr为0
else if (oldThr > 0) newCap = oldThr;
//否则使用默认大小初始化
else {
//默认大小为 16 newCap = DEFAULT_INITIAL_CAPACITY; newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY); //值为12 } if (newThr == 0) { float ft = (float)newCap * loadFactor; newThr = (newCap < MAXIMUM_CAPACITY && ft < (float)MAXIMUM_CAPACITY ? (int)ft : Integer.MAX_VALUE); }
//初次不指定参数时扩容的阈值为12 threshold
= newThr; @SuppressWarnings({"rawtypes","unchecked"})
//创建大小为 newCap 的Node数组 Node
<K,V>[] newTab = (Node<K,V>[])new Node[newCap]; table = newTab; if (oldTab != null) { //初次 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) ((TreeNode<K,V>)e).split(this, newTab, j, oldCap); else { // preserve order
//这块是处理链表的情况
//需要将此链表拆成两个链表,放到新的数组中,并且保留原来的先后顺序
//loHead、loTail 对应一条链表,hiHead、hiTail 对应另一条链表,代码还是比较简单的 Node<K,V> loHead = null, loTail = null; Node<K,V> hiHead = null, hiTail = null; Node<K,V> next; do { next = e.next;
//hash值与表长度 与 运算,如果为0,则在链表中位置不变,为1则新索引为 原索引+oldCap
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);
//原索引放到bucket里
if (loTail != null) { loTail.next = null; newTab[j] = loHead; }
//原索引+oldCap放到bucket里
if (hiTail != null) { hiTail.next = null; newTab[j + oldCap] = hiHead; } } } } } return newTab; }

Node替代了1.7中的Entry

1.7中Entry代码
static class Entry<K,V> implements Map.Entry<K,V> {
        final K key;
        V value;
        Entry<K,V> next;
        final int hash;

        /**
         * Creates new entry.
         */
        Entry(int h, K k, V v, Entry<K,V> n) {
            value = v;
            next = n;
            key = k;
            hash = h;
        }
        .......
    }

 

    原文作者:java集合
    原文地址: http://www.cnblogs.com/codefeng/p/8729372.html
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞