浅析HashMap的实现
预备知识:
查找:根据输入的值在指定的数组中查找其是否存在。
基本的查找可以为:
在有序的数组中:折半查找
在无序数组中:顺序查找(改进的顺序查找:如果待查数组有规律,在查到某个位置后不再进行查找,从而减少查找次数)
Hash法:将待查数据经过hash函数计算后,得到存储位置,存放在指定位置。在查找时只需要计算就可得到是否存在某个元素(这里不讨论冲突的发生,及处理冲突的方法)。
Hash函数:根据指定值计算相应的hash值。
Hash函数的基本常见函数:数字分析法(根据数字本身的特性进行位置的确定)、除留余数法(将输入的值和不大于待散列数组的最大质数进行取余确定位置)、平方取中法(将数字去平方后,选择平方后的数字的中间部分)等
Hash产生冲突的原因:经过hash函数后的值有相同的。这是不可避免的,只能尽量减少。
冲突处理方法:
① 开放定址:线性探测再散列、随机探测等。优点:易于实现。缺点:增加了冲突的可能性,导致随后的冲突率增加;在查找过程中增加了查找次数。
② 拉链法:为每个冲突的元素创建一个结点,数据部分存放元素,指针部分指向下一个冲突元素的结点。优点:不会影响随后的元素插入。缺点:增加了内存开销。注意:JAVA中的HashMap和Oracle数据库中对于有相同hashcode值的数据存放采用的就是这个方式。
填充率:元素个数和数组长度的比值称为填充率。它是衡量一个hash函数好坏的标志之一,另外可以在达到某些值后进行长度的扩充,减少冲突。
HashMap:利用键值对存放数据。形式<Key k,Value v>。这里键值要求唯一,如果在插入过程中插入有相同的Key的键值对,会导致原来键值对中的值域部分被改变,从而引起数据的不一致。
下面解读HashMap的部分源码。
类之间的关系就不在一一赘述。差API知道,HashMap继承AbstractMap,实现了Map接口,Map接口定义了所有Map子类必须实现的方法。HashMap继承的父类和实现的接口和Set及List不同,它没有实现Collection接口。
HashMap的实例有两个参数影响其性能:初始容量和加载因子。初始容量只是哈希表在创建时的容量。加载因子是哈希表再其容量自动增加之前可以达到多满的一种尺度。当哈希表中的元素个数超出了加载因子与当前容量的乘积时,则要对该哈希表进行rehash操作(扩容操作)。
HashMap中定义的属性:
2 //默认的初始容量16.
4 static final int DEFAULT_INITIAL_CAPACITY = 16;
6 //最大容量,也就是2的30次幂(假设这里采用补码存储数字)
8 static final intMAXIMUM_CAPACITY = 1 << 30;
10 //默认装填因子0.75(公式为:元素个数和table长度的比值).
12 static final float DEFAULT_LOAD_FACTOR = 0.75f;
14 //存储数据的Entry数组
16 transient Entry[] table;
18 // map中保存的键值对的数量,也就是元素的个数
20 transient int size;
21
22 // 需要调整大小的极限值(容量*装载因子)
24 int threshold;
25
26 //装载因子,当HashMap的数据大小>=容量*加载因子时,HashMap会将容量扩容
28 final float loadFactor;
29
30 // map结构被改变的次数,基本没怎么使用
32 transient volatile int modCount;
HashMap的构造方法。
//使用默认的容量及装载因子构造一个空的HashMap
4 public HashMap() {
5 this.loadFactor = DEFAULT_LOAD_FACTOR;
6 threshold = (int)(DEFAULT_INITIAL_CAPACITY * DEFAULT_LOAD_FACTOR);
7 table = new Entry[DEFAULT_INITIAL_CAPACITY];//根据默认容量初始化table
8 init();
9 }
11 //根据给定的初始容量的装载因子创建一个空的HashMap
12 //初始容量小于0或装载因子小于等于0将报异常
14 public HashMap(int initialCapacity, float loadFactor) {
15 if (initialCapacity < 0)
16 throw new IllegalArgumentException("Illegalinitial capacity: " +
17 initialCapacity);
18 if (initialCapacity > MAXIMUM_CAPACITY)
19 initialCapacity =MAXIMUM_CAPACITY;
20 if (loadFactor <= 0 || Float.isNaN(loadFactor))
21 throw newIllegalArgumentException("Illegal load factor: " +
22 loadFactor);
23 int capacity = 1;
24 //设置capacity为大于initialCapacity且是2的幂的最小值
25 while (capacity < initialCapacity)
26 capacity <<= 1;
27 this.loadFactor = loadFactor;
28 threshold = (int)(capacity * loadFactor);
29 table = new Entry[capacity];
30 init();
31 }
32
33 //根据指定容量创建一个空的HashMap,这里装填因子为默认值0.75f
35 public HashMap(int initialCapacity) {
36 this(initialCapacity, DEFAULT_LOAD_FACTOR);
38 //通过传入的map创建一个HashMap,容量为默认容量(16)和(map.zise()/DEFAULT_LOAD_FACTORY)+1的较大者。
41 public HashMap(Map<? extends K, ? extends V> m) {
42 this(Math.max((int) (m.size() / DEFAULT_LOAD_FACTOR) + 1,
43 DEFAULT_INITIAL_CAPACITY), DEFAULT_LOAD_FACTOR);
44 putAllForCreate(m);
45 }
注意:在第二个构造方法中,capacity才是初始容量,而不是initialCapacity,即如果执行new HashMap(9,0.75),那么HashMap的初始容量是16,而不是9。根据装填因子的公式可知:数组长度为:元素个数除以装填因子。
在初始化table的时候都使用了Entry,这是HashMap的一个内部类。Map.Entry接口定义的方法:K getKey();V getValue();VsetValue();boolean equals(Object o);int hashCode();
HashMap.Entry类的具体实现
1static class Entry<K,V> implements Map.Entry<K,V> {
2 final K key;//唯一性,不能被不改变!
3 V value;//值域可以因为传入的键域相同而被改变
4 Entry<K,V> next;//对下一个节点的引用,也就是采用拉链法处理冲突
5 final int hash;//每个key的hash值唯一,不能被改变
7 Entry(int h, K k, V v, Entry<K,V> n) {
8 value = v;
9 next = n;
10 key = k;
11 hash = h;
12 }
13
14 public final K getKey() {
15 return key;
16 }
17
18 public final V getValue() {
19 return value;
20 }
21
22 public final V setValue(V newValue) {
23 V oldValue =value;
24 value = newValue;
25 return oldValue;//返回的是之前的Value
26 }
27
28 public final boolean equals(Object o) {
29 if (!(o instanceof Map.Entry))//先判断类型是否一致
30 return false;
31 Map.Entry e = (Map.Entry)o;
32 Object k1 = getKey();
33 Object k2 = e.getKey();
34 // Key相等且Value相等则两个Entry相等,如果hash值也等,则冲突。
35 if (k1 == k2 || (k1 != null&& k1.equals(k2))) {
36 Object v1 = getValue();
37 Object v2 = e.getValue();
38 if (v1 == v2 || (v1 != null&& v1.equals(v2)))
39 return true;
40 }
41 return false;
42 }
43 // hashCode是Key的hashCode和Value的hashCode的异或的结果
44 public final int hashCode() {
45 return (key==null ? 0 : key.hashCode()) ^
46 (value==null ? 0 :value.hashCode());
47 }
48 // 重写toString方法,是输出更清晰
49 public final String toString() {
50 return getKey() + "=" +getValue();
51 }
52
56 void recordAccess(HashMap<K,V> m) {
57 }
58
62 void recordRemoval(HashMap<K,V> m) {
63 }
64 }
put()方法剖析:
1public V put(K key, V value) {
2 if (key == null)
3 return putForNullKey(value);
4 int hash = hash(key.hashCode());//得到key的hash值,这个值不是索引位置
5 int i = indexFor(hash, table.length);//根据hash值和table的长度得到在table的位置
6 for (Entry<K,V> e = table[i]; e != null; e = e.next) {
//这里得到在table的i位置上的e,如果e不为空,则说明该位置上有元素,那么判断输入
//的键值对的hash码及其equals方法是否相等,如果相等,说明输入的元素的key值和已存在的相等,那么将它的value覆盖原来的value。
7 Object k;
8 if (e.hash == hash && ((k = e.key) == key || key.equals(k))) {
9 V oldValue = e.value;
10 e.value = value;
11 e.recordAccess(this);
12 return oldValue;
13 }
14 }
15
16 modCount++;
17 addEntry(hash, key, value, i);
18 return null;
19 }
当待put的key为null的时候会调用putForNullKey(value)方法,暂且绕过,先来看看如何hash。HashMap并 不是直接将对象的hashcode作为哈希值,而是把key的hashcode做一些运算以得到最终的哈希值,而且得到的哈希值也不是在数组中的位置,无 论是get还是put还是别的方法,计算哈希值都是:
1 int hash = hash(key.hashCode());
1 static int hash(int h) {
2 // This function ensures that hashCodes that differ only by
3 // constant multiples at each bit position have a bounded
4 // number of collisions (approximately 8 at default load factor).
5 h ^= (h >>> 20) ^ (h >>> 12);
6 return h ^ (h >>> 7) ^ (h >>> 4);
7 }
hash方法为什么要这样取值,有待探讨,但是作用肯定是防止冲突。如何确定数据在数组中的位置:
1 int hash = hash(k.hashCode());
2 int i = indexFor(hash,table.length);
第一行,得到哈希值,第二行,根据哈希值计算元素在数组中的位置。
1 static int indexFor(int h,int length){
2 return h & (length - 1);
3 }
"h&(length-1)"是一个进行与的运算。
首先我们要确定,HashMap的数组长度永远是偶数,所以length-1一定是一个奇数,假设现在的长度是16,length-1就是15,对应的二进制是:1111。
假设有两个元素,一个哈希值是8,二进制是1000,一个哈希值是9,二进制是1001。和1111与运算后,分别还是1000和1001,他们被分配在了数组的不同位置,这样,哈希的分布非常均匀。
那么如果数组的长度是奇数,减去1后就是偶数了,偶数对应的二进制最低位一定是0,例如14二进制1110。对上面两个数字分别与运算,得到 1000和1000。这样,哈希值8和9的元素会被存储在数组同一个位置的链表中。在操作的时候,链表中的元素越多,效率就会越低,因为要不停的对链表循环比较。
在找到元素在数组中的索引位置以后,会循环遍历table[i]所在的链表,如果找到key值与传入的key值相同的对象,则替换并返回原对象;若找不到,则通过addEntry(hash,key,value,i)添加新的对象。
1 void addEntry(int hash, K key, V value,int bucketIndex) { Entry<K,V>e = table[bucketIndex];
2 table[bucketIndex] = new Entry<K,V>(hash, key, value, e);
3 if (size++ >= threshold)
4 resize(2 *table.length);
5 }
以上过程就是新建一个Entry对象,并放在当前位置的Entry链表的头部。然后判断size是否达到了需要扩容的界限并让size增加1,如果达到了扩容的界限则调用resize(int capacity)方法。
1void resize(int newCapacity) {
2 Entry[] oldTable = table;
3 int oldCapacity = oldTable.length;
4 // 这个if块表明,如果容量已经到达允许的最大值,即MAXIMUN_CAPACITY,则不再拓展容量,而将装载拓展的界限值设为计算机允许的最大值。
5 // 不会再触发resize方法,而是不断的向map中添加内容,即table数组中的链表可以不断变长,但数组长度不再改变
6 if (oldCapacity == MAXIMUM_CAPACITY) {
7 threshold = Integer.MAX_VALUE;
8 return;
9 }
10 // 创建新数组,容量为指定的容量
11 Entry[] newTable = new Entry[newCapacity];
12 transfer(newTable);
13 table = newTable;
14 // 设置下一次需要调整数组大小的界限
15 threshold = (int)(newCapacity * loadFactor);
16 }
这里需要重点看看transfer方法:
1void transfer(Entry[] newTable) {
2 // 保留原数组的引用到src中,
3 Entry[] src = table;
4 // 新容量使新数组的长度
5 int newCapacity = newTable.length;
6 // 遍历原数组
7 for (int j = 0; j < src.length; j++) {
8 // 获取元素e
9 Entry<K,V> e = src[j];
10 if (e != null) {
11 // 将原数组中的元素置为null
12 src[j] = null;
13 // 遍历原数组中j位置指向的链表
14 do {
15 Entry<K,V> next = e.next;
16 // 根据新的容量计算e在新数组中的位置
17 int i = indexFor(e.hash,newCapacity);
18 // 将e插入到newTable[i]指向的链表的头部
19 e.next = newTable[i];
20 newTable[i] = e;
21 e = next;
22 } while (e != null);
23 }
24 }
25 }
tranfer方法将所有的元素重新哈希,因为新的容量变大,所以每个元素的哈希值和位置都是不一样的。
如果key值为空,我们来看看putForNullKey的处理过程:
1private V putForNullKey(V value) {
2 for (Entry<K,V> e = table[0]; e != null; e = e.next) {
3 if (e.key == null) {
4 V oldValue = e.value;
5 e.value = value;
6 e.recordAccess(this);
7 return oldValue;
8 }
9 }
10 modCount++;
11 addEntry(0, null, value, 0);
12 return null;
13 }
这是一个私有方法,在put方法中被调用。它首先遍历table数组,如果找到key为null的元素,则替换值并返回oldValue;否则通过addEntry方法添加元素,并返回null。
正确的使用HashMap
1.不要再并发场景中使用HashMap
HashMap是线程不安全的,如果被多个线程共享的操作,将会引发不可预知的问题。据sun的说法,在扩容时,会引起链表的闭环,在get元素时,就会无限循环。
1public V get(Object key) {
2 if(key == null)
3 return getForNullKey();
4 int hash = hash(key.hashCode());
5 for (Entry<K,V> e = table[indexFor(hash, table.length)];
6 e != null;
7 e = e.next) {
8 Object k;
9 if (e.hash == hash && ((k = e.key) == key || key.equals(k)))
10 return e.value;
11 }
12 return null;
13 }