面试官: 你能简单介绍下List和Set有什么区别吗?

通过源码探查HashSet究竟是如何保证唯一性的  第1张

小憨:

List是一个有序的集合,在内存是持续存储的,能够存储反复的元素,List查询快,增删慢;Set是一个无序的集合,在内存中不持续,不成以存储反复的元素,Set增删快,查询慢;

面试官: 那HashSet是若何包管元素不反复的?

小憨: 3分钟。。。

为了制止呈现小憨那种知其然不知其所以然的为难,我们仍是有需要来阐发下上述问题的。

客官,且看下文

我们都晓得HashSet存放的元素是不允许反复的,那么HashSet又是是若何包管元素不成反复的,你晓得吗?

先看段源码

public class HashSet<E> extends AbstractSet<E> implements Set<E>, Cloneable, java.io.Serializable{ static final long serialVersionUID = -5024744406713321676L; PRivate transient HashMap<E,Object> map; private static final Object PRESENT = new Object(); public HashSet() { map = new HashMap<>(); } public HashSet(Collection<? extends E> c) { map = new HashMap<>(Math.max((int) (c.size()/.75f) + 1, 16)); addAll(c); } public HashSet(int initialCapacity, float loadFactor) { map = new HashMap<>(initialCapacity, loadFactor); }}

乍一看那段代码,哎呦我去,new HashSet()操做不就不是维护了一个HashMap嘛,如果那么往下演的话,我觉得我那点功力也能看个大要呀!

诸位同仁,咱接着往下看

public boolean add(E e) { return map.put(e, PRESENT)==null;}

什么,那不就是map操做么,霎时我来个下饭推理;

Map中的key是不允许反复的,而你HashSet正好操纵我Map中key不反复的特征来校验反复元素,妙哉妙哉。

确实,HashSet确实是操纵Map的那一特征实现了元素的不反复特征,但是我们再来深挖一下,Map他又是若何来包管key不反复的呢?

与其说那篇文章是介绍HashSet若何包管元素不反复的,倒不如说Map是若何包管Key不反复的。

final V putVal(int hash, K key, V value, boolean onlyIfAbsent, boolean evict) { Node<K,V>[] tab; Node<K,V> p; int n, i; if ((tab = table) == null || (n = tab.length) == 0) n = (tab = resize()).length; // 1、若是该位置不存在,间接插入 if ((p = tab[i = (n - 1) & hash]) == null) tab[i] = newNode(hash, key, value, null); else { Node<K,V> e; K k; // 2、若是存在,判断能否是反复元素 if (p.hash == hash && ((k = p.key) == key || (key != null && key.equals(k)))) e = p; else if (p instanceof TreeNode) e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value); else { for (int binCount = 0; ; ++binCount) { if ((e = p.next) == null) { p.next = newNode(hash, key, value, null); if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st treeifyBin(tab, hash); break; } if (e.hash == hash && ((k = e.key) == key || (key != null && key.equals(k)))) break; p = e; } } if (e != null) { // existing mapping for key V oldValue = e.value; if (!onlyIfAbsent || oldValue == null) e.value = value; afterNodeAccess(e); return oldValue; } } ++moDCount; if (++size > threshold) resize(); afterNodeInsertion(evict); return null; }

上面部门我重点圈了两段代码,别离是1和2。

第一段

if ((p = tab[i = (n - 1) & hash]) == null)

那段代码其实次要是通过hash计算该元素的位置,然后判断该位置能否有值,若是没有值,那么能够间接插入,最初返回null;

第二段

if (p.hash == hash && ((k = p.key) == key || (key != null && key.equals(k)))) e = p;

若是通过计算,该位置上已经有其他元素,那么接下来就会通过hash和equals停止判断,判断它是不是反复元素,若是反复元素,那么最初会将那个反复元素返回。

通过第二段代码我们能够发现,判断元素能否反复,利用的是hash和equals办法停止判断的,所有我们Set里面若是存放的是对象,那么必然要重写hash和equals办法。

如今是不是很明晰了,为啥要重写equals办法了,不会呈现那么诡异的代码了,那两个对象值都一样啊,为什么Set没去重呢!