hashset通过组合hashmap实现,所有操作委托给内部map字段,add本质是map.put(e, present)==null,去重依赖hashmap的hashcode和equals协同判断,其他方法也全部代理。

HashSet 本身不维护任何元素集合或比较逻辑,它只是把所有操作都委托给内部持有的 HashMap 实例——这是一种典型的组合模式(Composition),而非继承。
内部变量封装:一个 map 字段承载全部职责
HashSet 类中声明了一个私有字段:
-
private transient HashMap
map; —— 这是它唯一的存储载体 - private static final Object PRESENT = new Object(); —— 所有元素共用的 value 占位符,不参与去重判断
当你 new HashSet() 时,实际是在初始化这个 map;后续所有 add、remove、contains 操作,都直接调用 map 对应的方法。
add() 的本质:map.put(e, PRESENT) 的返回值语义
HashSet.add(E e) 方法体只有一行:
- return map.put(e, PRESENT) == null;
- HashMap.put() 在 key 已存在时返回旧 value(即 PRESENT),否则返回 null
- 所以 add 返回 true,仅当该元素此前未作为 key 出现在 map 中
整个“是否重复”的判定,完全由 HashMap 的哈希定位 + equals 比较完成,HashSet 不插手也不干预。
去重生效的前提:hashCode 和 equals 必须协同一致
HashMap 判断两个 key 是否相等,分两步:
- 先比 hashCode():决定进哪个桶;若 hash 值不同,连桶都不进,直接算“不重复”
- 再比 equals():同一桶内逐个比较;若 equals 返回 false,仍视为新 key
因此,自定义类放入 HashSet 前,必须同时重写这两个方法,并确保:
- 相等的对象(业务上逻辑相同)必须返回相同 hashCode
- equals 实现要满足自反性、对称性、传递性、一致性
- 推荐使用 Objects.equals() 和 Objects.hash() 避免空指针和手写错误
其他操作也全是代理:无一例外
HashSet 的行为透明且统一:
- contains(Object o) → 直接调用 map.containsKey(o)
- remove(Object o) → 直接调用 map.remove(o)
- size() → 返回 map.size()
- iterator() → 遍历的是 map.keySet().iterator()
它没有自己的数组、链表或红黑树,也没有独立的扩容机制——所有底层细节,包括桶数组、链表转红黑树阈值、负载因子触发扩容,全都来自 HashMap。










