HashSet通过组合HashMap实现,所有操作委托给内部map字段,add本质是map.put(e, PRESENT)==null,去重依赖HashMap的hashCode和equals协同判断,其他方法也全部代理。
HashSet 本身不维护任何元素集合或比较逻辑,它只是把所有操作都委托给内部持有的 HashMap 实例——这是一种典型的组合模式(Composition),而非继承。
内部变量封装:一个 map 字段承载全部职责HashSet 类中声明了一个私有字段:private transient HashMap
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。
