快速回顾HashMap

HashMap 总结速览 快速回顾

这部分速览,主要是方便快速复习

Tables   有序 允许元素重复
Collection  
List  
Set AbstractSet
  HashSet
  TreeSet 是(用二叉树排序)
Map AbstractMap 使用key-value来映射和存储数据,Key必须惟一,value可以重复
  HashMap 同上
  TreeMap 是(用二叉树排序) 同上

HashMap特点

HashMap的put写数据具体流程

put(key,value)

    public V put(K key, V value) {
        return putVal(hash(key), key, value, false, true);
    }
    
    /**
     * Implements Map.put and related methods.
     *
     * @param hash hash for key
     * @param key the key
     * @param value the value to put
     * @param onlyIfAbsent if true, don't change existing value
     * @param evict if false, the table is in creation mode.
     * @return previous value, or null if none
     */
    final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
                   ......
                   
                   }

说到这里 更新两个有意思的方法 很方便

    map.put(key, map.getOrDefault(key, 0) + 1);
    //getOrDefault(key, 0)有key就用key对应的value,没有就使用defaultValue,这里的defaultValue传入值为0
    //以前没怎么注意到hashmap这个方法 其实挺好用的 

    //当Map集合中有这个key时,就使用这个key值去获取相应value来使用,如果没有就使用默认值defaultValue
    default V getOrDefault(Object key, V defaultValue)
    //果传入key对应的value已经存在,就返回存在的value,不进行替换。如果不存在,就添加key和value,返回null
    V putIfAbsent(K key, V value)

寻址算法

1.key 与 hashCode 高低位异或 获取hash字段

static final int hash(Object key) {
        int h;
        return key == null ? 0 : (h = key.hashCode()) ^ h >>> 16;//高16位^低16位 
    }

2.hash&(table.length-1)得到slot 下标 与高位为0 低位全1的数 按位与

数据插入

3.根据slot槽内状况,状况不同,情况不同

源码里面斜的很清楚 顺下来就对了

HashMap的resize扩容机制

先扩容再迁移;

扩容机制 未指定容量创建后的首次put时扩容为默认容量16; 后续的扩容为双倍扩容(不超过最大容量);

迁移机制

情况1:头节点无后续节点,只有一个Node 直接使用e.hash & (newCap - 1)定位迁移

if (e.next == null)//头节点无后续节点,说明只需将头节点移动到新数组
                        newTab[e.hash & (newCap - 1)] = e;//根据新数组长度和该链表头节点已有的hash重新计算该链表头节点

情况2:红黑树类型头节点,进行树的拆分迁移

else if (e instanceof TreeNode)//判断链表头节点类型是否是红黑树
                        ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);//将树链表中的数据从旧数组移到新数组

情况3:链表类型,节点需要进行高低位分组放置

