博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
HashMap底层实现原理
阅读量:6533 次
发布时间:2019-06-24

本文共 13015 字,大约阅读时间需要 43 分钟。

hot3.png

在JDK1.6,JDK1.7中,HashMap采用位桶+链表实现,即使用链表处理冲突,同一hash值的链表都存储在一个链表里。但是当位于一个桶中的元素较多,即hash值相等的元素较多时,通过key值依次查找的效率较低。而JDK1.8中,HashMap采用位桶+链表+红黑树实现,当链表长度超过阈值(8)时,将链表转换为红黑树,这样大大减少了查找时间。

简单说下HashMap的实现原理:

首先有一个每个元素都是链表(可能表述不准确)的数组,当添加一个元素(key-value)时,就首先计算元素key的hash值,以此确定插入数组中的位置,但是可能存在同一hash值的元素已经被放在数组同一位置了,这时就添加到同一hash值的元素的后面,他们在数组的同一位置,但是形成了链表,同一各链表上的Hash值是相同的,所以说数组存放的是链表。而当链表长度太长时,链表就转换为红黑树,这样大大提高了查找的效率。

当链表数组的容量超过初始容量的0.75时,再散列将链表数组扩大2倍,把原链表数组的搬移到新的数组中

即HashMap的原理图是: 

这里写图片描述

一,JDK1.8中的涉及到的数据结构

1,位桶数组

transient Node[] table;//存储(位桶)的数组

2,数组元素Node实现了Entry接口

//Node是单向链表,它实现了Map.Entry接口

static class Node implements Map.Entry {    final int hash;    final K key;    V value;    Node next;    //构造函数Hash值 键 值 下一个节点    Node(int hash, K key, V value, Node next) {        this.hash = hash;        this.key = key;        this.value = value;        this.next = next;    }     public final K getKey()        { return key; }    public final V getValue()      { return value; }    public final String toString() { return key + = + value; }    public final int hashCode() {        return Objects.hashCode(key) ^ Objects.hashCode(value);    }    public final V setValue(V newValue) {        V oldValue = value;        value = newValue;        return oldValue;    }//判断两个node是否相等,若key和value都相等,返回true。可以与自身比较为true    public final boolean equals(Object o) {        if (o == this)            return true;        if (o instanceof Map.Entry) {            Map.Entry e = (Map.Entry)o;            if (Objects.equals(key, e.getKey()) &&                Objects.equals(value, e.getValue()))                return true;        }        return false;    }
  •  

3,红黑树

//红黑树static final class TreeNode extends LinkedHashMap.Entry {    TreeNode parent;  // 父节点    TreeNode left; //左子树    TreeNode right;//右子树    TreeNode prev;    // needed to unlink next upon deletion    boolean red;    //颜色属性    TreeNode(int hash, K key, V val, Node next) {        super(hash, key, val, next);    }  //返回当前节点的根节点    final TreeNode root() {        for (TreeNode r = this, p;;) {            if ((p = r.parent) == null)                return r;            r = p;        }    }

二,源码中的数据域

加载因子(默认0.75):为什么需要使用加载因子,为什么需要扩容呢?因为如果填充比很大,说明利用的空间很多,如果一直不进行扩容的话,链表就会越来越长,这样查找的效率很低,因为链表的长度很大(当然最新版本使用了红黑树后会改进很多),扩容之后,将原来链表数组的每一个链表分成奇偶两个子链表分别挂在新链表数组的散列位置,这样就减少了每个链表的长度,增加查找效率

HashMap本来是以空间换时间,所以填充比没必要太大。但是填充比太小又会导致空间浪费。如果关注内存,填充比可以稍大,如果主要关注查找性能,填充比可以稍小。

public class HashMap extends AbstractMap implements Map, Cloneable, Serializable {    private static final long serialVersionUID = 362498820763181265L;    static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // aka 16    static final int MAXIMUM_CAPACITY = 1 << 30;//最大容量    static final float DEFAULT_LOAD_FACTOR = 0.75f;//填充比    //当add一个元素到某个位桶,其链表长度达到8时将链表转换为红黑树    static final int TREEIFY_THRESHOLD = 8;    static final int UNTREEIFY_THRESHOLD = 6;    static final int MIN_TREEIFY_CAPACITY = 64;    transient Node[] table;//存储元素的数组    transient Set> entrySet;    transient int size;//存放元素的个数    transient int modCount;//被修改的次数fast-fail机制    int threshold;//临界值 当实际大小(容量*填充比)超过临界值时,会进行扩容     final float loadFactor;//填充比(......后面略)

三,HashMap的构造函数 

HashMap的构造方法有4种,主要涉及到的参数有,指定初始容量,指定填充比和用来初始化的Map

//构造函数1public HashMap(int initialCapacity, float loadFactor) {    //指定的初始容量非负    if (initialCapacity < 0)        throw new IllegalArgumentException(Illegal initial capacity:  +                                           initialCapacity);    //如果指定的初始容量大于最大容量,置为最大容量    if (initialCapacity > MAXIMUM_CAPACITY)        initialCapacity = MAXIMUM_CAPACITY;    //填充比为正    if (loadFactor <= 0 || Float.isNaN(loadFactor))        throw new IllegalArgumentException(Illegal load factor:  +                                           loadFactor);    this.loadFactor = loadFactor;    this.threshold = tableSizeFor(initialCapacity);//新的扩容临界值}//构造函数2public HashMap(int initialCapacity) {    this(initialCapacity, DEFAULT_LOAD_FACTOR);}//构造函数3public HashMap() {    this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted}//构造函数4用m的元素初始化散列映射public HashMap(Map m) {    this.loadFactor = DEFAULT_LOAD_FACTOR;    putMapEntries(m, false);}

四,HashMap的存取机制

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) {        Node
[] tab; Node
p; int n, i; 如果tal还未初始化或者table的长度为0先调用resize初始化table if ((tab = table) == null || (n = tab.length) == 0) n = (tab = resize()).length; //如果table的在(n-1)&hash的值是空,就新建一个节点插入在该位置 if ((p = tab[i = (n - 1) & hash]) == null) tab[i] = newNode(hash, key, value, null); //否则存在冲突,开始处理冲突 else { Node
e; K k; //检查第一个Node,p是不是要找的值 if (p.hash == hash && ((k = p.key) == key || (key != null && key.equals(k)))) e = p; else if (p instanceof TreeNode) e = ((TreeNode
)p).putTreeVal(this, tab, hash, key, value); else { //遍历到列表的最后一个,指针为空就挂在后面 for (int binCount = 0; ; ++binCount) { if ((e = p.next) == null) { p.next = newNode(hash, key, value, null); //如果冲突的节点数已经达到TREEIFY_THRESHOLD(8)个,看是否需要改变冲突节点的存储结构,                         //treeifyBin首先判断当前hashMap的长度,如果不足64,只进行 //resize,扩容table,如果达到64,那么将冲突的存储结构为红黑树 if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st treeifyBin(tab, hash); break; } //如果有相同的key值就结束遍历 if (e.hash == hash && ((k = e.key) == key || (key != null && key.equals(k)))) break; p = e; } } //就是链表上有相同的key值 if (e != null) { // existing mapping for key V oldValue = e.value; //onlyIfAbsent为true那么久不执行重复key的value的替换, if (!onlyIfAbsent || oldValue == null) e.value = value; afterNodeAccess(e); //返回存在的Value值 return oldValue; } } ++modCount; //如果当前大小大于门限,门限原本是初始容量*0.75 if (++size > threshold) //扩容两倍 resize(); afterNodeInsertion(evict); return null; }
 
/**     * Replaces all linked nodes in bin at index for given hash unless     * table is too small, in which case resizes instead.     */    final void treeifyBin(Node
[] tab, int hash) { int n, index; Node
e; if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY) //如果table的长度不超过MIN_TREEIFY_CAPACITY(=64)个,那么直接进行resize resize(); else if ((e = tab[index = (n - 1) & hash]) != null) { TreeNode
hd = null, tl = null; do { TreeNode
p = replacementTreeNode(e, null); if (tl == null) hd = p; else { p.prev = tl; tl.next = p; } tl = p; } while ((e = e.next) != null); if ((tab[index] = hd) != null) hd.treeify(tab); } }

