Arrays.binarySearch 性能与逻辑实战
Arrays.binarySearch在小数组（长度小于21）时实际执行线性扫描而非二分查找，这是针对CPU缓存的优化；大数组才启动标准二分查找，中点计算采用low+(high-low)/2防止整型溢出，其性能优势仅在特定条件下兑现。
先说个核心判断：Arrays.binarySearch 远远不是一个“一搜就灵”的黑箱工具。它的性能优势只在特定条件下才能兑现，逻辑细节也常常被误读。用得对，能把查找从 O(n) 压到 O(log n)；用错了，可能比遍历还慢，甚至返回一个看似合理却完全错误的结果。
小数组走线性扫描，这不是bug，是刻意的优化
别以为 binarySearch 只要一调用，就一定会执行二分查找。在 JDK 8 中，如果数组长度小于 21，底层实际上会用一个 for 循环直接遍历。这可不是偷懒，而是现代 CPU 缓存友好性做出的实际选择：短距离内的顺序访问，比反复计算中点、进行分支跳转要快得多。
- 对于一个长度为 15 的 int[] 查找某个数，底层的操作是一个简单循环，而不是我们熟悉的 mid = (low + high) / 2。
- 这个阈值并不公开，不同 JDK 版本可能会调整。你不需要，也不应该硬编码依赖它。
- 所以，对于几十个元素的配置数组或枚举缓存，用 binarySearch 没问题，但别期待“二分加速”，因为二分本来就没启动。
大数组才真正二分，但防溢出和边界逻辑很较真
当数组长度足够大的时候，binarySearch 才会真正启动标准的二分查找，但它的实现比教科书更严谨：
- 中点计算用的是 low + (high - low) / 2，而不是 (low + high) / 2。这是为了避免索引值超出 int 范围（比如数组长度接近 2³¹ 时）。
- 循环条件是 low <= high，确保即使是单元素区间也能被检查到，不会漏掉 arr[0] 或 arr[n-1]。
- 当查不到目标时，返回值是 -(insertion point) - 1，而不是简单的 -1。这个负数自带位置信息，按位取反（~result）就能还原出插入索引。
不校验排序，错得静默且不可预测
这是最容易被忽视的一个坑：binarySearch 完全不检查你传进来的数组是否真的有序。它默认你已经排好了，直接开搜。
- 一个乱序的数组，可能返回一个正数，但这个索引对应的值根本不是你要找的。
- 也可能返回一个负数，但 -(insertion point) - 1 的语义已经失效，因为“插入点”在无序的前提下毫无意义。
- 它不会抛出异常，不打日志，也不给任何警告。错误的结果由你的代码默默承担，线上排查时往往绕了一大圈，才回到排序这一步。
返回值不是布尔值，而是带语义的整数
理解这个返回值，才是真正用好 binarySearch 的关键：
- ≥ 0：找到了，值就是索引。但要注意，它不保证是最左或最右的重复元素位置。
- < 0：没找到，值 = -(应插入位置) - 1。举个例子，在 [1,3,5,7] 里查 4，返回 -3，这意味着插入点是 2（即放在索引 2 处），计算一下：~(-3) == 2。
- 空数组查任意值，固定返回 -1。因为插入点恒为 0，-(0)-1 = -1。
对象数组和原始类型不能混用
int[] 和 Integer[] 对应的是完全不同的重载方法，Ja va 不会自动帮你转换：
- 传一个 int[] 却调用
binarySearch(Object[], Object)→ 编译直接报错。 - 传一个 Integer[] 却调用
binarySearch(int[], int)→ 同样编译失败。 - Integer[] 版本涉及装箱/拆箱操作，在百万级数据量下，性能比 int[] 慢 3 到 5 倍。在性能敏感的场景里，务必选对重载。
正软商城本月促销专区，汇集办公、设计、安全、影音、系统工具及AI软件等正版软件优惠活动，提供限时折扣、特价授权和优惠购买信息，活动库存及价格以页面实时展示为准。
正软商城装机必备专区，精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件，帮助用户快速完成新电脑软件配置。
正软商城Windows软件专区，汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件，提供软件介绍、系统要求、正版授权及购买下载服务。
正软商城macOS软件专区，精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具，提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。
正软商城iOS软件专区，精选适用于iPhone和iPad的办公、学习、影音、设计、效率及AI应用，提供功能介绍、适用设备、系统要求和正版获取方式等信息。
正软商城AI软件专区，汇集AI写作、AI绘画、AI视频、AI办公、AI编程、AI翻译、智能客服和数据分析等人工智能工具，提供功能介绍、适用平台、收费方式及正版购买信息。
正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法，同时介绍常用PDF软件和工具的使用技巧。
赤友清理大师是一款为 Mac 设计的智能清理优化工具，可精准扫描垃圾、大文件、重复文件等，释放磁盘空间。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
Wise Folder Hider Pro 是一款专业级文件和文件夹隐藏加密软件，为私密数据添加多重保护。高频操作更强调就近处理，浏览、整理和跨目录移动文件时，来回切换和重复点击都会少很多。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
