Java 集合框架(六):HashMap

HashMap

HashMap 的重要性和面试问到的频率不言而喻,这篇文章我们就 HashMap 的原理和代码来进行分析。

什么是哈希表

讨论哈希表之前,我们先来把一些常用的数据结构的增删改查的性能比较一下。

数组:采用一段连续的存储单元来存储数据。对与指定下标的查找和插入,其时间复杂度为 O(1),通过给定值查找,需要遍历数组,逐一比对,时间复杂度为 O(n)。对于删除操作,涉及到数组元素的移动,时间复杂度也为 O(n)。

线性链表:对于新增和删除操作,只需要更改引用即可,时间复杂度为 O(1)。查找操作需要遍历链表,时间复杂度为 O(n)。

二叉树:对于一颗相对平衡的有序二叉树,对其进行插入,查找,删除等操作,平均复杂度为 O(logn)。

哈希表:在不考虑哈希冲突的情况下,对哈希表中的数据进行添加,删除和查找等操作仅需要一次定位就可以完成,时间复杂度为 O(1)。哈希表是如何实现的那?

其实数据结构在物理存储层面只有两种:顺序存储结构和链式存储结构(像栈,队列,树,图等结构都是从逻辑结构中抽象的,映射到内存中,也是这两种形式)。哈希表的底层就是利用了数组,所以才能达到 O(1) 的时间复杂度。

哈希冲突:我们使用哈希表的时候,如果计算出来的地址相同怎么办?这就是哈希冲突。所以哈希函数的设计至关重要,好的哈希函数能够保证 计算简单和散列均匀分布。有了冲突怎么解决那?HashMap 底层数据结构是数组,每个数组节点里面放着链表,链表中的每个节点就是哈希表中的元素,在 JDK 1.8 中,当链表长度达到 8 时,链表会转化为红黑树,以便提高插入和查询效率。

概要

HashMap 是一个关联数组,哈希表。线程不安全,允许 key 为 null,value 为 null。底层数据结构是数组,每个数组节点里面放着链表,链表中的每个节点就是哈希表中的元素,在 JDK 1.8 中,当链表长度达到 8 时,链表会转化为红黑树,以便提高插入和查询效率。

代码分析

HashMap 的底层是数组,那么数组里面保存的是什么那?答案就是 Entry 键值对,key-value 键值对。1.8 改成了 Node 节点,原理相同。

//HashMap的主干数组,可以看到就是一个Entry数组,初始值为空数组{},主干数组的长度一定是2的次幂,至于为什么这么做,后面会有详细分析。
transient Node<k,v>[] table;//存储(位桶)的数组</k,v> 

Entry 类

