HashMap源码分析

有参构造方法

//负载因子
 static final float DEFAULT_LOAD_FACTOR = 0.75f;
//最大容量
 static final int MAXIMUM_CAPACITY = 1 << 30;
 
 public HashMap(int initialCapacity) {
        this(initialCapacity, DEFAULT_LOAD_FACTOR);
    }

//用来校验参数loadFactor是不是一个NAN,如果参数是NAN,(v != v)成立,返回true
//比如float loadFactor = 0.0f,返回true
  public static boolean isNaN(float v) {
      return (v != v);
  }
 public HashMap(int initialCapacity, float loadFactor) {
       if (initialCapacity < 0) // 如果初始化容量小于0,非法参数异常
           throw new IllegalArgumentException("Illegal initial capacity: " +
                                              initialCapacity);
     //如果初始化容量大小大于2的30次方,那么容量初始化大小等于2的30次方。
       if (initialCapacity > MAXIMUM_CAPACITY)
           initialCapacity = MAXIMUM_CAPACITY;
       if (loadFactor <= 0 || Float.isNaN(loadFactor))
       //如果负载因子小于0或者 Float.isNaN(loadFactor) 为true的情况下 ,参数校验也会不通过。
           throw new IllegalArgumentException("Illegal load factor: " +
                                              loadFactor);
       this.loadFactor = loadFactor;
       this.threshold = tableSizeFor(initialCapacity);
   }
}

重点研究tableSizeFor()方法

自定义Map<Object, Object> map = new HashMap<>(8);
有参构造,我尝试初始化initialCapacity多个不同的值,但是每次initialCapacity都是等于11,这一点我是还没明白?如下截图。

在这里插入图片描述
假设initialCapacity=11,调用tableSizeFor方法。n |= n >>> 1;;表示n或运算n右移1位后的值。

