javascript数组实现二分查找的核心是利用有序性不断减半搜索区间，1. 实现时需确保数组已排序，否则结果不正确；2. 使用left
JavaScript数组实现二分查找，核心在于利用数组的有序性，通过不断将搜索区间减半来快速定位目标元素。这个过程需要数组预先排好序，否则二分查找将无法给出正确结果。
解决方案
/**
* 在一个已排序的JavaScript数组中执行二分查找。
*
* @param {Array} arr - 必须是已排序的数字数组。
* @param {number} target - 要查找的目标值。
* @returns {number} 如果找到目标值，返回其在数组中的索引；否则返回 -1。
*/
function binarySearch(arr, target) {
let left = 0;
let right = arr.length - 1;
// 循环条件 left <= right 是关键，确保在只有1个元素时也能正确处理
while (left <= right) {
// 计算中间索引，使用位运算或Math.floor可以确保是整数
// (left + right) >>> 1 比 Math.floor((left + right) / 2) 在某些语言中能避免溢出，
// 在JS里更多是习惯或微优化，Math.floor也完全没问题。
const mid = Math.floor((left + right) / 2);
// 检查中间元素是否是目标值
if (arr[mid] === target) {
return mid; // 找到目标，返回索引
}
// 如果中间元素小于目标值，说明目标在右半部分
if (arr[mid] < target) {
left = mid + 1; // 移动左边界到 mid 的右边
}
// 如果中间元素大于目标值，说明目标在左半部分
else {
right = mid - 1; // 移动右边界到 mid 的左边
}
}
// 循环结束仍未找到，说明目标不在数组中
return -1;
}
// 示例用法：
const sortedNumbers = [1, 5, 8, 12, 13, 16, 20, 25, 30, 35, 40];
console.log("查找 13:", binarySearch(sortedNumbers, 13)); // 期望输出: 4
console.log("查找 7:", binarySearch(sortedNumbers, 7)); // 期望输出: -1
console.log("查找 1:", binarySearch(sortedNumbers, 1)); // 期望输出: 0
console.log("查找 40:", binarySearch(sortedNumbers, 40)); // 期望输出: 10
console.log("查找 0:", binarySearch(sortedNumbers, 0)); // 期望输出: -1
console.log("查找 45:", binarySearch(sortedNumbers, 45)); // 期望输出: -1 为什么JavaScript内置方法没有直接提供二分查找？
这确实是个有意思的问题。当我第一次接触到
Array.prototype.indexOf和
Array.prototype.findIndex时，我就在想，为什么不直接给我一个
binarySearch呢？后来慢慢体会到，这背后其实是设计哲学和实际应用场景的考量。
首先，JavaScript数组天生是动态的，而且非常灵活，它不强制要求数组元素必须有序。而二分查找的核心前提就是数组必须有序。如果数组无序，你强行用二分查找，结果会是灾难性的，它会给你一个完全错误甚至误导性的结果。内置方法通常追求的是通用性和鲁棒性，一个需要特定前置条件的算法，如果直接内置，可能会让很多初学者掉坑里。
立即学习“Java免费学习笔记（深入）”；
其次，对于很多小规模的数组操作，线性查找（
indexOf这类）的性能开销其实并不大，甚至在某些情况下，由于CPU缓存和分支预测等底层优化，它可能比你手动实现一个二分查找还要快一点点，虽然理论复杂度更高。更何况，如果你为了使用二分查找而不得不先对一个无序数组进行排序（
sort()方法），那么这个排序本身的复杂度通常是 O(N log N)，远高于线性查找的 O(N) 和二分查找的 O(log N)。这意味着，如果你只查找一次，先排序再二分查找的总体成本，可能比直接线性查找还要高。
所以，JavaScript的设计者们可能觉得，既然二分查找的实现并不复杂，而且它有明确的使用场景（数据已排序且需要多次查找），那么把它作为一个需要开发者根据具体需求自行实现的算法，而不是一个内置方法，反而更合理。这样既避免了误用，也让开发者能更清晰地理解算法的适用范围。
实现二分查找时常见的陷阱与性能考量
在实际编写二分查找时，我踩过不少坑，也对它的性能有了更深的理解。
最大的陷阱，毫无疑问就是数组未排序。这个错误太常见了，有时候数据来源不是你直接控制的，或者某个环节出了问题，数组就乱了。一旦数据无序，二分查找就会变成一个“伪随机数生成器”，你根本不知道它会返回什么。所以，在调用二分查找前，务必确认你的数组是严格有序的。如果不是，你得先用
arr.sort()处理一下，但记得，
sort()默认是按字符串排序的，数字数组需要提供一个比较函数，比如
arr.sort((a, b) => a - b)。
另一个常见的“小”陷阱是边界条件的判断。
while (left <= right)还是
while (left < right)？
left = mid + 1还是
left = mid？这些细节决定了算法能否正确处理数组的第一个元素、最后一个元素，以及目标值不存在的情况。我个人偏爱
left <= right的写法，因为它能更直观地覆盖到
left和
right指向同一个元素时的场景。
关于
mid的计算，
Math.floor((left + right) / 2)是最常见的。在一些其他语言中，
left + right可能会导致整数溢出，所以会有
left + (right - left) / 2这种写法。但在JavaScript中，数字都是双精度浮点数，溢出不是问题，所以
(left + right) / 2然后
Math.floor是完全安全的。不过，使用位运算
(left + right) >>> 1确实能保证结果是整数，而且在某些JS引擎中可能略有性能优势，但对于大多数应用来说，这点差异可以忽略不计。
从性能角度看，二分查找的时间复杂度是 O(log N)。这意味着即使你的数组有数百万甚至数十亿个元素，查找也只需要非常少的步骤。比如，一个包含10亿个元素的数组，最多也就需要30次左右的比较（因为 2^30 约等于 10^9）。这与线性查找的 O(N) 形成了鲜明对比，后者可能需要10亿次比较。因此，对于大型数据集且需要频繁查找的场景，二分查找是性能的保证。
但正如前面提到的，这个 O(log N) 的优势是建立在数组已排序的基础上的。如果每次查找前都需要排序，那么总成本就会被排序的 O(N log N) 支配，二分查找的 O(log N) 就显得微不足道了。所以，二分查找最适合的场景是：数据只排序一次（或者本身就保持有序），然后进行多次查找。
如何将二分查找应用于更复杂的数据结构或场景？
二分查找的核心思想——“分而治之”，通过不断减半搜索空间来逼近目标——远不止应用于简单的数字数组。它是一种非常强大的思维模式，可以推广到许多看似复杂的问题。
比如说，你有一个包含对象的数组，每个对象都有一个
id属性，并且这个数组是按
id升序排列的。你现在想根据
id查找某个对象。这时，二分查找依然适用，只是你的比较逻辑需要变一下：不再是
arr[mid] === target，而是
arr[mid].id === targetId。同理，
arr[mid].id < targetId和
arr[mid].id > targetId来调整
left和
right。这种场景在实际业务中非常常见，比如查找用户、商品等。
再进一步，有时候你可能需要找到目标值的第一个或最后一个出现位置。标准的二分查找只会返回它找到的任何一个匹配项的索引。如果你想找第一个，当
arr[mid] === target时，你不能直接返回，而是记录下这个
mid作为潜在答案，然后继续在左半部分搜索（
right = mid - 1），看是否还有更早的匹配。同理，找最后一个出现位置时，则继续在右半部分搜索（
left = mid + 1）。这稍微修改了循环内部的逻辑，但核心的二分思想不变。
甚至在一些非传统的“数组”上，二分查找的理念也能发光发热。比如，在二叉搜索树（Binary Search Tree, BST）中查找元素，其查找过程本质上就是一种二分查找：从根节点开始，如果目标值小于当前节点，就去左子树找；如果大于，就去右子树找。这和数组的二分查找逻辑异曲同工，只是数据结构从线性变成了树形。
更抽象一点，当你在解决一个问题，发现问题的解空间（所有可能的答案）是单调的（比如，某个属性随着某个参数的增大而增大或减小），并且你可以通过检查某个中间点来判断解在左半部分还是右半部分时，你就可以考虑使用二分查找来优化你的搜索过程。这在算法竞赛中非常常见，比如“在给定范围内寻找满足某个条件的最小值/最大值”这类问题，常常可以通过在答案的取值范围上进行二分查找来解决。
所以，二分查找不仅仅是一个算法，它更是一种解决问题的思维模式，一种高效利用有序性来缩小搜索范围的策略。掌握了它，你就能在很多地方找到它的影子，并将其灵活运用。