//Node是单向链表,它实现了Map.Entry接口
static class Node<k,v> implements Map.Entry<k,v> {
    final int hash;
    final K key;
    V value;
    Node<k,v> next;
    //构造函数Hash值 键 值 下一个节点
    Node(int hash, K key, V value, Node<k,v> 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;
    }

所以 HashMap 的存储结构如下:

如果我们对 HashMap 进行操作时不包含链表,那么时间复杂度就是 O(1),如果包含链表,时间复杂度就是 O

(n)。JDK 1.8 为了提高性能,在链表长度为 8 时,会将链表转换为红黑树,这时时间复杂度就是 O(logn)。

其他几个重要字段:

//实际存储的key-value键值对的个数
transient int size;
//阈值,当table == {}时,该值为初始容量(初始容量默认为16);当table被填充了,也就是为table分配内存空间后,threshold一般为 capacity*loadFactory。HashMap在进行扩容时需要参考threshold,后面会详细谈到
int threshold;
static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // aka 16
//负载因子,代表了table的填充度有多少,默认是0.75
final float loadFactor;
static final float DEFAULT_LOAD_FACTOR = 0.75f;
//用于快速失败,由于HashMap非线程安全,在对HashMap进行迭代时,如果期间其他线程的参与导致HashMap的结构发生变化了(比如put,remove等操作),需要抛出异常ConcurrentModificationException
transient int modCount;

get 方法

public V get(Object key) {
    Node<K,V> e;
    return (e = getNode(hash(key), key)) == null ? null : e.value;
}
/**
     * Implements Map.get and related methods
     *
     * @param hash hash for key
     * @param key the key
     * @return the node, or null if none
     */
final Node<K,V> getNode(int hash, Object key) {
    Node<K,V>[] tab;//Entry对象数组
    Node<K,V> first,e; //在tab数组中经过散列的第一个位置
    int n;
    K k;
    /*找到插入的第一个Node,方法是hash值和n-1相与,tab[(n - 1) & hash]*/
    //也就是说在一条链上的hash值相同的
    if ((tab = table) != null && (n = tab.length) > 0 &&(first = tab[(n - 1) & hash]) != null) {
        /*检查第一个Node是不是要找的Node*/
        if (first.hash == hash && // always check first node
            ((k = first.key) == key || (key != null && key.equals(k))))//判断条件是hash值要相同,key值要相同
            return first;
        /*检查first后面的node*/
        if ((e = first.next) != null) {
            if (first instanceof TreeNode)
                return ((TreeNode<K,V>)first).getTreeNode(hash, key);
            /*遍历后面的链表,找到key值和hash值都相同的Node*/
            do {
                if (e.hash == hash &&
                    ((k = e.key) == key || (key != null && key.equals(k))))
                    return e;
            } while ((e = e.next) != null);
        }
    }
    return null;
}

根据 key 计算出 hash 值,然后 hash&(n-1)得到在数组中存储的位置,通过遍历链表或者红黑树得到想要的元素,hash 相同,key 相同才满足。

put 方法

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<K,V>[] tab;
    Node<K,V> p;
    int n, i;
    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<K,V> 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<K,V>)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);
                    //如果冲突的节点数已经达到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,就是key的Value存在
            V oldValue = e.value;
            if (!onlyIfAbsent || oldValue == null)
                e.value = value;
            afterNodeAccess(e);
            return oldValue;//返回存在的Value值
        }
    }
    ++modCount;
    /*如果当前大小大于门限,门限原本是初始容量*0.75*/
    if (++size > threshold)
        resize();//扩容两倍
    afterNodeInsertion(evict);
    return null;
}
  1. 判断键值对数组是否为空或者 null,否则以默认大小 resize()。
  2. 根据 key 计算的哈希值得到在数组中的所以,如果此时 [i] 为空,直接插入链表头部
  3. 不为空判断当前时链表还是红黑树,执行插入,如果 key 相同,则替换。

哈希值的计算其实是经过两遍哈希函数的,先用 key 计算 hashCode,然后用 hashCode 再次进行哈希,保证散列均匀。这个过程有很多位运算,效率比较高。

resize() 扩容方法

当容量达到阈值的时候,就会对数组进行扩容,数组长度发生变化,存储位置 index = h&(length-1) 也会发生变化,需要重新计算 index。

void transfer(Entry[] newTable, boolean rehash) {
    int newCapacity = newTable.length;
    //for循环中的代码,逐个遍历链表,重新计算索引位置,将老数组数据复制到新数组中去(数组不存储实际数据,所以仅仅是拷贝引用而已)
    for (Entry<K,V> e : table) {
        while(null != e) {
            Entry<K,V> next = e.next;
            if (rehash) {
                e.hash = null == e.key ? 0 : hash(e.key);
            }
            int i = indexFor(e.hash, newCapacity);
            //将当前entry的next链指向新的索引位置,newTable[i]有可能为空,有可能也是个entry链,如果是entry链,直接在链表头部插入。
            e.next = newTable[i];
            newTable[i] = e;
            e = next;
        }
    }
}

我们的数组索引位置的计算是通过 对key值的hashcode进行hash扰乱运算后,再通过和 length-1进行位运算得到最终数组索引位置。每次扩容会扩大为原来的两倍。HashMap 的数组长度一定是 2 的次幂是因为这个值可以是 Hash 算法散列的更加均匀。

