Arrays.binarySearch 是基于升序前提的带位置语义查找协议：≥0 返回实际索引，<0 时 -(返回值+1) 为插入点；需显式排序、匹配Comparator、注意区间语义与类型安全。

Arrays.binarySearch 不是“查得到就返回索引，查不到就返回 -1”的简单工具——它是一套带位置语义的查找协议，核心在于排序前提、区间约束和返回值编码规则。

必须先确保数组升序，否则结果无意义

二分查找依赖“中间元素能划分左右区间”这一逻辑，这只有在有序前提下才成立。binarySearch 本身不校验排序状态，也不会抛异常，传入乱序数组时：可能返回错误正数（看似找到了，实为巧合），也可能返回任意负数（无法还原插入点）。常见做法是调用前显式排序：

• 基本类型数组：用 Arrays.sort(arr)，一次排序，多次复用查找
• 对象数组：若元素实现 Comparable，同样用 Arrays.sort(arr)；若按非自然顺序（如降序、按长度）查找，排序和查找都需传入**同一个 Comparator**
• 若需保留原数组顺序，应先 Arrays.copyOf(arr, arr.length) 再排序和查找

返回值不是布尔标志，而是位置信息编码

返回值携带双重含义，不能只看是否 ≥ 0 来判断存在性，更要理解其数值本身的意义：

• ≥ 0：表示找到，数值即该元素在数组中的实际索引（例如返回 2，说明 key 在第 3 个位置）
• < 0：表示未找到，此时 -(返回值 + 1) 就是插入点——即保持升序时 key 应插入的位置索引
• 例如返回 -4 → 插入点为 3；返回 -1 → 应插在开头（索引 0）；返回 -7 且数组长为 6 → 应插在末尾（索引 6）

支持指定区间查找，但边界是左闭右开

四参数重载 binarySearch(arr, fromIndex, toIndex, key) 可限制搜索范围，适用于分页、时间窗口等场景，但要注意语义：

• 搜索范围是 [fromIndex, toIndex)，即包含 fromIndex，不包含 toIndex
• 要求该子区间本身升序（不要求整个数组全局有序，只要这段连续区域有序即可）
• 返回索引仍是**原数组的绝对索引**，不是子区间的相对偏移
• 查不到时的负数也按区间重新计算：若 key 小于区间所有元素，返回 -(fromIndex + 1)；若大于所有元素，返回 -(toIndex + 1)

注意类型匹配与对象数组的潜在陷阱

不同数组类型对应不同重载方法，混用会导致编译通过但运行异常：

• int[] 查 int：用 binarySearch(int[], int)；Integer[] 查 Integer：用 binarySearch(Object[], Object)，二者不可互换
• 对象数组中含 null 时，若未提供 Comparator 或元素未实现 Comparable，运行时抛 NullPointerException 或 ClassCastException
• 重复元素存在时，binarySearch 只保证返回“其中一个匹配位置”，不承诺是首/末次出现——如需左边界，需额外向左扫描或改用其他策略