<p>std::midpoint 是专为中点语义设计的安全函数，仅当两参数类型相同且需计算数学中点（如二分查找索引）时才可替代 (a + b) / 2；它通过 a + (b - a) / 2 规避有符号整数加法溢出，但不适用于浮点精度保护、类型混用或非法区间场景。</p>
直接说结论：std::midpoint 不是“计算平均值”的通用函数，它是专为**中点语义**设计的安全工具；用它替代 (a + b) / 2 能彻底规避有符号整数加法溢出，但仅当参数类型一致、且你真正需要的是数学中点（如二分查找索引、指针偏移）时才应使用。
什么时候能用 std::midpoint 替代 (a + b) / 2
它只在以下条件同时满足时才是安全、正确、可直接替换的：
- 两个参数是同一算术类型（如
int与int，long long与long long），不能是int和unsigned混用，也不能是int和double - 你计算的目标是“区间中点”，而非泛义“平均值”——例如二分查找的
mid = (low + high) / 2，或大数组中两个指针的中间地址 - 编译器已启用 C++20（GCC/Clang 加
-std=c++20，MSVC 需 19.28+ 并开启 /std:c++20） - 你没在依赖未定义行为（比如故意靠
INT_MAX + 1溢出做边界检测）
为什么 (a + b) / 2 会崩，而 std::midpoint 不会
根本区别不在“除以 2”，而在**是否触发加法溢出**：
-
(a + b) / 2先执行a + b：若a和b同为正且接近INT_MAX（如INT_MAX和INT_MAX - 1），加法直接触发有符号整数溢出（UB），结果不可预测——不是“算错”，是编译器可以优化掉整条分支 -
std::midpoint(a, b)对整型等价于a + (b - a) / 2：差值b - a的绝对值一定 ≤ max(|a|, |b|)，不会溢出；再除以 2、加回a，全程无加法峰值 - 对指针（如
int*），它等价于begin + (end - begin) / 2，但标准强制要求实现规避end - begin超出ptrdiff_t范围的未定义行为——手写仍可能 UB，std::midpoint不会
哪些情况它救不了，甚至会让事情更糟
std::midpoint 是窄口径安全工具，不是数值计算万金油：
立即学习“C++免费学习笔记（深入）”；
- 传浮点数（
float或double）？C++20 标准允许重载，但它内部仍是(a + b) / 2，不防溢出也不保精度。当a = 1e30、b = 1.0时，a + b直接舍入为1e30，结果错误；此时应改用std::fma(a, 0.5, b * 0.5) - 参数类型不一致？
std::midpoint(10U, 20)编译失败——它不做隐式转换，连size_t和ptrdiff_t混用都不行，必须显式统一（如都转std::make_signed_t<size_t></size_t>） - 输入本身非法？它不校验
a和b是否为有效内存地址、是否构成合法区间（如begin > end）、容器是否为空——这些全靠业务逻辑兜底 - 你要的是“四舍五入平均值”？
std::midpoint(-3, 2)返回-1（向下取整），不是0；若需向零取整，得自己处理
实际写代码时最容易踩的三个坑
不是不会用，而是用错场景或忽略约束：
- 在二分查找里写
std::midpoint(low, high)，但low和high是size_t（无符号）——若low > high（比如搜索空容器），low - high回绕成极大正数，std::midpoint结果完全偏离预期；应确保区间有效，或改用有符号索引类型 - 对
std::vector用std::midpoint(v.begin(), v.end())：不合法！std::vector::iterator不是原生指针，标准不保证支持；必须用std::midpoint(std::data(v), std::data(v) + v.size())或&v[0]（且确保非空） - 以为它能“修复”整个表达式链的溢出：比如
std::midpoint(x * 2, y * 2)——乘法x * 2若已溢出，进入midpoint前就 UB 了；它只保自身参数运算安全，不溯及上游
真正容易被忽略的是：它的安全边界非常清晰——只守“两个同类型值之间怎么算中点”这一道门。跨过这道门的溢出、精度、类型转换、业务有效性，它一概不管。
