Arrays.binarySearch返回负数表示未找到目标，其值编码插入点：result = -(insertionPoint + 1)，故插入点为-(result + 1)或~result；需确保数组已升序排序且Comparator一致，否则结果未定义。

Arrays.binarySearch 返回负数，不是错误或异常，而是明确告诉你：目标没找到，但它知道该插哪儿。

负数到底代表什么

返回值 result < 0 时，它编码的是“插入点”（insertion point）——即保持数组升序所需插入的位置索引。具体规则是：
result = -(insertionPoint + 1)。
也就是说，插入点 = -(result + 1)，等价于 ~result（按位取反）。

• 返回 -1 → 插入点是 0（比所有元素都小）
• 返回 -3 → 插入点是 2（比如在 [1, 3, 5, 7] 中查 4，应插在索引 2）
• 返回 -5 → 插入点是 4（数组长度为 4，说明应插在末尾之后）

怎么安全还原插入位置

别用 Math.abs(result)，也别直接写 -result —— 这两种都会出错。正确做法只有一种逻辑清晰、无溢出风险的写法：

Java Maven Common

Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。

下载

• int pos = -(result + 1); —— 推荐，语义直白，不易误解
• int pos = ~result; —— 等价，因 Java 中 ~x == -x - 1，但可读性略弱
• 避免写 -result - 1，虽数学等价，但易与其它逻辑混淆

必须满足的前提条件

这个负数才有意义。否则返回值完全不可靠：

立即学习“Java免费学习笔记（深入）”；

• 数组必须已按升序排序（natural order），否则结果未定义
• 若用 Comparator，binarySearch 必须传入相同 comparator，且数组已按其规则排好序
• 方法本身不校验排序状态，也不会报错，静默返回错误值
• 对子区间查找（四参数重载），插入点仍基于整个数组索引，但计算范围限定在 [fromIndex, toIndex)

常见实用场景

拿到插入点后，很多操作变得简洁可靠：

• 有序插入：用 pos 作为 ArrayList.add(pos, e) 的下标，或手动数组扩容移位
• 查找左边界：插入点本身就是“第一个 ≥ 目标值”的位置（lower bound）
• 合并有序数组：遍历第二个数组，对每个元素查插入点，决定放入第一数组的何处
• 去重+插入：先 binarySearch，若 result < 0 再按 pos 插入；若 ≥ 0 则已存在，跳过