JavaScript 除法陷阱：为何整数数组索引变成小数？

问题背景：二分查找中的意外死循环

在进行数据结构学习时，尝试用 JavaScript 实现一个健忘版（未记忆递归层数）的二分查找函数。按照常规逻辑，通过 `(low + high) / 2` 计算中间位置 min，根据目标值与中间值的大小关系调整 low 和 high 边界。然而，在实际运行测试代码时，CPU 占用飙升且浏览器最终终止脚本，这通常是无限递归导致的死循环迹象。

// 初始的问题代码片段
function binary_search(arr, target, low, high) {
    if(low < high) {
        var min = (low + high) / 2;
        // ... 后续递归逻辑
    }
}

第1步：定位故障点

为了找出递归无法收敛的原因，我们在关键的判断条件内加入输出来观察变量变化：

// 二分查找调试版本
function binary_search(arr, target, low, high){
    if(low<high) {
        var min = (low+high)/2;
        console.log("当前 mid:", min); // 关键调试点
        if(target>arr[min]) 
            return binary_search(arr,target,min+1,high);
        else 
            return binary_search(arr,target,low,min);
    }
    // ... 其他条件判断
}

运行后控制台弹出的数字为 2.5。这揭示了问题的核心：在 JavaScript 中，除法运算结果默认为浮点数，而非像 C/C++ 那样自动取整。

原因分析与解决方案

JavaScript 的 / 运算符执行的是标准数学除法，即便被除数和除数都是整数，只要不能整除（如 5 / 2），结果就是小数（2.5）。而在数组操作中，索引必须是整数。当 min 变为小数时，后续的逻辑判断可能无法正确缩小范围，或者因为浮点数精度问题导致边界条件永远无法满足（例如一直卡在 2 和 3 之间震荡）。

解决方法：强制向下取整

要解决此问题，必须对除法结果进行取整处理。以下是两种常用的修正方式：

方法一：使用 parseInt

parseInt() 是全局函数，用于解析字符串并返回整数。虽然此处直接传入数值也能工作，但语义上主要用于字符串解析，因此在纯数值计算场景下不是首选，但确实有效。

var min = parseInt((low + high) / 2);

方法二：使用 Math.floor（推荐）

Math.floor() 专门用于数学计算中的向下取整操作，语义更清晰，性能也更好。

var min = Math.floor((low + high) / 2);

完整的正确实现示例

结合取整修正后的完整二分查找代码如下：

function binary_search(arr, target, low, high){
    // 确保 high 不越界
    if(low > high) {
        return -1;
    }

    if(low == high) {
        if(arr[low] == target) 
            return low;
        else 
            return -1;
    }

    // 关键修正：使用 Math.floor 确保索引为整数
    var min = Math.floor((low + high) / 2);

    if(target > arr[min]) 
        return binary_search(arr, target, min + 1, high);
    else if(target < arr[min]) 
        return binary_search(arr, target, low, min - 1);
    else 
        return min;
}

调用示例：

var arr = [1, 2, 3, 4, 5, 6];
alert(binary_search(arr, 3, 0, arr.length - 1)); // 输出 2

以上就是 JavaScript 中 / 运算符导致浮点数索引错误的详细内容，更多关于 JS 基础语法陷阱的资料请关注本站其它相关文章！