首页 > 代码库 > java源码分析之HashSet
java源码分析之HashSet
http://blog.csdn.net/jzhf2012/article/details/8540696
Java容器类的用途是“保存对象”，分为两类：Map——存储“键值对”组成的对象；Collection——存储独立元素。Collection又可以分为List和Set两大块。List保持元素的顺序，而Set不能有重复的元素。
本文分析Set中最常用的HashSet类，并简单介绍和对比LinkedHashSet。
首先对Set接口进行简要的说明。
存入Set的每个元素必须是惟一的，因为Set不保存重复元素。加入Set的元素必须定义equals()方法以确保对象的唯一性。Set不保证维护元素的次序。Set与Collection有完全一样的接口。
在没有其他限制的情况下需要Set时应尽量使用HashSet，因为它对速度进行了优化。
下面是HashSet的定义：
1 public class HashSet<E> 2 extends AbstractSet<E> 3 implements Set<E>, Cloneable, java.io.Serializable
HashSet继承了AbstractSet，实现了Set接口。其实AbstractSet已经实现Set接口了。AbstractSet继承自AbstractCollection，而AbstractCollection实现了Collection接口的部分方法，而Set接口和Collection接口完全一致，所以AbstractSet只是实现了AbstractCollection没有实现的Set接口的方法和重写了部分AbstractCollection已经实现的方法。
下面是HashSet定义的属性：
1 private transient HashMap<E,Object> map; 2 private static final Object PRESENT = new Object();
为什么会有一个HashMap<E,Object>定义的属性？
想一下HashMap有什么特点：基于哈希表，存储键值对，Key不能相同等等。Key不能相同！这个特点是不是和Set的元素不能相同和类似？如果将Set的元素当成Map的Key，是否就保证了元素的不重复？！答案是肯定的。但是Map存储键值对，Key有了，那么Value呢？这正是第二个属性PERSENT的意义。看到PERSENT属性时一个Object对象，且是static和final的，它的用途就是当做Value存进map中。
总结一下，HashSet的实现方式大致如下，通过一个HashMap存储元素，元素是存放在HashMap的Key中，而Value统一使用一个Object对象。
这样看来HashSet应该很简单，应该只是使用了HashMap的部分内容来实现。
下面看具体的其它代码来验证上面的猜想。
构造方法：
1 // 构造方法一：调用默认的HashMap构造方法初始化map
2 public HashSet() {
3 map = new HashMap<E,Object>();
4 }
5 // 构造方法二：根据给定的Collection参数调用HashMap(int initialCapacity)的构造方法创建一个HashMap（这个构造方法的HashMap的源码分析里已经描述过了）
6 // 调用addAll方法将c中的元素添加到HashSet对象中
7 public HashSet(Collection<? extends E> c) {
8 map = new HashMap<E,Object>(Math.max((int) (c.size()/.75f) + 1, 16));
9 addAll(c);
10 }
11 // 构造方法三：构造一个指定初始化容量和负载因子的HashMap
12 public HashSet(int initialCapacity, float loadFactor) {
13 map = new HashMap<E,Object>(initialCapacity, loadFactor);
14 }
15 // 构造方法四：构造一个指定初始化容量的HashMap
16 public HashSet(int initialCapacity) {
17 map = new HashMap<E,Object>(initialCapacity);
18 }
19 // 构造方法五：构造一个指定初始化容量和负载因子的LinkedHashMap
20 // dummy参数被忽略，只是用于区分其他的，包含一个int、float参数的构造方法
21 HashSet(int initialCapacity, float loadFactor, boolean dummy) {
22 map = new LinkedHashMap<E,Object>(initialCapacity, loadFactor);
23 }
上面的构造方法都很简单，只有构造方法二中调用了addAll(Collection<? extends E> c)方法。该方法在AbstractCollection中定义，HashSet通过继承拥有该方法。
1 public boolean addAll(Collection<? extends E> c) {
2 boolean modified = false;
3 Iterator<? extends E> e = c.iterator();
4 while (e.hasNext()) {
5 if (add(e.next()))
6 modified = true;
7 }
8 return modified;
9 }
这个方法通过遍历c中的元素，然后调用add(E e)方法添加元素。
1 public boolean add(E e) {
2 return map.put(e, PRESENT)==null;
3 }
看add(E e)方法只是调用了HashMap（构造方法中提供了创建LinkedHashMap的方式，但是LinkedHashMap是继承HashMap的，put方法也是调用HashMap的put方法）的put方法将e当做Key，PERSENT当做Value加入到map中并根据返回值判断是否添加成功。
因为HashMap的put方法在Key已经存在的情况下返回的是对应的Value值，若Key不存在则返回的是null，所以根据返回的是null可以确定新元素被添加到HashSet中了，如果返回的是其他值则说明Key已经存在，即元素已经在HashSet中已经存在，add(E e)返回的结果为false。虽然add(E e)返回false说明了HashSet添加元素失败，但实际上其中的map中的内容已经被替换，原先的值被PERSENT代替。
如果原先的值就是null呢？其实不用考虑这个问题，因为通过HashSet添加的元素，Value的内容都是PERSENT，不会出现null的情况。
iterator()
1 public Iterator<E> iterator() {
2 return map.keySet().iterator();
3 }
很清楚了，返回的是HashMap中KeySet的迭代器。
size()
1 public int size() {
2 return map.size();
3 }
size()方法同样返回的是map的大小，所以HashSet根本就没定义size属性。
1 public boolean isEmpty() {
2 return map.isEmpty();
3 }
既然size()用的是map的大小，那么isEmpty()自然也是判断map。
1 public boolean contains(Object o) {
2 return map.containsKey(o);
3 }
4 public void clear() {
5 map.clear();
6 }
7 public Object clone() {
8 try {
9 HashSet<E> newSet = (HashSet<E>) super.clone();
10 newSet.map = (HashMap<E, Object>) map.clone();
11 return newSet;
12 } catch (CloneNotSupportedException e) {
13 throw new InternalError();
14 }
15 }
这几个方法就不解释了。
1 public boolean remove(Object o) {
2 return map.remove(o)==PRESENT;
3 }
remove(Object o)为什么还要判断结果呢？因为通过HashSet存入的元素，所对应的Value值都是PERSENT，如果传入的o不存在，map的remove方法返回为null，则对应的结果是HashSet的remove操作应该放回false，所以这里根据返回的结果判断是否移除成功。
只能感叹HashMap太强大了，HashSet是完全使用HashMap来实现的。
java源码分析之HashSet