TreeMap排序依赖Comparator或Comparable实时比较键大小，底层红黑树据此动态调整结构；Comparator在构造时注入，后续所有操作均调用其compare方法，不可更改。
TreeMap 的排序不是靠“记住顺序”，而是靠每次插入、查找、删除时实时比较键（key）大小，这个比较动作由 Comparator 或 Comparable 驱动，底层红黑树结构则负责把比较结果转化为稳定的树形布局。
Comparator 如何介入每一次键比较
TreeMap 内部有一个 final Comparator super K> comparator 字段。构造时若传入自定义比较器，该字段就被赋值；否则为 null。所有键的大小判定都走统一入口 —— compare(K k1, K k2) 方法：
- 如果
comparator != null，直接调用comparator.compare(k1, k2) - 否则强制要求
k1实现Comparable，转而调用k1.compareTo(k2)
这个判断逻辑在源码中是硬编码的，没有分支优化或延迟绑定，每次比较都走相同路径，确保行为一致。
红黑树如何用比较结果组织节点
红黑树本质是二叉搜索树（BST）的自平衡变种。TreeMap 插入一个新键时，并不“排序整个集合”，而是从根节点开始逐层比较：
- 若新键
compare()结果小于当前节点键 → 走左子树 - 若大于 → 走右子树
- 若等于 → 替换旧值（TreeMap 不允许重复 key）
比较过程只依赖两两之间的相对大小，和已有节点数量无关。红黑树随后通过变色与旋转维持平衡，但不会改变“左子树所有键 ≤ 当前键 ≤ 右子树所有键”这一 BST 核心性质。
检索与遍历为何天然有序
get、containsKey 等检索操作同样从根出发，按 compare() 结果决定走向，时间复杂度稳定为 O(log n)。而中序遍历（如 keySet().iterator()）会严格按“左-根-右”访问节点，恰好对应键从小到大的自然序列 —— 这不是额外排序，而是树结构+比较规则共同决定的固有行为。
常见陷阱与关键约束
Comparator 的语义必须满足数学上的“全序关系”，否则 TreeMap 行为不可预测：
-
自反性：对任意非 null 键
k，compare(k, k) == 0 -
传递性：若
compare(a,b) ≤ 0且compare(b,c) ≤ 0，则compare(a,c) ≤ 0 -
一致性：多次调用
compare(a,b)必须返回相同结果（不能依赖可变状态） -
键不可变：一旦放入 TreeMap，key 对象的状态不应影响
compare()结果，否则树结构可能损坏
违反任一条件，可能导致元素丢失、重复、遍历跳过、甚至死循环。
