arrays.binarysearch 是基于升序前提的带位置语义查找协议:≥0 返回实际索引,

Arrays.binarySearch 不是“查得到就返回索引,查不到就返回 -1”的简单工具——它是一套带位置语义的查找协议,核心在于排序前提、区间约束和返回值编码规则。
必须先确保数组升序,否则结果无意义
二分查找依赖“中间元素能划分左右区间”这一逻辑,这只有在有序前提下才成立。binarySearch 本身不校验排序状态,也不会抛异常,传入乱序数组时:可能返回错误正数(看似找到了,实为巧合),也可能返回任意负数(无法还原插入点)。常见做法是调用前显式排序:
- 基本类型数组:用 Arrays.sort(arr),一次排序,多次复用查找
- 对象数组:若元素实现 Comparable,同样用 Arrays.sort(arr);若按非自然顺序(如降序、按长度)查找,排序和查找都需传入**同一个 Comparator**
- 若需保留原数组顺序,应先 Arrays.copyOf(arr, arr.length) 再排序和查找
返回值不是布尔标志,而是位置信息编码
返回值携带双重含义,不能只看是否 ≥ 0 来判断存在性,更要理解其数值本身的意义:
- ≥ 0:表示找到,数值即该元素在数组中的实际索引(例如返回 2,说明 key 在第 3 个位置)
- -(返回值 + 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 只保证返回“其中一个匹配位置”,不承诺是首/末次出现——如需左边界,需额外向左扫描或改用其他策略











