emmm,这个是我自己写出来自己偶尔看的,大家可能看起来乱七八糟,所以就不建议大家看了
JDK1.7的HashMap
1.7的时候hashmap底层就是通过数组+链表
- 如何确定key所在的位置呢?
首先得到key的hash值,然后再对hash值与数组长度-1
进行&运算来确定位置
- 有可能出现多个元素都放在同一个位置,此时就用链表连接,思想就是讲元素添加在头结点,然后将整个链表向下移,让新添加的元素作为头结点放在数组中.
- 默认数组长度为16,最大值为2^30次方,默认加载因子为0.75f,threshold阈值则为16*0.75=12
- 其中的Entry数组就是我们说的hashmap是由数组_链表中的数组,只不过这个数组里面是一个Entry对象,该对象是一个kv结构的
- Entry结构如下:
- 初始化Entry数组:
- 如果自己输入了一个size,他会作为参数传过来,但是不会直接用,它会向上取整取到2的次方,比如我给的是15,它会将capacity转为16
- 为什么要向上取整到2的次方呢?
主要是为了在确定元素下标的时候,2的次方-1能够使得后面的全部为1,在和元素的hash与运算的时候,可以保证元素下标不会越界
- put操作
- 注意put操作的返回值是value所在的类型的,不是key的类型.
当key重复的时候,返回的就是oldValue的值,当key不重复的时候,返回的是null
; - 如果数组为空,则初始化数组;
- 如果key不为空,那么首先根据hash算法计算出key的哈希值,然后通过indexFor方法将其转换为数组中的下标i,当key为空,就放在0位置.
- 下面的for循环就是为了当有相同的key的时候用新值替换旧址.
- 如果是新的元素,就会调用addEntry方法将值加进去,同时会考虑是否需需要扩容
- 当多线程进行操作,同时put的时候,如果都需要扩容,那么他就会生成多个newTable,但是你此时使用的oldTable是同一个,其中一个线程操作结束扩容成功之后,另一个线程就会把这些又复制到自己的数组中,由于两个复制的顺序是完全相反的,在最后在那个e=next的时候产生死循环(有的叫死锁),emm,这个我讲不太清除了我透
- 注意put操作的返回值是value所在的类型的,不是key的类型.
让其右移就是为了让高位对结果产生影响,位置能更加散列一点,让元素分布的更均匀一点
让hash值与length-1比较是因为这样子可以保证hash值所对应的数组下标不会越界,其范围用于在0-length-1
.
当hashmap中的所有元素个数总和(size是一个全局变量,添加一个元素就+1)>=阈值以及你当前放的位置不为空
的时候,它就会进行扩容
扩容的时候,通过resize方法将数组扩容为当前数组长度的2倍,具体的逻辑就是新建一个数组newTable,然后将oldTale的元素放到newTable上,最后让table引用指向newTable就可以了,不过记得更新阈值
.
在将oldTable的元素复制到newTable的时候,一般不会重新hash,而是直接重新根据每个元素的hash值计算新下标的值然后放进去
不过这样子,由于一个链表是从头结点开始往下移到新数组中,会导致原来的链表的顺序反过来了
移动的时候,也是先确定一个位置,让该Entry对象的next指向该位置,然后整体下移一位,让新元素作为头结点.
- get方法: 就是去先根据hash找出在下标中的位置,然后遍历链表找到就返回,否则就返回null
JDK1.8的HashMap
hashmap采用的是数组+链表+红黑树
里面的Entry<K,V>也直接改成了Node数组
- put方法
- hash方法:相比于JDK1.7简单一些,因为加入了红黑树,不过还是需要异或和循环右移(让高位参加运算),
- putVal()方法
final V putVal(int hash, K key, V value, boolean onlyIfAbsent, boolean evict) {
Node<K,V>[] tab; Node<K,V> p; int n, i;
if ((tab = table) == null || (n = tab.length) == 0)
n = (tab = resize()).length;
/*上面的两行,就是判断table是否为空,为空就需要去进行初始化
其中resize方法就包括了初始化和扩容两个部分*/
if ((p = tab[i = (n - 1) & hash]) == null)
tab[i] = newNode(hash, key, value, null);
/*上面的两行,就是在计算元素的下标,
然后根据下标去取出Node数组当前的元素,
如果当前元素为空,那就新建一个newNode放进去
就没有了1.7的让其next指针指向元素位置然后下移这个东西*/
else {
/*走到这里,就表示数组中那个位置有元素*/
Node<K,V> e; K k;
if (p.hash == hash &&
((k = p.key) == key || (key != null && key.equals(k))))
e = p;
/*上面的if是用来判断当前位置的元素和插入进来的位置是否是重复的元素,是就直接走到if (e != null) 这里*/
else if (p instanceof TreeNode)
e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
/*上面的elseif就表示当新加进来的元素不等于当前位置的元素,
那就先判断后面的元素是以链表方式还是红黑树方式存放着的,
如果当前节点是树节点,就通过putTreeVal方法添加元素*/
else {/*走到这里,就表示下面元素是以链表形式存放的*/
for (int binCount = 0; ; ++binCount) {
if ((e = p.next) == null) {
p.next = newNode(hash, key, value, null);
if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
treeifyBin(tab, hash);
break;
}
/*上面的if表示将元素插入到链表末尾,这个和1.7插到头部不一样,这样也可以避免死锁
同时插入后判断当前链表中的元素是否有8个,
如果有,那就认为需要将链表转换为树了
将链表树化*/
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
break;
p = e;//没有就继续往下走
}
/*同时在遍历链表的过程中它会去找有没有相同的key,有就break,走到下面的 if (e != null) 中去*/
}
if (e != null) { // existing mapping for key
V oldValue = e.value;
if (!onlyIfAbsent || oldValue == null)
e.value = value;
afterNodeAccess(e);
return oldValue;
}
/*这个if是用于判断我新加进来的元素是否为空,
不为空就直接替代,然后返回oldValue*/
}
++modCount;
if (++size > threshold)
resize();
/*上面的if就是用来判断是否需要扩容,阈值默认还是12*/
afterNodeInsertion(evict);
return null;
}
- resize()方法
扩容的时候,元素要么就保持在原来的下标,要么新下标就是原来的下标加原来数组的长度
这个要取决于就是新数组的长度-1之后的首位异或的时候是0还是1,0
final Node<K,V>[] resize() {
Node<K,V>[] oldTab = table;
int oldCap = (oldTab == null) ? 0 : oldTab.length;
int oldThr = threshold;
int newCap, newThr = 0;
if (oldCap > 0) {
if (oldCap >= MAXIMUM_CAPACITY) {
threshold = Integer.MAX_VALUE;
return oldTab;
}
else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
oldCap >= DEFAULT_INITIAL_CAPACITY)
newThr = oldThr << 1; // double threshold
}
else if (oldThr > 0) // initial capacity was placed in threshold
newCap = oldThr;
else { // 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);
}
threshold = newThr;
@SuppressWarnings({"rawtypes","unchecked"})
Node<K,V>[] newTab = (Node<K,V>[])new Node[newCap];
table = newTab;
if (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
Node<K,V> loHead = null, loTail = null;
Node<K,V> hiHead = null, hiTail = null;
Node<K,V> next;
do {
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;
}
} while ((e = next) != null);
if (loTail != null) {
loTail.next = null;
newTab[j] = loHead;
}
if (hiTail != null) {
hiTail.next = null;
newTab[j + oldCap] = hiHead;
}
}
}
}
}
return newTab;
}
- putTreeVal方法
final TreeNode<K,V> putTreeVal(HashMap<K,V> map, Node<K,V>[] tab,
int h, K k, V v) {
Class<?> kc = null;
boolean searched = false;
TreeNode<K,V> root = (parent != null) ? root() : this;
for (TreeNode<K,V> p = root;;) {
int dir, ph; K pk;
if ((ph = p.hash) > h)
dir = -1;
else if (ph < h)
dir = 1;
else if ((pk = p.key) == k || (k != null && k.equals(pk)))
return p;
else if ((kc == null &&
(kc = comparableClassFor(k)) == null) ||
(dir = compareComparables(kc, k, pk)) == 0) {
if (!searched) {
TreeNode<K,V> q, ch;
searched = true;
if (((ch = p.left) != null &&
(q = ch.find(h, k, kc)) != null) ||
((ch = p.right) != null &&
(q = ch.find(h, k, kc)) != null))
return q;
}
dir = tieBreakOrder(k, pk);
}
TreeNode<K,V> xp = p;
if ((p = (dir <= 0) ? p.left : p.right) == null) {
Node<K,V> xpn = xp.next;
TreeNode<K,V> x = map.newTreeNode(h, k, v, xpn);
if (dir <= 0)
xp.left = x;
else
xp.right = x;
xp.next = x;
x.parent = x.prev = xp;
if (xpn != null)
((TreeNode<K,V>)xpn).prev = x;
moveRootToFront(tab, balanceInsertion(root, x));
return null;
}
}
}
JDK1.7中的ConcurrentHashMap
它的键值都是不能为空的
我们知道hashtable是对整个hashmap加锁,效率很低,所以就有了concurrentHashMap.
ConcurrentHashMap是分段加锁的,它有两个数组
一个是Segment数组,然后在每个Segment对象中放着HashEntry数组,可以理解为每个segment对象就是一个hashmap,每个segment共用同一把锁
- 构造方法: 参数默认分别为16,0.75f,16,注意第一个16是我们存元素的entry数组哈,不是segment数组,包括负载因子也是entry数组的
- segment数组的初始容量
由下面的代码我们可以知道,最后只能够segment的size是16
当concurrencyLevel是自己传进来的,它就会自己向上调整到离他最近的2的次方数
- put方法