HashSet允许存入一个null值，因其底层基于HashMap实现，而HashMap支持且仅允许一个null键，通过特殊处理将其映射到桶0并用==判断，既满足Set唯一性契约又保障操作确定性。
HashSet 允许存入一个 null 值，根本原因在于它的底层实现机制——它本质是用 HashMap 的 key 来存储元素，而 HashMap 本身支持一个 null 键。
底层复用 HashMap 的 null 键能力
HashSet 并不自己管理数据存储，而是内部持有一个 HashMap<E, Object>，所有添加的元素都作为 key 存入该 map，value 固定为一个静态常量 PRESENT。由于 HashMap 明确允许且仅允许一个 null 键（调用 put(null, value) 是合法的），所以 HashSet 自然继承了这一行为。
-
map.put(null, PRESENT)第一次执行成功，返回null→add(null)返回true - 第二次调用
add(null)时，map.put(null, PRESENT)会用新值覆盖旧值，但 key 不变，且返回旧的PRESENT→add()判断非null，返回false，不重复添加
null 被当作一个确定的“哈希值特殊处理”
在 HashMap 中，null 键不参与常规哈希计算。它被统一映射到哈希表的第 0 号桶（bucket[0]），并通过单独的逻辑判断：当 key 为 null 时，直接在 bucket[0] 链表/红黑树中遍历，用 == 判断是否已存在 null。这种明确、唯一的定位方式，保证了 null 可以被正确识别、去重和查找。
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
语义上符合 Set 的唯一性契约
Set 接口规范只要求“元素不可重复”，并未禁止 null；而“重复”由 equals() 定义：null.equals(null) 在语义上为 true（尽管会抛 NPE，但 HashMap 内部用 == 特殊处理）。因此，只允许一个 null 完全满足“无重复”的要求，不会破坏集合一致性。
立即学习“Java免费学习笔记（深入）”；
不允许第二个 null 是为了维持结构稳定
如果允许多个 null，就会违反唯一性原则；若不加限制地插入多个 null，HashSet 就无法区分它们，迭代、删除、contains 等操作将失去确定性。所以“最多一个 null”不是权宜之计，而是与哈希表设计、equals 语义、集合契约三者严格对齐的结果。
