C++中std::midpoint在二分查找中如何避免溢出并优化性能？

本文共计1128个文字，预计阅读时间需要5分钟。

由于整数溢出不是错误，而是直接触发未定义行为（UB），以下是一个简化的示例：

常见误判是“数据没那么大，不会出事”，但编译器不会帮你检查运行时值；更麻烦的是，这种 bug 往往只在特定硬件或优化等级下暴露，调试成本极高。

• (low + high) / 2 在有符号整型上风险最高，无符号类型虽不溢出但会回绕（right 时 <code>right - left 变成极大正数）
• 即使你用 size_t，也得额外写 if (high >= low) 判断，否则减法回绕后除以 2 还是错的
• 手写 low + (high - low) / 2 是可行替代，但需确保类型一致、括号完整，且无法覆盖指针场景

std::midpoint 在二分中怎么写才对

它不是“换个函数名就行”，关键在类型匹配和调用上下文。C++20 要求两个参数必须是同一类型，且对指针有严格限制。