int middle = left + ((right - left) / 2);
这行代码使用了一些技巧来防止整数溢出:
-
将 (right - left) 括号起来,确保先进行减法运算。这可以防止如果先加 left 可能引起的溢出。
-
使用除法运算 (right - left) / 2 而不是乘法来计算中间索引。乘法更容易导致溢出。
-
使用左移右移位运算更安全,但除法运算更简洁。
-
强制类型转换为 int 可以截断任何可能的溢出位。
-
left 和 right 作为参数传入,保证它们在 int 范围内。
-
中间索引一定在 left 和 right 之间,所以不太可能溢出 int 范围。
-
用一个表达式计算中间索引而不是分步计算,可以最小化溢出的机会。
所以这种计算中间索引的技巧可以很好地防止整数溢出的风险。主要原因是使用了除法而不是乘法,并且进行了合理的约束和类型转换。这在二分查找算法中计算中间索引时是一个常见且安全的做法。
平时我们应该如何怎么使用乘法来计算中间索引呢?
使用乘法来计算二分查找算法的中间索引的方法:
-
不使用除法,直接用乘法计算:
mid = left + (right - left) * 0.5
这里使用0.5而不是1/2来避免整形除法的截断错误。
-
可以使用位移运算符代替乘法,效率更高:
mid = (left + right) >> 1
右移一位相当于除以2。
-
如果左右索引非常大,可以分两步计算:
diff = right - left
mid = left + (diff >> 1)
防止一次计算中间索引时溢出。
-
还可以使用一些数学技巧:
mid = (left + right) / 2
mid = left + (right - left) / (1 << 1)
使用位运算和分步计算来避免溢出。
-
如果每次比较时调整左右索引,也可以不 explicitly 计算 mid:
if(arr[mid] > target) right = mid;
else left = mid;
综上,使用乘法计算中间索引可以避免除法的截断错误,但需要注意溢出问题。位运算和分步计算可以很好地防止溢出。需根据具体情况选择最优方法。