Arrays.binarySearch要求数组必须已升序排序，否则结果不可预测；因其依赖有序性进行区间收缩，乱序时中点值无法提供正确方向，导致查找失败或返回错误索引。
Java 的 Arrays.binarySearch 要求数组必须已升序排序，否则结果不可预测。这不是可选建议，而是方法契约的硬性前提——源码注释明确写有 “the array must be sorted”，违反时返回值无意义（可能为负数、0，甚至恰好“碰对”某个索引，但不具逻辑正确性）。
为什么必须先 sort？
二分查找依赖“有序性”做区间收缩：每次比较后能确定目标只可能在左半段或右半段。如果数组乱序，中点值无法提供方向信息，算法会跳过正确位置或陷入错误分支。
例如：int[] a = {5, 1, 8}; 未排序，查找 1：
– 第一次比较中点 a[1] == 1，看似命中，返回索引 1 —— 碰巧对了；
– 但查找 5 时，中点仍是 a[1]==1，因 5 > 1 去查右半段 {8}，最终返回 -2（插入点为 2，取反减 1），完全错误。
sort 的具体要求
- 必须使用与
binarySearch相同的排序规则：若用binarySearch(int[], key)，则需用Arrays.sort(int[])升序排； - 若用带
Comparator的binarySearch，则sort必须传入同一Comparator； - 原始类型数组（如
int[]）不能用Comparable，所以不能混用泛型版本的 sort； - 升序是唯一被保证的行为；降序排列后直接调 binarySearch，结果必定错误。
常见误用场景
- 对刚创建/读取的数组直接 binarySearch，忘了排序；
- 排序和查找之间修改了数组（如增删元素、赋新值），破坏有序性；
- 用
Collections.sort()排List，却调用Arrays.binarySearch()查数组（类型不匹配）； - 认为“部分有序”或“几乎有序”可以省略 sort —— 不行，只要有一个逆序对，就可能出错。
安全使用的典型写法
以 int[] 为例：
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
int[] arr = {3, 7, 1, 9, 4};
Arrays.sort(arr); // 必须放在 binarySearch 前
int index = Arrays.binarySearch(arr, 4); // 此时 index >= 0 表示找到
对对象数组或自定义排序，确保 sort 和 binarySearch 使用同一个 Comparator 实例。
立即学习“Java免费学习笔记（深入）”；
