<p>std::midpoint 能防整数溢出，因其对整型等价于 a + (b - a) / 2，避免 a + b 的溢出风险；需 C++20、<numeric>，支持整型、浮点、指针，手动实现可用 min/max 配合差值法。</p>
为什么 midpoint 能防整数溢出？
直接用 (a + b) / 2 算中点，在 a 和 b 都是大正数（比如接近 INT_MAX）时，a + b 会溢出，结果未定义。C++20 引入的 std::midpoint 内部不依赖加法，而是通过位运算或类型适配规避溢出——对整型，它等价于 a + (b - a) / 2，而 b - a 不会溢出（只要 a ≤ b）。
怎么用 std::midpoint？
需包含 <numeric>，且编译器支持 C++20。它重载了整型、浮点、指针类型：
- 整型：自动处理符号和截断方向（向
a靠拢，即向下取整） - 指针：可用于计算数组内两个指针的中间地址，安全且无溢出风险
- 浮点：行为类似
(a + b) / 2，但更精确（避免大数相加失真）
示例：
#include <numeric> int a = INT_MAX - 10, b = INT_MAX; auto m = std::midpoint(a, b); // 安全，结果为 INT_MAX - 5
不用 C++20 怎么手动实现防溢出中点？
若项目卡在 C++17 或更低，可手写等效逻辑。关键不是“避免加法”，而是确保中间计算不越界：
立即学习“C++免费学习笔记（深入）”；
- 对有符号整型，用
a + (b - a) / 2（要求a ≤ b） - 若不确定大小关系，先取 min/max：
auto lo = std::min(a, b); auto hi = std::max(a, b); return lo + (hi - lo) / 2; - 对无符号整型，
(a + b) / 2实际不会溢出（模算术），但语义可能不符合预期；更稳妥仍用差值法 - 注意：
/ 2是向零截断，与std::midpoint对负数的处理一致（如std::midpoint(-3, 0)是-1）
哪些情况 std::midpoint 仍会出问题？
它不是万能的：
- 传入
nullptr和非空指针给指针重载版本，行为未定义 - 两个指针不在同一数组（或 one-past-the-end）内，结果未定义（同原生指针运算规则）
- 自定义类型需显式特化
std::midpoint，否则编译失败 - 某些老编译器（如 GCC 10 前）未完全实现该函数，链接时可能报
undefined reference
最常被忽略的是：它只解决**算术溢出**，不解决业务逻辑中的边界误判——比如二分查找里忘了检查 lo ，再安全的中点也没用。
