有参构造方法
//负载因子
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;
}