if ((e.hash & oldCap) == 0) { //放原位置}
   else { //放 (原位置+oldCap)  位置 }

注:(e.hash & oldCap) == 0 此处核心判断条件 为何不再使用 e.hash & (newCap - 1)去定位

举例推导:

newCap = oldCap « 1

举例,oldCap = 16,hash1 = 00 0101,hash2 = 01 0101,在原容积上产生碰撞,置于同一个slot槽内的链表上。

扩容后,两个元素将被hash到不同slot槽上寻址,hash1低位寻址到原位置,hash2高位寻址到 原位置+原数组长度

img

由于数组的容量是以2的幂次方扩容的,那么一个Entity在扩容时,新的位置要么在原位置,要么在原长度+原位置的位置。

因此,在扩容时,不需要重新计算元素的hash了,只需要判断最高位是1还是0就好了。

oldCap 01 0000(16) 01 0000(16)
newCap 10 0000(32) 10 0000(32)
e.hash 00 0101 01 0101
e.hash & (oldCap-1) 00 0101(5) 00 0101(5)
e.hash & (newCap-1) 00 0101(5) 01 0101(21)
e.hash & oldCap 0 1

完整源码

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) {//如果旧数组容量大于0
            if (oldCap >= MAXIMUM_CAPACITY) {//如果旧数组容量大于等于最大容量
                threshold = Integer.MAX_VALUE;//则直接修改旧数组扩容阈值为整型数最大值
                return oldTab;//返回旧数组容量,不再做其他操作
            }
            else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
                     oldCap >= DEFAULT_INITIAL_CAPACITY)
                     //若旧数组容量小于最大容量且新数组容量扩大至旧数组容量的2倍后依旧小于最大容量,
                     //并且旧数组容量大于等于默认的初始化容量16
                newThr = oldThr << 1; // double threshold //则将新数组阈值扩大至旧数组扩容阈值的2倍
        }
        else if (oldThr > 0) // initial capacity was placed in threshold
        //若旧数组容量小于等于0,且旧数组扩容阈值大于0(当new HashMap(0)后再put操作时,会执行到这里)
            newCap = oldThr;//则将旧数组阈值赋给新数组容量
        else {               // zero initial threshold signifies using defaults
        //若旧数组容量和旧数组阈值均小于0,说明数组需要初始化
            newCap = DEFAULT_INITIAL_CAPACITY;//将新数组容量设为默认初始化容量16
            //将新数组扩容阈值赋值为默认负载因子0.75乘以默认初始化容量16
            newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);
        }
        if (newThr == 0) {
        //经过上述逻辑后新数组扩容阈值仍为0,说明新数组扩容阈值尚未处理过,但走到这里之前新数组容量已经被处理完了,
        //所以需要按照新数组容量负载因子的公式重新计算
            float ft = (float)newCap * loadFactor;
            newThr = (newCap < MAXIMUM_CAPACITY && ft < (float)MAXIMUM_CAPACITY ?
                      (int)ft : Integer.MAX_VALUE);
        }
        threshold = newThr; //将新数组扩容阈值赋值给HashMap的扩容阈值字段
        @SuppressWarnings({"rawtypes","unchecked"})
        Node<K,V>[] newTab = (Node<K,V>[])new Node[newCap];//按照新数组容量创建新数组
        table = newTab;//将创建的新数组赋值给HashMap的数组字段
        if (oldTab != null) {//若旧数组不为null,则需要将旧数组中的数组迁移到新数组中,并将旧数组各位置置为null.
            for (int j = 0; j < oldCap; ++j) {//根据旧数组长度,循环遍历各数组索引下标
                Node<K,V> e;
                if ((e = oldTab[j]) != null) {//判断每个数组索引位置对应的链表的头节点是否为空,若为空则该索引位置无数据,
                //就不需要接下来的操作,不为空才继续往下进行处理,将该链表的数据转移赋值给新数组
                    oldTab[j] = null;//将旧数组该位置置为null,提醒gc回收
                    if (e.next == null)//头节点无后续节点,说明只需将头节点移动到新数组
                        newTab[e.hash & (newCap - 1)] = e;//根据新数组长度和该链表头节点已有的hash重新计算该链表头节点
                        //在新数组中的索引下标位置,并将头节点直接赋值给新数组的该索引下标。
                    else if (e instanceof TreeNode)//判断链表头节点类型是否是红黑树
                        ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);//将树链表中的数据从旧数组移到新数组
                    else { // preserve order //走到这里,说明链表头节点有后续节点,后面会保留原有链表的顺序进行新旧数组的数据转移
                    //旧数组的每个索引位置里的链表头节点转移到新数组后的索引位置时要重新rehash,重新计算的:根据(e.hash & oldCap) 
                    //是否等于0,分成2类:①等于0时,则将该头节点放到新数组时的索引位置等于其在旧数组时的
                    //索引位置,记未低位区链表lo;②不等于0时,则将该头节点放到新数组时的索引位置等于其在旧数组时的
                    //索引位置再加上旧数组长度,记为高位区链表hi
                        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) {
                            //用链表节点的hash值与为2的n次幂的旧数组长度直接进行与的位运算,若(e.hash & oldCap)的结果为0,
                            //则可以推导得到该链表节点所在的链表头节点移动到扩容为2倍的新数组时的所在索引
                            //下标位置与在旧数组的索引下标位置相同(处于同一条链表中的所有节点的hash值相同)
                                if (loTail == null)//低位链表的末尾为null, 对于每个链表来说,说明是第一次走到这里,
                                //而且此处也只会走进来一次,因为后续会将非null的e赋值给loTail了。
                                    loHead = e;//说明e为低位链表头节点,并将其赋给代表低位链表头节点的loHead
                                else //说明低位链表末尾不为null,说明至少处理过一次loTail了,即头节点肯定已经处理过了,下面
                                //应该去处理低位链表头节点的后续节点了
                                    loTail.next = e; //处理完低位链表头节点后,根据next=e.next和while((e=next)!=null),
                                    //依次循环递进处理低位链表头节点的后续节点,将旧数组中的链表头节点的后续节点,
                                    //追加到低位链表头节点loHead的next里。
                                loTail = e;//将非null的e赋给loTail,首次走到这里时,loTail和loHead都指向e。
                            }
                            else {//用链表节点的hash值与为2的n次幂的旧数组长度直接进行与的位运算,若(e.hash & oldCap)的结果不为0,
                            //则可以推导得到该链表节点所在的链表头节点移动到扩容为2倍的新数组时的所在索引下标位置与
                            //在(旧数组的索引下标位置+旧数组长度)相等(处于同一条链表中的所有节点的hash值相同)
                                if (hiTail == null)//高位链表的末尾为null,对于每个链表来说,说明是第一次走到这里,
                                //而且此处也只会走进来一次,因为后续会将非null的赋值给hiTail了。
                                    hiHead = e;//说明e为高位链表头节点,并将其赋给代表高位链表头节点的hiTail
                                else   //说明高位链表末尾不为null,说明至少处理过一次hiTail了,即头节点肯定已经处理过了,
                                //下面应该去处理高位链表头节点的后续节点了
                                    hiTail.next = e;//处理完高位链表头节点后,根据next=e.next和while((e=next)!=null),
                                    //依次循环递进处理高位链表头节点的后续节点,将旧数组中的链表头节点的后续节点,
                                    //追加到高位链表头节点loHead的next里。
                                hiTail = e;//将非null的e值赋给hiTail,首次走到这里时,hiTail和hiHead都指向e。
                            }
                        } while ((e = next) != null);//链表后续还有节点时,才继续处理,否则跳出循环
                        if (loTail != null) {//低位链表尾节点不为空,说明旧数组向低位链表的数据转移已处理完,可做进一步处理
                            loTail.next = null;//要保证低位链表尾节点的后续节点为null
                            newTab[j] = loHead;//loHead代表了低位链表的头节点,也就代表了整条低位链表(其上已经将旧数组中
                            //j索引位置上的链表里的所有节点都转移到了该低位链表上),而从前面的处理逻辑可知,
                            //低位链表移动到新数组时的索引下标位置,与在旧数组上的索引位置相同,
                            //故直接将低位链表头节点赋给新数组的j索引下标位置即完成转移。
                        }
                        if (hiTail != null) {//高位链表尾节点不为空,说明旧数组向高位链表的数据转移已处理完,可做进一步处理
                            hiTail.next = null;//要保证高位链表尾节点的后续节点为null 
                            newTab[j + oldCap] = hiHead;// hiHead代表了高位链表的头节点,也就代表了整条高位链表(其上
                            //已经要移动到新数组(j+oldCap)索引位置上的所有节点都转移到了高位链表上),而从前面的处理逻辑可知,
                            //高位链表移动到新数组时的索引下标位置,与在旧数组上的索引位置相差了一个旧数组长度oldCap,
                            //故直接将高位链表头节点赋给新数组的(j+oldCap)索引下标位置即完成转移。
                        }
                    }
                }
            }
        }
        return newTab;//返回处理完的新数组
    }