下面简单说下添加键值对put(key,value)的过程: 

1,判断键值对数组tab[]是否为空或为null,否则以默认大小resize(); 
2,根据键值key计算hash值得到插入的数组索引i,如果tab[i]==null,直接新建节点添加,否则转入3 
3,判断当前数组中处理hash冲突的方式为链表还是红黑树(check第一个节点类型即可),分别处理

五,HasMap的扩容机制resize();

构造hash表时,如果不指明初始大小,默认大小为16(即Node数组大小16),如果Node[]数组中的元素达到(填充比*Node.length)重新调整HashMap大小 变为原来2倍大小,扩容很耗时

/**     * Initializes or doubles table size.  If null, allocates in     * accord with initial capacity target held in field threshold.     * Otherwise, because we are using power-of-two expansion, the     * elements from each bin must either stay at same index, or move     * with a power of two offset in the new table.     *     * @return the table     */    final Node[] resize() {        Node[] 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;            }    /*把新表的长度设置为旧表长度的两倍,newCap=2*oldCap*/            else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&                     oldCap >= DEFAULT_INITIAL_CAPACITY)          /*把新表的门限设置为旧表门限的两倍,newThr=oldThr*2*/                newThr = oldThr << 1; // double threshold        }     /*如果旧表的长度的是0,就是说第一次初始化表*/        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[] newTab = (Node[])new Node[newCap];        table = newTab;//把新表赋值给table        if (oldTab != null) {//原表不是空要把原表中数据移动到新表中               /*遍历原来的旧表*/                 for (int j = 0; j < oldCap; ++j) {                Node e;                if ((e = oldTab[j]) != null) {                    oldTab[j] = null;                    if (e.next == null)//说明这个node没有链表直接放在新表的e.hash & (newCap - 1)位置                        newTab[e.hash & (newCap - 1)] = e;                    else if (e instanceof TreeNode)                        ((TreeNode)e).split(this, newTab, j, oldCap);    /*如果e后边有链表,到这里表示e后面带着个单链表,需要遍历单链表,将每个结点重*/                    else { // preserve order保证顺序                    新计算在新表的位置,并进行搬运                        Node loHead = null, loTail = null;                        Node hiHead = null, hiTail = null;                        Node next;                        do {                            next = e.next;//记录下一个结点              //新表是旧表的两倍容量,实例上就把单链表拆分为两队,              //e.hash&oldCap为偶数一队,e.hash&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);                        if (loTail != null) {//lo队不为null,放在新表原位置                            loTail.next = null;                            newTab[j] = loHead;                        }                        if (hiTail != null) {//hi队不为null,放在新表j+oldCap位置                            hiTail.next = null;                            newTab[j + oldCap] = hiHead;                        }                    }                }            }        }        return newTab;    }