另外我们重写 equals 方法之后也要重写 hashCode 方法,因为如果 equals 判断两个对象相等了,但是因为没有重写 hashCode 方法在进行 HashMap的相关操作时很有可能拿到错误的值。

另外 HashMap 允许插入 null key 和 value,null key 会被放入到 Table[0]。

String 和 Integer 这样的包装类适合作为 key 是因为:

  1. 他们时 final 类型,保证了 key 的不可变性,不会出现 hash 值不同的情况。
  2. 内部重写了 equals 和 hashCode 方法,严格的遵守规范,不会出现 hash 值计算错误。

高并发时 HashMap 会出现的问题

HashMap 的容量时有限的,当经过多次插入时,使得 HashMap 的大小达到了阈值,冲突记录就会很高,这时就需要进行扩容给,resize。

影响发生Resize的因素有两个:

1.Capacity

HashMap的当前长度。上一期曾经说过,HashMap的长度是2的幂。

2.LoadFactor

HashMap负载因子,默认值为0.75f。

衡量HashMap是否进行Resize的条件如下:

HashMap.Size >= Capacity * LoadFactor

扩容的具体步骤:

1.扩容

创建一个新的Entry空数组,长度是原数组的2倍。

2.ReHash

遍历原Entry数组,把所有的Entry重新Hash到新数组。为什么要重新Hash呢?因为长度扩大以后,Hash的规则也随之改变。

让我们回顾一下Hash公式:

index = HashCode(Key) & (Length - 1)

多线程环境下 ReHash 会带来什么问题?

Hashmap的Resize包含扩容和ReHash两个步骤,ReHash在并发的情况下可能会形成链表环,从而造成程序死循环。

在 JDK 1.8 里面修复了这个问题,转移数据时按照链表的正序遍历,在新链表的尾部插入,不会出现逆序,倒置的情况,故不容易成环。

JDK 1.8 HashMap 的改动

hash 算法的优化

增加了红黑树

修复了 rehash 在多线程环境下死循环的问题。

原文地址:https://www.cnblogs.com/paulwang92115/p/12184828.html

时间: 2024-11-09 01:18:08

Java 集合框架(六):HashMap的相关文章

Java集合框架之HashMap

HashMap 的底层由一个散列表来实现,存储的内容是键值对(key-value),且键值不能重复,最多允许有一个null值. 1.Map与Set的关系 Set集合的特点是不能存储重复元素,不能保持元素插入时的顺序,且key值最多允许有一个null值. 由于Map中的key与Set集合特点相同,所以如果将Map中的value值当作key的附属的话,所有的key值就可以组成一个Set集合. 两者的实现类图也比较相似,见Java集合框架之基础. 2.Map接口中定义的方法 Map接口中定义的部分重要

java集合框架08——HashMap和源码分析

本文为博主原创文章,转载请注明出处:http://blog.csdn.net/eson_15/article/details/51154989 上一章总体分析了Map架构,并简单分析了一下AbstractMap源码,这一章开始我们将对Map的具体实现类进行详细的学习.本章先研究HashMap.依然遵循以下步骤:先对HashMap有个整体的认识,然后学习它的源码,深入剖析HashMap. 1.HashMap简介 首先看一下HashMap的继承关系 java.lang.Object ? java.u

java集合框架12——HashMap和HashTable的区别

前面已经学习了Map的部分内容,主要是HashMap和HashTable,这一节我们来看看它们两有啥异同点. 1. HashMap和HashTable的相同点 HashMap和HashTable都是存储"键值对"的散列表,而且都是采用拉链法来实现的.存储的思想都是:通过table数组存储,数组的每个元素都是一个Entry,而一个Entry就是一个单项链表,Entry链表中的每个节点都保存了key-value数据. HashMap和HashTable的相同点基本没啥好研究的,我们更多的是

