一.前言
HashSet 是 Set 接口的一个实现类,当然就具有 Set 接口指定的一些规范。
即所有在集合中的元素都是唯一的,那么 HashSet 是如何保证添加的元素的一个唯一性呢,这其中除了equals 还涉及到其他方法吗? 下面对 HashSet 的源码进行一个深入的了解。
二.深入解析
1.简介
下面引用自源码中的注释
HashSet 实现 Set 接口,由哈希表(实际上是一个 HashMap 实例)支持。它不保证 set 的迭代顺序;(也就是添加顺序)特别是它不保证该顺序恒久不变。允许使用 null 元素。
注意,HashSet 不是同步的。如果多个线程同时访问一个哈希 set,而其中至少一个线程修改了该 set,那么它必须 保持外部同步。这通常是通过对自然封装该 set 的对象执行同步操作来完成的。如果不存在这样的对象,则应该使用 Collections.synchronizedSet 方法来“包装” set。最好在创建时完成这一操作,以防止对该 set 进行意外的不同步访问:
Set s = Collections.synchronizedSet(new HashSet(…));
此类的 iterator 方法返回的迭代器是快速失败 的:在创建迭代器之后,如果对 set 进行修改,除非通过迭代器自身的 remove 方法,否则在任何时间以任何方式对其进行修改,Iterator 都将抛出 ConcurrentModificationException。因此,面对并发的修改,迭代器很快就会完全失败,而不冒将来在某个不确定时间发生任意不确定行为的风险。
注意,迭代器的快速失败行为无法得到保证,因为一般来说,不可能对是否出现不同步并发修改做出任何硬性保证。快速失败迭代器在尽最大努力抛出 ConcurrentModificationException。因此,为提高这类迭代器的正确性而编写一个依赖于此异常的程序是错误做法:迭代器的快速失败行为应该仅用于检测 bug。
2.变量
HashSet 自身增加的变量只有三个
1 | //用于序列化和反序列化的 UID |
3.构造器
1 | //默认的构造器,内部是创建一个 HashMap |
从 HashSet 的几个变量和构造器可以看出,内部的过程其实都是使用创建出一个 HashMap ,包括指定初始容量和增长因子等都是内部创建一个 HashMap 。
4.add 方法
1 | public boolean add(E e) { |
HashSet 内部是由 HashMap 提供实现的,且 HashSet 中的元素都是作为 HashMap 的一个 key ,那么 value 就都是同一个对象,即 PRESENT 。
那么到这里,对于 HashSet 如何保证元素唯一的问题其实就转换为 HashMap 中 如何保证 key 的唯一性。
下面到 HashMap 的一个 put 方法中
1 | public V put(K key, V value) { |
从上面的注释已经可以知道 HashSet 是如果判断一个元素是否重复的,总结如下:
- 通过 key 的 hashCode 定位到数组位置,如果刚好为 null,第一次添加,就不重复。
- 如果不为 null, 因为 hashCode 可能存在着从重复(哈希冲突),所以需要结合 equals 进行判断。
- key 为 null 或者 不为 null 的情况,如果 hash 相等,并且 key == 返回 true ,即是同一个对象 ,重复(这种情况判断了 key 为 null 和 同一个对象的情况)
- key 不 null 的情况,且不是同一个对象(== 返回 false ),但是 equals 返回 true , 仍然是重复(这种情况就盘判断了我们定义的 对象相等的情况 即 equals 返回 true )。
因此这里就要注意,对于一个类,如果重写其 equals,就要保证 equals
返回 true 的时候,hashCode 返回相同的值 ,hashCode 返回不同的值的时候, equals
返回 false
因为 判断一个对象是否重复在 HashSet 中其实使用了这两个方法,进行判断。
5.其他
1 | public boolean remove(Object o) { |
其实只要清楚了 HashSet 的判断重复的原理,对于删除等其他操作,就很简单了,都是基于查找过程。对于其他方法,也就是通过 HashMap 结合使用,这里就不进行深究了。