用 (low + high) >>> 1 可防整数溢出导致的负索引越界，因无符号右移将溢出负值转为合法正索引；安全前提包括括号保障优先级、索引有效、区间左闭右闭及指针更新排除已检位置。

直接用 (low + high) / 2 算中间索引，在大数组或边界值场景下极易整数溢出，导致结果为负数——而数组下标一用负数，Java 或 C++ 不报错也不抛异常，而是静默越界访问，后续行为完全不可预测。无符号右移 >>> 是一种被验证有效的防御手段，关键不在“快”，而在“稳”。

为什么溢出会静默发生

有符号整型相加溢出时，不触发异常，只按补码规则截断。比如 Java 中：
int low = Integer.MAX_VALUE - 1; // 2147483646
int high = Integer.MAX_VALUE; // 2147483647
int sum = low + high; // 实际得 -2（补码解释）
再除以 2 得到 -1，用作数组下标就直接越界，但程序可能继续跑、返回错误结果、甚至崩溃在别处，极难定位。

无符号右移如何切断溢出传导

>>> 把整个数值当 32 位（或 64 位）无符号整数看待，高位一律补 0，不关心符号位。所以即使 low + high 溢出变负，它的二进制形式仍被当作一个很大的正整数处理：

• -2 的 32 位补码是 11111111 11111111 11111111 11111110
• -2 >>> 1 直接右移一位，高位补 0 → 01111111 11111111 11111111 11111111，即 2147483647
• 这个值虽不是数学意义上的中点，但仍是合法非负索引，不会导致静默越界

安全写法与必须配合的前提

仅靠 >>> 不够，它只是防溢出环节的一环。真正安全需满足：

• 始终用 mid = (low + high) >>> 1，不要省略括号，避免运算符优先级陷阱
• low 和 high 必须是有效数组索引（≥ 0 且 ≤ nums.length - 1），不能是元素值或其他任意整数
• 区间定义统一为左闭右闭：low = 0，right = nums.length - 1
• 更新指针时严格排除已检位置：low = mid + 1 或 right = mid - 1，防止死循环

更推荐的替代方案（尤其跨语言）

如果项目需兼顾 Java/C++/Python 或未来可维护性，建议优先用减法形式：

• mid = low + ((high - low) >> 1) —— 无溢出风险，语义清晰，所有语言通用
• C++20 起可用 std::midpoint(low, high)，类型安全且自动处理溢出
• 对索引范围极大（如 size_t）或不确定符号的场景，显式转无符号类型再运算，例如 (static_cast<uint64_t>(low) + high) >>> 1