static final int tableSizeFor(int cap) {
       
	  int n = cap - 1;
	
	  //0000 1010 右移1位 0000 0101 转成10进制等于5 
      //0000 1010  或 0000 0101  等于  0000 1111 转成10进制 此时n=15
	  n |= n >>> 1;
	 //0000 1111 右移2位 0000 0011 
	 //0000 1111 或 0000 0011  等于 0000 1111 转成10进制 此时n仍然为15
     //以此类推 只要低四位为1111  或 0000 xxxx   后面低四位都是1111 
       ...
     //所以最后n经过最终的位运算,仍然等于15。  
	  n |= n >>> 2;
	  n |= n >>> 4;
	  n |= n >>> 8;
	  n |= n >>> 16;
	  //三元运算 最终返回的值是取n+1正好等于16
	  return (n < 0) ? 1 : (n >= MAXIMUM_CAPACITY) ? MAXIMUM_CAPACITY : n + 1;

tableSizeFor返回值16,正好赋值给阈值threshold变量。

根据key,计算hash值的方法

 String  key = "李四";
//计算hash值
 static final int hash(Object key) {
        int h;
        return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
    }

在这里插入图片描述

计算key对应的索引下标

p = tab[i = (n - 1) & hash]

在这里插入图片描述

为什么数组的长度是2的指数次幂?(个人理解)

在这里插入图片描述

如果不是2的指数次方幂?(导致hash碰撞,键值分布不均匀)

在这里插入图片描述

空参构造方法

new一个map容器 Map<String, Integer> map = new HashMap<>();
初始化的时候会去掉一个resize()扩容方法。debugger看了一下。
在这里插入图片描述
初始化newCap=16,static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // aka 16
在这里插入图片描述
初始化newThr=12, 16*0.75=12
在这里插入图片描述
然后将threshold赋值为12,定义一个长度newCap=16的数组
在这里插入图片描述
直接返回newTab 数组
在这里插入图片描述

put()方法

 Map<String, Integer> map = new HashMap<>();
 map.put("张三",100);

map初始化已经完成,put元素不会在进这个判断。
在这里插入图片描述

  • 根据数组长度和key的hash值&运算得出索引,然后判断此索引位置是否存在元素,如果不存在,则将元素存放在此。new一个node节点元素。

在这里插入图片描述

  • 存放此索引位置的元素的key和新的元素的key相等,并且hash值也相等,Node<K,V> e = p;

在这里插入图片描述

  • 如果此时该索引位置为红黑树结构,就新添加一个树节点。

在这里插入图片描述

  • 链表结构,无限循环此索引位置的链表。(e = p.next) == null 表示链表的最后一个元素,找到这个元素后,p.next = newNode(hash, key, value, null);指向新添加的链表node节点。此时还会进行一个是否需要树化的判断,最后跳出这个for循环。树化条件:binCount >= TREEIFY_THRESHOLD - 1但是不一定转成红黑树(树化需要保证链表长度大于8&&数组长度达到64,如果不符合,则会resize()扩容)

在这里插入图片描述
链表判断这一段逻辑和上面一样,新添加的元素的key的hash值和此链表的某一个节点的key进行一个相等判断。则Node<K,V> e = p。
在这里插入图片描述
map中已经存在相同的key,再次添加此key,新的value值替换旧的value值,返回oldValue。
在这里插入图片描述

这是一个是否需要扩容的判断,如果当前map的k-v键值对数量>阈值threshold,则调用resize方法扩容。
在这里插入图片描述
扩容resize
1.扩容后的索引位置计算int index = hash(key)&(n-1)
假设扩容前数组的长度为16,key的hash二进制值为 1100 1100 1100 1100 1001 1011 0011 0101
在这里插入图片描述
假设扩容是按照2倍扩容的(后面源码会分析,先假装不知道,假设扩容后的容量是老容量*2)

在这里插入图片描述 得出结论:

  • 用两个不同的hash值和扩容后的数组长度的hash值进行&运算,键key的hash值对应的高位2进制无论是0还是1,&最终都是0,所以最终扩容后,重新计算索引位置,某key在新数组的index要么等于之前老数组的索引,要么为oldIndx+扩容的量,比如上面例子中的5+16=21。

看下扩容resize()方法:

  final HashMap.Node<K,V>[] resize() {
        //todo  oldTab 旧的数组,假设旧数组长度为16
        HashMap.Node<K,V>[] oldTab = table;
        //todo  判空 旧数组不为空,返回数组长度。
        int oldCap = (oldTab == null) ? 0 : oldTab.length;
        // todo  旧的阈值   oldThr =16*0.75=12
        int oldThr = threshold;
        // todo  新数组长度 新阈值
        int newCap, newThr = 0;
        //todo 如果就数组长度大于0
        if (oldCap > 0) {
            // todo 如果旧数组长度大于最大容量2^30,threshold= Integer.MAX_VALUE,返回旧的数组。
            if (oldCap >= MAXIMUM_CAPACITY) {
                threshold = Integer.MAX_VALUE;
                return oldTab;
            }
            // todo 如果旧数组左移一位小于最大容量2^30成立,并且旧数组长度大于等于16
            else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
                    oldCap >= DEFAULT_INITIAL_CAPACITY)
                //todo  double threshold  oldThr << 1,即阈值乘以2,newThr=24;
                newThr = oldThr << 1;
        }
        //todo 走上面判断,就不会走这个判断了。
        else if (oldThr > 0)
            // initial capacity was placed in threshold
            newCap = oldThr;
        else {
          //  TODO 初始化map,zero initial threshold signifies using defaults
            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);
        }
        //todo 此时threshold==24
        threshold = newThr;
        @SuppressWarnings({"rawtypes","unchecked"})
        // todo 新数组诞生了
        HashMap.Node<K,V>[] newTab = (HashMap.Node<K,V>[])new HashMap.Node[newCap];
        // todo 旧数组变量指向新数组地址
        table = newTab;
        if (oldTab != null) {
            //todo 遍历老数组
            for (int j = 0; j < oldCap; ++j) {
                //todo 定义e变量,做过度用的
                HashMap.Node<K,V> e;
                //todo 如果oldTab[j]此位置取不到值,则不谈
                if ((e = oldTab[j]) != null) {
                    //todo 进来了,肯定就是oldTab[j]!=null,并将值赋给e变量
                    oldTab[j] = null;
                    //todo e.next == null,表示old数组此索引位置下就是一个元素,不是链表,也不是红黑树。
                    if (e.next == null)
                        //todo 直接放到新的数组中 e.hash & (newCap - 1)计算索引位置。
                        newTab[e.hash & (newCap - 1)] = e;
                        //todo 树结构 要把树结构拆分下来
                    else if (e instanceof HashMap.TreeNode)
                        ((HashMap.TreeNode<K,V>)e).split(this, newTab, j, oldCap);
                    else {
                        //todo 这里面就是链表的逻辑
                        HashMap.Node<K,V> loHead = null, loTail = null;
                        HashMap.Node<K,V> hiHead = null, hiTail = null;
                        HashMap.Node<K,V> next;
                        //todo do while 循环内主要是进行链表的元素头部和尾部的运算
                        do {
                          //todo next变量=链表e节点指向的下一个元素
                            next = e.next;
                            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;
                            }
                        }
                       // todo next变量=链表e节点指向的下一个元素 直到为null 表示链表中所有的节点遍历结束 最后一个node节点next==null
                        while ((e = next) != null);
                        //  n=32           0000 0000 0000 0000 0000 0000 0010 0000  
                        //
                        //32-1           0000 0000 0000 0000 0000 0000 0001 1111
                        //            &
                        //key_hash       1100 1100 1100 1100 1001 1011 0010 0101
                        //===============================================================
                        //               0000 0000 0000 0000 0000 0000 0000 0101  =>index =5  
                        //todo hash值和old数组长度&运算,高位取0成立,表示e所在新的数组index下标==old index 下标
                        if (loTail != null) {
                            loTail.next = null;
                            newTab[j] = loHead;
                        }
                        //  n=32           0000 0000 0000 0000 0000 0000 0010 0000  
                        //
                        //32-1           0000 0000 0000 0000 0000 0000 0001 1111
                        //            &
                        //key_hash       1100 1100 1100 1100 1001 1011 0011 0101
                        //===============================================================
                        //               0000 0000 0000 0000 0000 0000 0001 0101  =>index =21 
                        //todo old索引位置加上老数组的length,作为元素在新数组中的index下标。
                        if (hiTail != null) {
                            hiTail.next = null;
                            newTab[j + oldCap] = hiHead;
                        }
                    }
                }
            }
        }
        return newTab;
    }
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值