//-----------------------------------------------------------------------------------
转载需注明出处：http://blog.csdn.net/chdjj
//-----------------------------------------------------------------------------------
注：以下源码基于jdk1.7.0_11
之前的几篇文章介绍了List集合中一些比较常见的类，比如ArrayList、LinkedList、Vector等。本篇文章将介绍集合框架的另一块内容——Map集合。本文主要介绍HashMap。
先回顾下哈希表。
哈希表定义：根据设定的hash函数和处理冲突的方式（开放定址、公共溢出区、链地址、重哈希...）将一组关键字映射到一个有限的连续的地址集上（即bucket数组或桶数组），并以关键字在地址集中的“像”作为记录在表中的存储位置，这种表称为hash表，这一映射过程称为散列，所得存储位置称为哈希地址或散列地址。hash表具有良好的查找性能，在冲突概率很小的情况下，时间复杂度为O（1）。
装载因子：
loadfactor = 表中填入的记录数/哈希表的长度.所以loadfactor标志着哈希表的装满程度。
直观的看，装载因子越小，发生冲突的概率越小（因为桶中还没装几个数据，就需要扩容），也就是查找性能越好，但同时浪费的空间就变大。相反，装载因子越大，发生冲突的概率越大（等到桶快填满时才能扩容，比如，采用链表法处理冲突，在此种情况下，会导致链表过长），查找性能越差，同时浪费的空间会减少。
后面我们会看到，
HashMap默认的装载因子为0.75.
下面，依然是自顶向下分析，
首先看Map接口：
public interface Map<K,V> {//Map集合的顶级接口定义
// Query Operations
int size();
boolean isEmpty();
boolean containsKey(Object key);//是否包含指定键
boolean containsValue(Object value);//是否包含指定值
V get(Object key);
// Modification Operations
V put(K key, V value);
V remove(Object key);
// Bulk Operations
void putAll(Map<? extends K, ? extends V> m);//批量放置元素
void clear();
// Views
//三种视图
Set<K> keySet();//获取键集
Collection<V> values();//获取值集
Set<Map.Entry<K, V>> entrySet();//获取键值集合
interface Entry<K,V> {//Map的内部接口，代表一个键值对
K getKey();//获取键
V getValue(); //获取值
V setValue(V value);//设置值
boolean equals(Object o);
int hashCode();
}
// Comparison and hashing
boolean equals(Object o);
int hashCode();
}
Map接口定义了Map集合的操作规范，具体实现交由实现类完成，其内部有个接口Entry，代表一个键值对.
AbstractMap是一个抽象类，其实现了Map接口中的大部分函数。
public abstract class AbstractMap<K,V> implements Map<K,V>下面来看几个方法：
public boolean containsKey(Object key) {
Iterator<Map.Entry<K,V>> i = entrySet().iterator();//获得迭代器
if (key==null) {//判断key是否为空,分别处理
while (i.hasNext()) {
Entry<K,V> e = i.next();
if (e.getKey()==null)//为空的话使用等号判断
return true;
}
} else {
while (i.hasNext()) {
Entry<K,V> e = i.next();
if (key.equals(e.getKey()))//不为空的话使用equals方法判断
return true;
}
}
return false;
}
public boolean containsValue(Object value) {
Iterator<Entry<K,V>> i = entrySet().iterator();
if (value==null) {
while (i.hasNext()) {
Entry<K,V> e = i.next();
if (e.getValue()==null)
return true;
}
} else {
while (i.hasNext()) {
Entry<K,V> e = i.next();
if (value.equals(e.getValue()))
return true;
}
}
return false;
}public abstract Set<Entry<K,V>> entrySet();abstractMap并没有实现put方法，而简单的抛出了异常，这要求子类必须复写此方法：
public V put(K key, V value) {
throw new UnsupportedOperationException();
}但是其却实现了get方法：
public V get(Object key) {
Iterator<Entry<K,V>> i = entrySet().iterator();
if (key==null) {//依然是根据键值是否为null做不同处理
while (i.hasNext()) {
Entry<K,V> e = i.next();
if (e.getKey()==null)
return e.getValue();
}
} else {
while (i.hasNext()) {
Entry<K,V> e = i.next();
if (key.equals(e.getKey()))
return e.getValue();
}
}
return null;
}下面来看HashMap。
public class HashMap<K,V>
extends AbstractMap<K,V>
implements Map<K,V>, Cloneable, Serializable
HashMap继承了AbstractMap类，并实现了Map接口以及Cloneable、Serializable接口。
其成员变量如下：
static final int DEFAULT_INITIAL_CAPACITY = 16;//默认初始容量
static final int MAXIMUM_CAPACITY = 1 << 30;//最大容量为2的30次方
static final float DEFAULT_LOAD_FACTOR = 0.75f;//默认装载因子为0.75
transient Entry<K,V>[] table;//桶数组，存放键值对
transient int size;//实际存储的键值对个数
int threshold;//HashMap的阈值，用于判断是否需要调整HashMap的容量（threshold = 容量*加载因子）
final float loadFactor;//装载因子
transient int modCount;//hashmap被改变的次数
static final int ALTERNATIVE_HASHING_THRESHOLD_DEFAULT = Integer.MAX_VALUE;
这里我们得到如下信息：
1.HashMap的默认大小为16，即桶数组的默认长度为16；2.HashMap的默认装载因子是0.75；3.HashMap内部的桶数组存储的是Entry对象，也就是键值对对象。
再看构造器：
public 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);
// Find a power of 2 >= initialCapacity
//找出“大于initialCapacity”的最小的2的幂
int capacity = 1;
while (capacity < initialCapacity)
capacity <<= 1;
this.loadFactor = loadFactor;
threshold = (int)Math.min(capacity * loadFactor, MAXIMUM_CAPACITY + 1);
//初始化桶数组
table = new Entry[capacity];
useAltHashing = sun.misc.VM.isBooted() &&
(capacity >= Holder.ALTERNATIVE_HASHING_THRESHOLD);
init();//一个钩子函数，默认实现是空
}
public HashMap(int initialCapacity) {
this(initialCapacity, DEFAULT_LOAD_FACTOR);
}
public HashMap() {//使用默认的初始容量和默认的加载因子构造HashMap
this(DEFAULT_INITIAL_CAPACITY, DEFAULT_LOAD_FACTOR);
}
public HashMap(Map<? extends K, ? extends V> m) {
this(Math.max((int) (m.size() / DEFAULT_LOAD_FACTOR) + 1,
DEFAULT_INITIAL_CAPACITY), DEFAULT_LOAD_FACTOR);
putAllForCreate(m);
}
// internal utilities
void init() {
}
需要注意的点：
1.构造器支持指定初始容量和装载因子，为避免数组扩容带来的性能问题，建议根据需求指定初始容量。装载因子尽量不要修改，0.75是个比较靠谱的值。
2.实际的容量capacity一般情况下是大于我们传进去的initialCapacity的，因为内部会通过一个循环去找到一个比initialCapacity大且为2的整数次幂的一个数作为实际容量。除非传进去的数恰好为2的整数次方（capacity取2的整数次幂，是为了使不同hash值发生碰撞的概率较小，这样就能使元素在哈希表中均匀地散列。）。
通过前面的分析，我们知道了HashMap内部通过Entry数组保存键值对，那么这个Entry是怎么实现的呢？
接下来我们看下
Entry的实现：
static class Entry<K,V> implements Map.Entry<K,V> {//实现Map.Entry接口
final K key;//键,final类型，不可更改/
V value;//值
Entry<K,V> next;//HashMap通过链表法解决冲突，这里的next指向链表的下一个元素
int hash;//hash值
/**
* Creates new entry.
*/
//构造器需指定链表的下一个结点,所有冲突结点放到一个链表上
Entry(int h, K k, V v, Entry<K,V> n) {
value = v;
next = n;
key = k;
hash = h;
}
public final K getKey() {
return key;
}
public final V getValue() {
return value;
}
//允许设置value
public final V setValue(V newValue) {
V oldValue = value;
value = newValue;
return oldValue;
}
public final boolean equals(Object o) {
if (!(o instanceof Map.Entry))
return false;
Map.Entry e = (Map.Entry)o;
//保证键值都相等
Object k1 = getKey();
Object k2 = e.getKey();
if (k1 == k2 || (k1 != null && k1.equals(k2))) {
Object v1 = getValue();
Object v2 = e.getValue();
if (v1 == v2 || (v1 != null && v1.equals(v2)))
return true;
}
return false;
}
public final int hashCode() {//键为空则hash值为0，否则通过通过hashcode计算
return (key==null ? 0 : key.hashCode()) ^
(value==null ? 0 : value.hashCode());
}
public final String toString() {
return getKey() + "=" + getValue();
}
/**
* This method is invoked whenever the value in an entry is
* overwritten by an invocation of put(k,v) for a key k that's already
* in the HashMap.
*/
void recordAccess(HashMap<K,V> m) {
}
/**
* This method is invoked whenever the entry is
* removed from the table.
*/
void recordRemoval(HashMap<K,V> m) {
}
}
需要注意的点：
1.HashMap内部数组存储的是键值对，也就是Entry对象；
2.Entry对象保存了键、值，并持有一个next指针指向下一个Entry对象（HashMap通过链表法解决冲突）；
3.Entry可以通过setValue设置值，但不允许设置键.
下面我们研究下HashMap中比较重要的方法。从put开始：
public V put(K key, V value) {//向集合中添加一个键值对
if (key == null)//如果键为空，则调用putForNullKey
return putForNullKey(value);
int hash = hash(key);//否则根据key生成一个hash索引值
int i = indexFor(hash, table.length);//在根据索引值找到插入位置
//循环遍历指定位置的Entry链表，若找到一个键与当前键完全一致的Entry，那么覆盖原来的键所对应的值,并返回原值
for (Entry<K,V> e = table[i]; e != null; e = e.next) {
Object k;
//hash值相同且键相同
if (e.hash == hash && ((k = e.key) == key || key.equals(k))) {
V oldValue = e.value;
e.value = value;//替换原值
e.recordAccess(this);
return oldValue;
}
}
//若没有找到这样的键，则将当前键值插入该位置，并使其位于链表头部.
modCount++;
addEntry(hash, key, value, i);
return null;
}
put方法是向hashMap中添加一个键值对，这个方法需要注意的有：
1.允许键为null。put方法会针对null键做相应的处理，调用pullforNullKey方法：
private V putForNullKey(V value) {
//空键，其hash值为0，必然存储在数组的0索引位置上。
//我们需要遍历0位置的entry链表，如果已经有一个null键了，那么也是覆盖
for (Entry<K,V> e = table[0]; e != null; e = e.next) {
if (e.key == null) {
V oldValue = e.value;
e.value = value;
e.recordAccess(this);
return oldValue;
}
}
//若没有，则插入
modCount++;
addEntry(0, null, value, 0);
return null;
}
2.不允许两个键相同，如果键相同，那么后插入的键所对应的值会覆盖之前的值。
3.HashMap是通过调用hash()方法获得键的hash值，并通过indexFor方法找到实际插入位置，具体代码如下：
final int hash(Object k) {//根据键生成hash值
int h = 0;
if (useAltHashing) {
if (k instanceof String) {
return sun.misc.Hashing.stringHash32((String) k);
}
h = hashSeed;
}
h ^= k.hashCode();
h ^= (h >>> 20) ^ (h >>> 12);
return h ^ (h >>> 7) ^ (h >>> 4);
}
//根据hash值计算键在桶数组的位置
static int indexFor(int h, int length) {
return h & (length-1);//由put方法可知，这个length就是数组长度，而且由构造器发现数组长度始终为2的整数次方，那么这个&操作实际上就是是h%length的高效表示方式,可以使结果小于数组长度.
}
4.put方法通过addEntry方法将键值插到合适位置:
5.当容量超过阈值（threshold）时,会发生扩容，扩容后的数组是原数组的两倍。
void addEntry(int hash, K key, V value, int bucketIndex) {
if ((size >= threshold) && (null != table[bucketIndex])) {//容量超过阈值
resize(2 * table.length);//数组扩容为原来的两倍
hash = (null != key) ? hash(key) : 0;
bucketIndex = indexFor(hash, table.length);
}
createEntry(hash, key, value, bucketIndex);
}
void createEntry(int hash, K key, V value, int bucketIndex) {
Entry<K,V> e = table[bucketIndex];//获取原来在该位置上的Entry对象
table[bucketIndex] = new Entry<>(hash, key, value, e);//将当前的键值插到该位置，并作为链表的起始结点。其next指针指向先前的Entry
size++;
}这个resize方法就是扩容方法：
void resize(int newCapacity) {
Entry[] oldTable = table;
int oldCapacity = oldTable.length;
if (oldCapacity == MAXIMUM_CAPACITY) {
threshold = Integer.MAX_VALUE;
return;
}
Entry[] newTable = new Entry[newCapacity];//创建新数组
boolean oldAltHashing = useAltHashing;
useAltHashing |= sun.misc.VM.isBooted() &&
(newCapacity >= Holder.ALTERNATIVE_HASHING_THRESHOLD);
boolean rehash = oldAltHashing ^ useAltHashing;
transfer(newTable, rehash);//将原数组中所有键值对转移至新数组
table = newTable;
threshold = (int)Math.min(newCapacity * loadFactor, MAXIMUM_CAPACITY + 1);
}
void transfer(Entry[] newTable, boolean rehash) {
int newCapacity = newTable.length;
for (Entry<K,V> e : table) {//需遍历每个Entry,耗时
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);
e.next = newTable[i];
newTable[i] = e;
e = next;
}
}
}
6.扩容操作需要开辟新数组，并对原数组中所有键值对重新散列，非常耗时。我们应该尽量避免HashMap扩容。
再来看get方法：
public V get(Object key) {
if (key == null)//若键为空
return getForNullKey();
Entry<K,V> entry = getEntry(key);//获取Entry对象
//未找到就返回null，否则返回键所对应的值
return null == entry ? null : entry.getValue();
}这个getForNullKey方法就是在数组0索引位上的链表去寻找null键：
private V getForNullKey() {
for (Entry<K,V> e = table[0]; e != null; e = e.next) {
if (e.key == null)
return e.value;
}
return null;
}而这个getEntry方法就是通过键生成hash值，然后得到其在数组的索引位，查找该位置的链表，找到第一个满足的键，并返会Entry对象：
final Entry<K,V> getEntry(Object key) {
int hash = (key == null) ? 0 : hash(key);
for (Entry<K,V> e = table[indexFor(hash, table.length)];
e != null;
e = e.next) {
Object k;
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
return e;
}
return null;
}再看下remove方法：
public V remove(Object key) {
Entry<K,V> e = removeEntryForKey(key);
return (e == null ? null : e.value);
}
final Entry<K,V> removeEntryForKey(Object key) {
int hash = (key == null) ? 0 : hash(key);//先计算hash值
int i = indexFor(hash, table.length);//找到索引位
Entry<K,V> prev = table[i];
Entry<K,V> e = prev;
while (e != null) {//遍历链表找到该键，并修改链表相关指针指向
Entry<K,V> next = e.next;
Object k;
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k)))) {
modCount++;
size--;
if (prev == e)
table[i] = next;
else
prev.next = next;
e.recordRemoval(this);
return e;
}
prev = e;
e = next;
}
return e;
}最后看下clear方法：
public void clear() {
modCount++;
Entry[] tab = table;
for (int i = 0; i < tab.length; i++)//遍历数组
tab[i] = null;//置空
size = 0;
}
总结：
1.HashMap的默认大小为16，即桶数组的默认长度为16；
2.HashMap的默认装载因子是0.75；
3.HashMap内部的桶数组存储的是Entry对象，也就是键值对对象。
4.构造器支持指定初始容量和装载因子，为避免数组扩容带来的性能问题，建议根据需求指定初始容量。装载因子尽量不要修改，0.75是个比较靠谱的值。
5.桶数组的长度始终是2的整数次方（大于等于指定的初始容量），这样做可以减少冲突概率，提高查找效率。（可以从indexfor函数中看出，h&(length-1),若length为奇数，length-1为偶数那么h&(length-1)结果的最后一位必然为0，也就是说所有键都被散列到数组的偶数下标位置,这样会浪费近一半空间。另外，length为2的整数次方也保证了h&(length-1)与h%length等效）.
6.HashMap接受null键；
7.HashMap不允许键重复，但是值是可以重复的。若键重复，那么新值会覆盖旧值。
8.HashMap通过链表法解决冲突问题，每个Entry都有一个next指针指向下一个Entry，冲突元素（不是键相同，而是hash值相同）会构成一个链表。并且最新插入的键值对始终位于链表首部。
9.当容量超过阈值（threshold）时,会发生扩容，扩容后的数组是原数组的两倍。扩容操作需要开辟新数组，并对原数组中所有键值对重新散列，非常耗时。我们应该尽量避免HashMap扩容。
10.HashMap非线程安全。
1556
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