哈希冲突

理论上不可避免,只能尽量避免

hash函数要求

JDK为什么引入红黑树

  链表平均查找长度N/2 红黑树平均查找长度log(N) 说明
N=8 4 3 有必要转红黑树
N=6 3 2.6 树的生成需要时间,性能差异不大时,链表结构更优

红黑树 特殊的二叉排序树 也可以有很多
比如 红黑树的插入 红黑树的扩容

基本使用

/*
* Map集合和Collection集合的区别?
* Map集合存储元素是成对出现的,Map集合的键是唯一的,就是可重复的。可以把这个理解为:夫妻对
* Collection集合存储元素是单独出现的,Collection的儿子Set是唯一的,List是可重复的,可以把这个理解为:光棍
* 
* 注意:
* Map集合的数据结构值针对键有效,限值无效
* Collection集合的数据结构是针对元素有效
* 
* */

//Map集合的功能概述:
//1:添加功能
V put(K key,V value);//添加元素
//如果键是第一次存储,就直接存储元素,返回null
//如果键不是第一次存储,就用值把以前的值替换掉,返回以前的值

//2:删除功能
void clear();//移除所有的键值对元素
V remove(Object key);//根据键删除键值对元素,并把值返回

//3:判断功能
boolean containsKey(Object key);//判断集合是否包含指定的键
boolean containsValue(Object value);//判断集合是否包含指定的值
boolean isEmpty();//判断集合是否为空

