二分查找中mid=(left+(right-left))//2为何比(left+right)//2更优？

首先给出常见的二分查找代码片段：

left, right = 0, len(nums)
while left < right:
    mid = (left + right) // 2
    if nums[mid] == target:
        return mid

核心差异原因：避免固定精度整数溢出 #

• 除Python外的多数编程语言（如C、C++、Java等）的基础整数类型有固定长度上限，例如32位有符号整数的最大值为2^31 - 1 = 2147483647。当left和right都是接近上限的大值时，直接计算left + right会超出类型的取值范围，发生整数溢出，最终得到错误的负数mid值，进而引发数组越界、逻辑死循环等问题。
• 正确的防溢出写法应为mid = left + (right - left) // 2（你原描述中的写法漏写了对差值的整除操作），该写法完全规避了溢出风险：right - left的差值永远不会超过整数类型的最大值，再加上left后的结果也不会超过right的取值，无论参数多大都能得到正确的中间值。
• Python不存在这个问题的原因是Python的int类型为动态精度，支持任意大的整数存储，不会发生溢出，因此两种写法在Python中效果完全等价。

内容的提问来源于stack exchange，提问作者DarkMatter