1. 概述
HashMap是一种功能强大的数据结构,具有广泛的应用,尤其是在需要快速查找时间时。然而,如果我们不注意细节,它可能会变得不理想。
在本教程中,我们将了解如何尽可能的使HashMap更快。
2. HashMap的瓶颈
HashMap的元素检索的乐观常数时间(O(1))来自哈希的强大功能。对于每个元素,HashMap计算哈希码并将该元素放入与该哈希码关联的桶中。因为不相等的对象可以具有相同的哈希码(一种称为哈希码冲突的现象),所以桶的大小可以增加。
桶其实就是一个简单的链表。在链表中查找元素不是很快(O(n)),但如果列表非常小,这不是问题。当我们有很多哈希码冲突时,问题就开始了,最终得到少量的大桶,而不是大量的小桶。
在最坏的情况下,我们将所有内容都放在一个桶中,我们的HashMap会降级为链表。因此,我们得到的不是O(1)的查找时间,而是非常不令人满意的O(n)。
3. 树而不是链表
从Java 8开始,HashMap内置了一种优化:当桶变得太大时,它们会被转换为树,而不是链表。这使O(n)的悲观时间变为O(log(n)),这要好得多。为此,HashMap的键需要实现Comparable接口。
这是一个很好的自动解决方案,但它并不完美。O(log(n))仍然比期望的恒定时间差,并且转换和存储树需要额外的功率和内存。
4. 最佳哈希码实现
在选择哈希函数时,我们需要考虑两个因素:生成的哈希码的质量和速度。
4.1 衡量哈希码质量
哈希码存储在int变量中,因此可能的哈希数受限于int类型的容量。必须如此,因为哈希用于计算带桶的数组的索引。这意味着我们可以将有限数量的键存储在HashMap中而不会发生哈希冲突。
为了尽可能避免冲突,我们希望尽可能均匀地分布哈希。换句话说,我们要实现均匀分布。这意味着每个哈希码值与其他任何哈希码值都有相同的出现机会。
同样,一个糟糕的hashCode方法会有一个非常不平衡的分布。在最坏的情况下,它总是会返回相同的数字。
4.2 默认Object的哈希码
一般来说,我们不应该使用默认的Object的hashCode方法,因为我们不想在equals方法中使用对象标识。但是,在我们真正想为HashMap中的键使用对象标识的极不可能的情况下,默认的hashCode函数可以正常工作。否则,我们将需要一个自定义实现。
4.3 自定义哈希码
通常,我们要覆盖equals方法,然后我们还需要覆盖hashCode。有时,我们可以利用类的特定标识,轻松制作一个非常快速的hashCode方法。
假设我们的对象标识完全基于它的整数id。然后,我们可以将这个id用作哈希函数:
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
MemberWithId that = (MemberWithId) o;
return id.equals(that.id);
}
@Override
public int hashCode() {
return id;
}
它将非常快并且不会产生任何碰撞。我们的HashMap的行为就像它有一个整数键而不是一个复杂的对象。
如果我们需要考虑的字段更多,情况将变得更加复杂。假设我们想在id和name上实现相等性:
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
MemberWithIdAndName that = (MemberWithIdAndName) o;
if (!id.equals(that.id)) return false;
return name != null ? name.equals(that.name) : that.name == null;
}
现在,我们需要以某种方式组合id和name的哈希值。
首先,我们将获得与之前相同的id的哈希值。然后,我们将它乘以一些精心选择的数字并加上name的哈希值:
@Override
public int hashCode() {
int result = id.hashCode();
result = PRIME * result + (name != null ? name.hashCode() : 0);
return result;
}
如何选择这个数字并不是一个容易回答的问题。从历史上看,最流行的数字是31。它是素数,分布良好,很小,乘以它可以使用位移运算进行优化:
31 * i == (i << 5) - i
但是,既然我们不需要为每个CPU周期而战,就可以使用一些更大的素数。比如524287也可以优化:
524287 * i == i << 19 - i
而且,它可以提供质量更好的哈希,从而减少冲突的可能性。请注意,这些位移优化是由JVM自动完成的,因此我们不需要用它们来混淆我们的代码。
4.4 Objects实用程序类
我们刚刚实现的算法已经很成熟,通常不需要每次都手动重新创建它。相反,我们可以使用Objects类提供的辅助方法:
@Override
public int hashCode() {
return Objects.hash(id, name);
}
在底层,它完全使用前面描述的以数字31作为乘数的算法。
4.5 其他哈希函数
有许多哈希函数提供比前面描述的更小的冲突几率。问题是它们的计算量更大,因此无法提供我们寻求的速度增益。
如果出于某种原因我们真的需要质量并且不太关心速度,我们可以看看Guava库中的Hashing类:
@Override
public int hashCode() {
HashFunction hashFunction = Hashing.murmur3_32();
return hashFunction.newHasher()
.putInt(id)
.putString(name, Charsets.UTF_8)
.hash().hashCode();
}
选择32位函数很重要,因为无论如何我们都无法存储更长的哈希值。
5. 总结
现代Java的HashMap是一种功能强大且优化良好的数据结构。但是,它的性能可能会因设计不当的hashCode方法而恶化。在本教程中,我们研究了使哈希快速有效的可能方法。
与往常一样,本教程的完整源代码可在GitHub上获得。