//4:获取功能
set<Map,Entry<E,V>> entrySet();获取键值对的对象集合
V get(Object key);//根据键获取值
Set<K> keySet();//获取集合中所有键的集合
Collection<V> values();//获取集合中所有值的集合

//5:长度功能
int size();//返回集合中的键值对的对数

Map集合的遍历

import java.util.HashMap;
import java.util.Map;
import java.util.Set;
 
/*
 * Map集合的遍历,根据键查询值
 *
 * 思路:
 * A:获取所有的键
 * B:遍历键的集合,获取得到每一个键
 * C:根据键查询值
 * */
 
public class IntegerDemo {
  public static void main(String[] args) {
    // TODO Auto-generated method stub
 
    Map<String, String> map = new HashMap<String, String>();
 
    map.put("mia", "Ma");
    map.put("dave", "Chou");
    map.put("nora", "Chen");
 
    System.out.println(map);
 
    // A:获取所有的键
    Set<String> set = map.keySet();
 
    // B:遍历键的集合,获取得到每一个键
    for (String key : set) {
      // C:根据键查询值
      String value = map.get(key);
      System.out.println(key + "---" + value);
    }
  }
}
import java.util.HashMap;
import java.util.Map;
import java.util.Set;
 
/*
 * Map集合的遍历,根据对象查询键和值
 *
 * 思路:
 * A:获取所有的键值对对象的集合
 * B:遍历键值对对象的集合,得到每一个键值对的对象
 * C:获取键和值
 * */
 
public class IntegerDemo {
  public static void main(String[] args) {
    // TODO Auto-generated method stub
 
    Map<String, String> map = new HashMap<String, String>();
 
    map.put("mia", "Ma");
    map.put("dave", "Chou");
    map.put("nora", "Chen");
 
    System.out.println(map);
 
    // A:获取所有的键值对对象的集合
    Set<Map.Entry<String, String>> set = map.entrySet();
 
    // B:遍历键值对对象的集合,得到每一个键值对的对象
    for (Map.Entry<String, String> me : set) {
      // C:获取键和值
      String key = me.getKey();
      String value = me.getValue();
      System.out.println(key + "---" + value);
    }
  }
}

/*
* 1:HashMap和Hashtable的区别?
* HashMap线程不安全,效率高,允许null键和null值
* Hashtable线程安全,效率低,不允许null键和null值
* 
* 2:List,Set,Map等接口是否都继承于Map接口?
* List,Set不是继承自Map接口,它们继承自Collection接口
* Map接口本身就是一个顶层接口
* */
import java.util.HashMap;
import java.util.Hashtable;
 
public class IntegerDemo {
  public static void main(String[] args) {
    // TODO Auto-generated method stub
 
    HashMap<String, String> hm = new HashMap<String, String>();
    Hashtable<String, String> ht = new Hashtable<String, String>();
 
    hm.put("hello", "world");
    hm.put("java", "c++");
    hm.put(null, "sql");
 
    ht.put("hello", "world");
    ht.put("java", "c++");
    ht.put(null, "sql");// Exception in thread "main"
              // java.lang.NullPointerException
  }
}


HashMap与LinkedHashMap 有轮子看了

附上一些HashMap博客