java集合框架小结(进阶版)之HashMap篇

基本概念: Hash(哈希):hash一般也译作“散列”.事实上,就是一个函数,用于直接定址.将数据元素的关键字key作为变量,通过哈希函数,计算生成该元素的存储地址. 冲突:函数是可以多对一的.即:多个自变量可以映射到同一函数值.一般而言,不同的key的hash值是不同的.在往hash表中映射的时候,不同的hash值可能映射到同一存储地址,这种情况被称为冲突. 解决冲突的方法: 1. 链表法:将冲突的各个元素用一个一维数组来维护.(java源码实现) 2. 开发寻址法:具体的有线性探测法.二次

java集合框架之java HashMap代码解析

 java集合框架之java HashMap代码解析 文章Java集合框架综述后,具体集合类的代码,首先以既熟悉又陌生的HashMap开始. 源自http://www.codeceo.com/article/java-hashmap-java-collection.html 签名(signature) public class HashMap<K,V> extends AbstractMap<K,V> implements Map<K,V>, Cloneable, Se

java 集合框架小结

一:集合框架  集合框架是为表示和操作集合而规定的一种统一的标准的体系结构.  任何集合框架都包含三大块内容:对外的接口.接口的实现和对集合运算的算法. 接口:即表示集合的抽象数据类型.Collection顶层接口.   实现:也就是集合框架中接口的具体实现.常用ArrayList.HashMap 算法:在一个实现了某个集合框架中的接口的对象身上完成某种有用的计算的方法,例如查找.排序等. 二:java集合框架包含的内容   主要常用的  接口                         

邂逅Java集合框架

Java集合框架是Java语言的重要组成部分,它包含了系统而完整的集合层次体系,封装了大量的数据结构的实现,深刻理解Java集合框架的组成结构及其中的实现类和算法,可以极大的提高程序员编码的能力. 一.概念 又称容器,是一个对象,能将具有相同性质的多个元素汇集成一个整体.集合框架被用于存储,获取,操纵和传输聚合的数据. 二.成员介绍 如下图,Java平台提供了一个全新的集合框架,其核心接口是Collection.List(列表).Set(集合)和Map(映射).由图可知,Collection是集

java集合框架综述

一.集合框架图 简化图: 说明:对于以上的框架图有如下几点说明 1.所有集合类都位于java.util包下.Java的集合类主要由两个接口派生而出:Collection和Map,Collection和Map是Java集合框架的根接口,这两个接口又包含了一些子接口或实现类.2. 集合接口:6个接口(短虚线表示),表示不同集合类型,是集合框架的基础.3. 抽象类:5个抽象类(长虚线表示),对集合接口的部分实现.可扩展为自定义集合类.4. 实现类:8个实现类(实线表示),对接口的具体实现.5. Col

Java集合框架04

集合框架·Map 和 Collections集合工具类 Map集合的概述和特点 * A:Map接口概述 * 查看API可知: * 将键映射到值的对象 * 一个映射不能包含重复的键 * 每个键最多只能映射到一个值 * B:Map接口和Collection接口的不同 * Map是双列的,Collection是单列的 * Map的键唯一,Collection的子体系Set是唯一的 * Map集合的数据结构值针对键有效,跟值无关:Collection集合的数据结构是针对元素有效 * Set底层依赖的是M

Java—集合框架List

集合的概念 现实生活中:很多的事物凑在一起 数学中的集合:具有共同属性的事物的总和 Java中的集合类:是一种工具类,就像是容器,存储任意数量的具有共同属性的对象 集合的作用 在类的内部,对数据进行组织(针对作用与意义一样的属性,将他们放到一个集合中) 简单而快速的搜索大数量的条目 有的集合接口,提供了一系列排列有序的元素,并且可以在序列中快速的插入或删除有关元素 有的集合接口,提供了映射关系,可以通过关键字(key)去快速查找到对应的唯一对象,而这个关键字可以是任意类型 与数组相比 数组的长度