当 TreeMap 的 Comparator 返回 0 时，如何理解表示相等的长尾疑问？

本文共计914个文字，预计阅读时间需要4分钟。

%E2%80%9CTreeMap%E7%9A%84Comparator%E8%BF%94%E5%9B%9E0%EF%BC%8C%E8%A1%A8%E7%A4%BA%E4%B8%A4%E4%B8%AAkey%E9%80%BB%E8%BE%91%E4%B8%8A%E2%80%9C%E7%9B%B8%E7%AD%89%E2%80%9D%E2%80%94%E2%80%94%E4%B8%8D%E6%98%AF%E6%8C%87%E5%AF%B9%E8%B1%A1%E5%9C%B0%E5%9D%80%E6%88%96%E5%86%85%E5%AE%B9%E5%AE%8C%E5%85%A8%E7%9B%B8%E5%90%8C%EF%BC%8C%E8%80%8C%E6%98%AF%E6%8C%89%E4%BD%A0%E5%AE%9A%E4%B9%89%E7%9A%84%E6%8E%92%E5%BA%8F%E8%A7%84%E5%88%99%EF%BC%8C%E5%AE%83%E4%BB%AC%E5%BA%94%E8%A2%AB%E8%A7%86%E4%BD%9C%E5%90%8C%E4%B8%80%E4%B8%AA%E4%BD%8D%E7%BD%AE%E4%B8%8A%E7%9A%84%E9%94%AE%E3%80%82%E8%BF%99%E4%BC%9A%E7%9B%B4%E6%8E%A5%E8%A7%A6%E5%8F%91TreeMap%E7%9A%84%E2%80%9C%E5%8E%BB%E9%87%8D%E8%A6%86%E7%9B%96%E2%80%9D%E8%A1%8C%E4%B8%BA%E3%80%82%E2%80%9D

返回 0 意味着 key 被判定为重复

TreeMap 不允许键重复。当 compare(k1, k2) == 0 时，TreeMap 认为 k1 和 k2 是同一个 key，后续 put(k2, v2) 会覆盖 k1 对应的旧值，而不是新增节点。

• 例如：new TreeMap((a,b) -> a.length() - b.length())，那么 "ab" 和 "cd" 都长 2，比较返回 0 → 视为同一 key
• map.put("ab", 1); map.put("cd", 2); 后，map 中只剩一个条目，比如 {"cd"=2}（取决于插入顺序和树结构）

返回 0 会导致 get 失败

TreeMap 的 get(key) 内部也调用同一个 Comparator 做查找。如果查找时传入的 key 和已有 key 比较返回 0，它就认为找到了；但如果比较逻辑没写全，或者两个不同 key 碰巧返回 0，而你又想保留它们，那 get 可能返回 null——因为树在搜索路径中“跳过”了本该存在的分支。

• 根本原因：红黑树查找依赖严格三路比较（0）。若本该区分的 key 却返回 0，搜索提前终止，找不到目标节点
• 典型场景：按某个字段排序，但字段值相同时没做次级区分（如先按分数排，分数相同时没按 id 排）

正确做法：保证比较器满足“严格弱序”，且对不同 key 尽量避免返回 0

除非你**明确希望合并某些 key**，否则应让 Comparator 在 key 真正不同时返回非零值。常用策略是“多级比较”：

• (a, b) -> Integer.compare(score[a], score[b]) != 0 ? Integer.compare(score[a], score[b]) : Integer.compare(a, b)
• 即：主字段相等时，用唯一标识（如索引、ID、对象引用哈希等）兜底，确保不同 key 总有可区分的顺序

注意 null 安全和一致性

如果 key 可能为 null，Comparator 必须显式处理，否则抛 NullPointerException。推荐用 Comparator.nullsFirst() 或 nullsLast() 包装，不要自己手写 == null 判断后直接 return 0 —— 那又会引发重复判定问题。

• 错误：(a,b) -> a==null && b==null ? 0 : a==null ? -1 : b==null ? 1 : a.compareTo(b) → 两个 null 被视为同一 key
• 正确：Comparator.nullsFirst(Comparator.naturalOrder()) → null 统一排最前，彼此不视为相等