目录
一、 哈希算法
这类算法接受任意长度的二进制输入值,对输入值做换算(切碎),最终给出固定长度的二进制输出值;
以更好理解的方式来说,Hash算法 是摘要算法 :也就是说,从不同的输入中,通过一些计算摘取出来一段输出数据,值可以用以区分输入数据。
MD5 可能是最著名的一种Hash算法 了。
用途:
-
信息安全领域:
Hash算法 可用作加密算法。
如文件校验:通过对文件摘要,可以得到文件的“数字指纹”,你下载的任何副本的“数字指纹”只要和官方给出的“数字指纹”一致,那么就可以知道这是未经篡改的。例如著名的MD5 ; -
数据结构领域:
Hash算法 通常还可用作快速查找。
这是今天我想说的部分。根据Hash函数 我们可以实现一种叫做哈希表(Hash Table)的数据结构。这种结构可以实现对数据进行快速的存取。
常用函数:
Type | Method |
---|---|
Value | get(Object key) 返回键映射的值,如果该键没有映射值,则返回null |
Value | put(K key, V value) 将键和值建立映射关系,如果键是第一次存储,就直接存储元素,返回null; 如果键不是第一次存在,就用值把以前的值替换掉,返回以前的值 |
Value | remove(Object key) 如果对应键存在映射关系的值,则将其移除,并返回值 |
boolean | containsKey(Object key) 是否存在特定的key |
boolean | containsValue(Object value) 是否存在特定的value |
boolean | isEmpty() 判断集合是否为空 |
void | clear() 移除所有的Entry(键值对) |
Set<Map.Entry<K,V>> | entrySet() 返回一个键值对的Set集合 |
Set | keySet() 获取集合中所有键的集合 |
Collection | values() 获取集合中所有值的集合 |
int | size() 返回集合中的键值对的对数 |
default V | getOrDefault(Object key, V defaultValue) Java8新特性,如果哈希表中有这个Key则获取这个值,如果没有则初始化Key的值为defaultValue |
二、神魔是哈希表
首先想一个问题:我们是如何在数据结构中做查找的呢?
-
线性表、树
线性表、树 这些结构中,记录 在结构 中的相对位置是随机的,和记录的关键字之间不存在确定关系,因此,在结构中查找时需要进行一系列和关键字的比较。这一类查找方法建立在“比较”的基础上。在顺序查找时,比较的结果为“=”与“≠”2种可能;在折半查找、二叉排序树查找和B-树查找时,比较的结果为“<”“=”“>”3种可能。查找的效率依赖于查找过程中所进行的比较次数。
-
哈希表
理想的情况是希望不经过任何比较,一次存取便能得到所查记录,那就必须在记录的存储位置和它的关键字之间建立一个确定的关系为哈希(Hash)函数 ,按这个思想建立的表为哈希表 。
这是《数据结构(C语言版)》[1]中引出哈希表的一段描述,通俗易懂。所以,我们知道了什么是哈希函数 和哈希表 。
- 哈希函数
-
灵活
哈希函数是一个映像,因此哈希函数的设定很灵活,只要使得任何关键字由此所得的哈希函数值都落在表长允许的范围之内即可。 -
冲突
对不同的关键字可能得到同一哈希地址,即 ,这种现象称为冲突(collision);冲突只能尽量地少,而不能完全避免。因为,哈希函数是从关键字集合到地址集合的映像。而通常关键字集合比较大,它的元素包括所有可能的关键字,而地址集合的元素仅为哈希表中的地址值。因此,在实现哈希表这种数据结构的时候不仅要设定一个“好”的哈希函数,而且要设定一种处理冲突的方法。
综上所述,我们可以给出哈希表的定义如下:
根据设定的Hash函数 - 和处理冲突的方法,将一组关键字映象 到一个有限的连续的地址集(区间)上,并以关键字在地址集中的象 作为记录在表中的存储位置,这样的表便称为Hash表 ;
2. 哈希函数
上面我们已经引出了并解释了Hash函数 。实际工作中,需要视不同的情况采用不同的Hash函数 ,通常要考虑的因素有:
- Hash函数 执行的时间;
- 关键字 的长度;
- Hash表 的大小;
- 关键字 的分布情况;
- 记录 的查找频率;
有如下一些常用的Hash函数 构造方法:
-
直接寻址法:
取k 或k 的某个线性函数为Hash地址 。
特点:由于直接地址法相当于有多少个关键字就必须有多少个相应地址去对应,所以不会产生冲突,也正因为此,所以实际中很少使用这种构造方法。
-
数字分析法:
首先分析待存的一组关键字 ,比如是一个班级学生的出生年月日 ,我们发现他们的出生年 大体相同,那么我们肯定不能用他们的年 来作为存储地址 ,这样出现冲突 的几率很大;但是,我们发现月日 的具体数字差别很大,如果我们用月日 来作为Hash地址 ,则会明显降低冲突几率。因此,数字分析法就是找出关键字 的规律,尽可能用差异数据来构造Hash地址 ;
特点:需要提前知道所有可能的关键字,才能分析运用此种方法,所以不太常用。
-
平方取中法:
先求出关键字的平方值,然后按需要取平方值的中间几位作为哈希地址。这是因为:平方后中间几位和关键字中每一位都相关,故不同关键字会以较高的概率产生不同的哈希地址。
例:我们把英文字母在字母表中的位置序号作为该英文字母的内部编码。例如K的内部编码为11,E的内部编码为05,Y的内部编码为25,A的内部编码为01, B的内部编码为02。由此组成关键字“KEYA”的内部代码为11052501,同理我们可以得到关键字“KYAB”、“AKEY”、“BKEY”的内部编码。之后对关键字进行平方运算后,取出第7到第9位作为该关键字哈希地址,如下图所示:
关键字 内部编码 内部编码的平方值 H(k)关键字的哈希地址 KEYA 11050201 122157778355001 778 KYAB 11250102 126564795010404 795 AKEY 01110525 001233265775625 265 BKEY 02110525 004454315775625 315 [2]
特点:较常用。
-
折叠法:
将关键字分割成位数相同的几部分(最后一部分位数可以不同),然后取这几部分的叠加和(去除进位)作为散列地址。数位叠加可以有移位叠加和间界叠加两种方法。移位叠加是将分割后的每一部分的最低位对齐,然后相加;间界叠加是从一端向另一端沿分割界来回折叠,然后对齐相加。
-
随机数法:
选择一个随机函数,取关键字的随机函数值作为Hash地址 ,通常用于关键字长度不同的场合。
特点:通常,关键字长度不相等时,采用此法构建Hash函数 较为合适。
-
除留取余法:
取关键字被某个不大于Hash表 长m 的数p 除后所得的余数为Hash地址 。
特点:这是最简单也是最常用的Hash函数构造方法。可以直接取模,也可以在平法法、折叠法之后再取模。
值得注意的是,在使用除留取余法 时,对p 的选择很重要,如果p 选的不好会容易产生同义词 。由经验得知:p 最好选择不大于表长m 的一个质数 、或者不包含小于20的质因数的合数。
3. 处理冲突
如何处理冲突是哈希造表不可缺少的一个方面。现在完整的描述一下处理冲突:
假设哈希表的地址集为的位置上已存有记录,则“处理冲突”就是为该关键字的记录找到另一个“空”的哈希地址。
在处理冲突的过程中可能得到一个地址序列为记录在表中的地址。
(需要注意此定义不太适合链地址法)
那么,通常有以下4种方法:
-
开放定址法:
为哈希表表长;
为增量序列,有3种取法:- 称为线性探测再散列;
- 称为二次探测再散列;
- 称为伪随机探测再散列;
-
再哈希法:
均是不同的哈希函数,即在同义词产生地址冲突时计算另一个哈希函数地址,直到冲突不再发生,这种方法不易产生聚集 ,但增加了计算时间;
-
链地址法:
将所有关键字为同义词的记录存储在同一线性表中。即在Hash 出来的哈希地址中不直接存Key ,而是存储一个Key 的链表 ,当发生冲突 时,将同义的Key 加入链表 ;
-
公共溢出区:
可以建立一个公共溢出区,用来存放有冲突的Key 。比如设立另一个哈希表,专门用来存放出现冲突的同义词。
4. 查找及分析
在哈希表上进行查找的过程和哈希造表的过程基本是一致的,过程就不累述了。我们需要看一看其查找的长度。
-
平均查找长度
-
虽然哈希表在关键字与记录的存储位置之间建立了直接映像,但由于“冲突”的存在,使得哈希表的查找过程仍然是一个“给定值和关键字进行比较”的过程。因此,仍需以平均查找长度作为衡量哈希表的查找效率的量度;
-
查找过程中需要和给定值进行比较的关键字的个数取决于下列三个因素:
- 哈希函数;
- 处理冲突的方法;
- 哈希表的装填因子;
-
-
装填因子
在一般情况下,我们设计的哈希函数肯定是尽量均匀的,所以可以不考虑它对平均查找长度的影响。那么,处理冲突方法相同的哈希表,其平均查找长度就依赖于哈希表的装填因子了。其定义如下:
标志哈希表的装满程度
直观的看:
- 越小,发生冲突的可能性就越小;
- 越大,代表着表中已填入的元素越多,再填入元素时发生冲突的可能性就越大。那么在查找时,给定值需要比较的关键字的个数就越多;
结论如下:
哈希表的平均查找长度是装天因子的函数,而不是n的函数。因此,不管n多大,我们总是可以选择一个合适的装填因子以便将平均查找长度限定在一个范围内。(Java中HashMap的默认装填因子是0.75)
三、Java的HashMap
FAQ:
-
为什么要有
HashMap
?答:我非常期待能在Java 中使用Hash表 这种数据结构 ,因为它的快速存取特性。
-
Hash表 和
HashMap
的关系?答:Hash表 是一种逻辑数据结构,
HashMap
是Java中的一种数据类型(结构类型),它通过代码实现了Hash表 这种数据结构,并在此结构上定义了一系列操作。 -
这一章节我们要干嘛?
答:首先要明白我们是在干嘛,我们是在分析一个叫做哈希表的数据结构吗?
不是!我们是在讨论一种高级程序设计语言中某个数据类型的实现,它实现了哈希表这种数据结构,但它绝不是哈希表本身,它就是它自己 -
HashMap
类型。不明白的话我再说一句:记不记得你学
Map
(HashMap
父接口)时见到的第一句描述“An object that maps keys to values. ”简单翻译就是:Map是一个键值对对象。但是,可没人告诉过你哈希表是键值对结构。 -
Java中的数据类型
答:有些话不明白的说出来,其实容易让人想不明白。所以我想说:
- 实际上,编程语言中数据类型都是层层封装的结果;
- 实际上,Java 中只有3类数据类型:原生类型(primitive8个)、数组、Object;
- 实际上,无论官方的集合框架也好,你自己创建的类也好,都只能是源自于Object并依赖于原有的这3类数据类型;
- 最终,到现在你可能才会发现,“数组”这种类型竟是如此的重要,在Java 中,如果没有数组作为基础结构,你是不可能构造出任何想实现某种数据结构的Object类型的。
上帝视角的HashMap
-
HashMap
是基于数组来实现哈希表的,数组就好比内存储空间,数组的index
就好比内存的地址; -
HashMap
的每个记录就是一个Entry<K, V>
对象,数组中存储的就是这些对象; -
HashMap
的哈希函数 = 计算出hashCode
+ 计算出数组的index
; -
HashMap
解决冲突:使用链地址法,每个Entry
对象都有一个引用next
来指向链表的下一个Entry
; -
HashMap
的装填因子:默认为0.75; -
基本上
HashMap
就像这样:
1.构造:
/*** 1. 构造方法:最终使用的是这个构造方法 ***/
// 初始容量initialCapacity为16,装填因子loadFactor为0.75
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);
this.loadFactor = loadFactor;
threshold = initialCapacity;
init();//init可以忽略,方法默认为空{},当你需要集成HashMap实现自己的类型时可以重写此方法做一些事
}
/*** 2. (静态/实例)成员变量 ***/
/** 默认的容量,容量必须是2的幂 */
static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // aka 16
/** 最大容量2的30次方 */
static final int MAXIMUM_CAPACITY = 1 << 30;
/** 默认装填因子0.75 */
static final float DEFAULT_LOAD_FACTOR = 0.75f;
/** 默认Entry数组 */
static final Entry<?,?>[] EMPTY_TABLE = {};
/** Entry数组:table */
transient Entry<K,V>[] table = (Entry<K,V>[]) EMPTY_TABLE;
/** table中实际的Entry数量 */
transient int size;
/**
* size到达此门槛后,必须扩容table;
* 值为capacity * load factor,默认为16 * 0.75 也就是12。
* 意味着默认情况构造情况下,当你存够12个时,table会第一次扩容
*/
int threshold;
/** 装填因子,值从一开构造HashMap时就被确定了,默认为0.75 */
final float loadFactor;
/**
* 哈希种子,实例化HashMap后在将要使用前设置的随机值,可以使得key的hashCode冲突更难出现
*/
transient int hashSeed = 0;
/**
* The number of times this HashMap has been structurally modified
* Structural modifications are those that change the number of mappings in
* the HashMap or otherwise modify its internal structure (e.g.,
* rehash). This field is used to make iterators on Collection-views of
* the HashMap fail-fast. (See ConcurrentModificationException).
*/
transient int modCount;
/*** 3. Map.Entry<K,V>:数组table中实际存储的类型 ***/
static class Entry<K,V> implements Map.Entry<K,V> {
final K key; // "Key-Value对"的Key
V value; // "Key-Value对"的Key
Entry<K,V> next;
int hash;
Entry(int h, K k, V v, Entry<K,V> n) {
value = v;
next = n;//链表的下一个Entry
key = k;
hash = h;
}
public final int hashCode() {
return Objects.hashCode(getKey()) ^ Objects.hashCode(getValue());
}
}
2.存 put(key, value)、解决冲突:
/** 存放 **/
public V put(K key, V value) {
if (table == EMPTY_TABLE) {
inflateTable(threshold);//table会被初始化为长度16,且hashSeed会被赋值;
}
if (key == null)
//HashMap允许key为null:在table中找到null key,然后设置Value,同时其hash为0;
return putForNullKey(value);
// a). 计算key的hashCode,下面详细说
int hash = hash(key);
// b). 根据hashCode计算index
int i = indexFor(hash, table.length);
// c). 做覆盖,遍历index位置的Entry链表,*不是解决*冲突
for (Entry<K,V> e = table[i]; e != null; e = e.next) {
Object k;
if (e.hash == hash && ((k = e.key) == key || key.equals(k))) {
// hashCode和equals都相等则表明:本次put是覆盖操作,下面return了被覆盖的老value
V oldValue = e.value;
e.value = value;
e.recordAccess(this);
return oldValue;
}
}
modCount++;
// d). 添加Entry,并解决冲突
// 如果需要增加table长度(size>threshold)就乘2增加,并重新计算每个元素在新table中的位置和转移
addEntry(hash, key, value, i);
return null;//增加成功最后返回null
}
//详细说说上面的a). b). d).
/** a). 为了防止低质量的hash函数,HashMap在这里会重新计算一遍key的hashCode **/
final int hash(Object k) {
int h = hashSeed;
if (0 != h && k instanceof String) {//字符串会被特殊处理,返回32bit的整数(就是int)
return sun.misc.Hashing.stringHash32((String) k);
}
h ^= k.hashCode();//将key的hashCode与h按位异或,最后赋值给h
// This function ensures that hashCodes that differ only by
// constant multiples at each bit position have a bounded
// number of collisions (approximately 8 at default load factor).
h ^= (h >>> 20) ^ (h >>> 12);
return h ^ (h >>> 7) ^ (h >>> 4);
}
/**
* b). 计算此hashCode该被放入table的哪个index
*/
static int indexFor(int h, int length) {
return h & (length-1);//与table的length - 1按位与,就能保证返回结果在0-length-1内
}
/**
* 解决冲突:链地址法
* d). addEntry(hash, key, value, i)最终是调用了此函数
*/
void createEntry(int hash, K key, V value, int bucketIndex) {
Entry<K,V> e = table[bucketIndex];// index的Entry拿出来
// put添加新元素是直接new Entry放在链头,如果有老的(有冲突)则将next设置为老的,如果没有正好设置next为null
table[bucketIndex] = new Entry<>(hash, key, value, e);// 在构造函数中,e代表next
size++;
}
3.取 - get(key):
//其实看完了最精髓的存,取的话就比较简单,就不放代码在这里了,仅说下思路。
// 1. 根据k使用hash(k)重新计算出hashCode
// 2. 根据indexFor(int h, int length)计算出该k的index
// 3. 如果该index处Entry的key与此k相等,就返回value,否则继续查看该Entry的next
HashMap延伸到Object对象
不知道大家还记得Object
的equals(
)和hashCode()
方法吗?(Java - Object类),Object
中这样描述道:
hashCode()
:general contract说到:equals的对象必须有相同的哈希码。equals()
方法说:覆盖此方法,通常有必要重写hashCode()
方法,以维护其general contract;
就是说要记住下面的话:
覆盖equals方法通常有必要也覆盖hashCode方法,因为你必须保证对象equals,hashCode必须相等!
那为什么要保证这个保证呢?学完HashMap
我们就知道了原因:
-
首先,祖先类
Object
保证了以上话述:从Object
的equals()
默认是使用==
来判断的;hashCode()
是native
方法,它是直接依赖C
来算出的。
-
所以,做子孙们的必须要遵循祖制!:
那如果不遵循呢?会造成使用Hash函数的数据类型出现错误!!!你就用不了哈希表这种数据结构了!!!
会出什么错?为什么会出错?我们上面看过了HashMap
源码,可以容易知道:
-
导致错误计算index,覆盖操作失效!
-
原因:
假设你将equals
覆盖为name
相等即相等(张三
等于张三
),不过你没覆盖hashCode()
;put(key)
操作,由于你的新key
和HashMap
中原有的老key
是两个不同的对象,尽管他们equals
,不过由于继承自Object
的hashCode()
方法给出了两个不同的hashCode
,在根据hashCode
计算出index
这一步,它们两个属于不同的index
!这直接导致本该是一次覆盖的操作,却做成了新增了一个值的操作!
所以,要避免出现这个问题,就必须在改写equals()
的同时改写hashCode()
,以保证对象equals则HashCode一致。
你可以看到官方提供的这些API类中,如果它需要覆盖equals()
那么在同时也都覆盖了hashCode()
,我们写class
时也要这样。
参考博客:
https://blog.csdn.net/qq_32635069/article/details/79798741
https://www.cnblogs.com/scyq/p/11667798.html
参考文献:
[1] 严蔚敏,吴伟民.数据结构(C语言版).北京:清华大学出版社,2007
[2] 哈希表及处理冲突的方法.新浪微博.2011-10-10