六,JDK1.8使用红黑树的改进

在java jdk8中对HashMap的源码进行了优化,在jdk7中,HashMap处理“碰撞”的时候,都是采用链表来存储,当碰撞的结点很多时,查询时间是O(n)。 

在jdk8中,HashMap处理“碰撞”增加了红黑树这种数据结构,当碰撞结点较少时,采用链表存储,当较大时(>8个),采用红黑树(特点是查询时间是O(logn))存储(有一个阀值控制,大于阀值(8个),将链表存储转换成红黑树存储)

这里写图片描述

问题分析:

你可能还知道哈希碰撞会对hashMap的性能带来灾难性的影响。如果多个hashCode()的值落到同一个桶内的时候,这些值是存储到一个链表中的。最坏的情况下,所有的key都映射到同一个桶中,这样hashmap就退化成了一个链表——查找时间从O(1)到O(n)。

随着HashMap的大小的增长,get()方法的开销也越来越大。由于所有的记录都在同一个桶里的超长链表内,平均查询一条记录就需要遍历一半的列表。

JDK1.8HashMap的红黑树是这样解决的:

如果某个桶中的记录过大的话(当前是TREEIFY_THRESHOLD = 8),HashMap会动态的使用一个专门的treemap实现来替换掉它。这样做的结果会更好,是O(logn),而不是糟糕的O(n)。

它是如何工作的?前面产生冲突的那些KEY对应的记录只是简单的追加到一个链表后面,这些记录只能通过遍历来进行查找。但是超过这个阈值后HashMap开始将列表升级成一个二叉树,使用哈希值作为树的分支变量,如果两个哈希值不等,但指向同一个桶的话,较大的那个会插入到右子树里。如果哈希值相等,HashMap希望key值最好是实现了Comparable接口的,这样它可以按照顺序来进行插入。这对HashMap的key来说并不是必须的,不过如果实现了当然最好。如果没有实现这个接口,在出现严重的哈希碰撞的时候,你就并别指望能获得性能提升了。

总之就是一句话:HashMap的底层通过位桶实现,位桶里面存的是链表(1.7以前)或者红黑树(有序,1.8开始) ,其实就是数组加链表(或者红黑树)的格式,通过判断hashCode定位位桶中的下标,通过equals定位目标值在链表中的位置,所以如果你使用的key使用可变类(非final修饰的类),那么你在自定义hashCode和equals的时候一定要注意要满足:如果两个对象equals那么一定要hashCode相同,如果是hashCode相同的话不一定要求equals!所以一般来说不要自定义hashCode和equls,推荐使用不可变类对象做key,比如Integer、String等等。

大家也可以看看这个文章:

转载于:https://my.oschina.net/JiangTun/blog/1827515

你可能感兴趣的文章
Makefile 中:= ?= += =的区别【转】
查看>>
使用makecontext实现用户线程【转】
查看>>
Comet:基于 HTTP 长连接的“服务器推”技术
查看>>
BZOJ 2733: [HNOI2012]永无乡 启发式合并treap
查看>>
四种方法校验数组中是否包含某个指定的字符串
查看>>
29、Java并发性和多线程-非阻塞算法
查看>>
安装OpenResty开发环境
查看>>
第0课 从0开始
查看>>
python class和class(object)用法区别
查看>>
hadoop无法启动DataNode问题
查看>>
java泛型中<?>和<T>区别
查看>>
这里是指推送通知跟NSNotification有区别:
查看>>
Linux中断(interrupt)子系统之一:中断系统基本原理【转】
查看>>
用户ID的代码生成
查看>>
win7经常出现“关闭xxxx前您必须关闭所有会话框”
查看>>
SNMP安全配置的两种方法(也可同一时候兼顾配置两种方法)
查看>>
react-native 常见操作 及 git 补充
查看>>
MongoDB 自己定义函数
查看>>
Summary Day30
查看>>
逆向输出回环数组
查看>>