本文深入解析 Arrays.sort() 如何通过自定义 Comparator（如 (a, b) -> Integer.compare(a[0], b[0])）实现二维数组排序，重点说明比较器返回值（-1/0/1）如何被底层排序算法解读并驱动元素交换。
本文深入解析 `arrays.sort()` 如何通过自定义 `comparator`（如 `(a, b) -> integer.compare(a[0], b[0])`）实现二维数组排序，重点说明比较器返回值（-1/0/1）如何被底层排序算法解读并驱动元素交换。
在 Java 中，对二维数组（如 int[][] intervals）按某列（例如起始时间 intervals[i][0]）排序，常用写法为：
Arrays.sort(intervals, (a, b) -> Integer.compare(a[0], b[0]));
该语句看似简洁，但背后涉及函数式接口、比较契约与排序算法协同工作的完整机制。
? 核心机制：Comparator 接口的契约约定
Arrays.sort(T[], Comparator super T>) 的第二个参数必须是实现了 java.util.Comparator 接口的实例。该接口定义了唯一抽象方法：
int compare(T o1, T o2);
关键约束（JDK 文档明确要求）：
- 若 o1 负整数（通常为 -1）；
- 若 o1 == o2，返回 0；
- 若 o1 > o2，返回正整数（通常为 1）。
Integer.compare(a[0], b[0]) 完美满足这一契约：它内部通过减法逻辑（a[0] - b[0]）安全地避免溢出，并严格返回 -1、0 或 1（或等效负/零/正值），因此可直接作为比较逻辑使用。
⚙️ 排序算法如何“读懂”这个返回值？
Java 8+ 中，Arrays.sort() 对引用类型（如 int[][]）默认采用 Timsort（一种优化的稳定归并排序变体）。Timsort 在合并、插入或分区过程中，不关心具体返回多少，只依赖其符号：
- 返回 负值 → 认定 a 应排在 b 之前（无需交换）；
- 返回 0 → 视为相等，保持原有相对顺序（体现稳定性）；
- 返回 正值 → 认定 a 应排在 b 之后，触发位置调整（如交换或重定位）。
换言之，排序算法将 compare() 视为一个三态布尔决策器： —— 而非数值计算器。这也是为何你可用 (a,b) -> a[0] - b[0]（需注意溢出风险），但更推荐 Integer.compare()：它语义清晰、无溢出隐患，且明确传达设计意图。
✅ 实际示例与注意事项
int[][] intervals = {{3, 4}, {1, 2}, {2, 5}};
Arrays.sort(intervals, (a, b) -> Integer.compare(a[0], b[0]));
// 结果：[[1, 2], [2, 5], [3, 4]]
⚠️ 重要提醒：
- 比较器必须保持一致性：对同一对元素多次调用 compare() 必须返回相同结果；
- 避免在 compare() 中修改数组内容（如 a[0] = 0），否则破坏排序逻辑；
- 若需降序，可写为 Integer.compare(b[0], a[0]) 或 Comparator.reverseOrder() 配合 Comparator.comparingInt(a -> a[0])；
- Integer.compare() 专为 int 设计；对 long 请用 Long.compare()，对象类型则用 Objects.compare()。
掌握这一机制，不仅能正确排序二维数组，更能灵活构建复杂排序逻辑（如先按首列升序、首列相同时按末列降序），真正驾驭 Java 的函数式排序能力。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
