std::midpoint是C++20中唯一标准保证不触发有符号整数溢出的中点计算函数，适用于同类型整数或同数组内指针的中点计算，但不适用于浮点数安全计算或类型混用场景。
std::midpoint 是 C++20 唯一被标准保证「不触发有符号整数溢出」的中点计算函数，但仅对同类型算术值或同数组内指针有效——它不是万能平均工具，更不是浮点安全补丁。
什么时候必须用 std::midpoint 替代 (a + b) / 2
典型场景是二分查找索引、大数组指针偏移、多线程任务分块等需要反复计算区间中点的地方。一旦 a 和 b 都接近 INT_MAX（比如 2147483647 和 2147483646），(a + b) / 2 中的加法直接触发未定义行为，结果不可预测。
- 必须满足：两个参数类型完全一致（
int和long混用会编译失败） - 整数场景下，
a和b同号时最稳妥；异号也能工作，但底层走安全除法路径，性能略低 - 指针场景下，
b必须可从a到达（即b >= a），否则行为未定义——这和std::distance要求一致 - 不要传
size_t和int混合：比如二分查找用size_t下标时，left是size_t，right是int，必须先统一为同一有符号/无符号类型，例如都转成ptrdiff_t
std::midpoint 对浮点数没用，还可能更糟
C++20 标准确实提供了 float 和 double 的重载，但它只是调用 (a + b) / 2，不规避浮点溢出或精度丢失。当 a = 1e30、b = 1.0 时，a + b 在 IEEE 754 下直接舍入为 1e30，结果错误；而手写 a + (b - a) / 2 或用 std::fma(a, 0.5, b * 0.5) 反而更稳健。
- 浮点版本不提供额外安全优势，也不修正舍入误差
- 若真需抗溢出浮点中点，优先考虑
std::fma(a, 0.5, b * 0.5)（需包含 - 别为了“统一风格”把所有
(a + b) / 2都换成std::midpoint，尤其在图形插值、物理模拟等依赖浮点精度的场景
指针中点是它唯一不可替代的用途
这是 std::midpoint 最独特、最实用的场景：计算两个同类型指针的中间地址，且严格避免指针算术溢出。例如超大数组边界（arr + SIZE_MAX / sizeof(int)）附近，手写 begin + (end - begin) / 2 中的 end - begin 若超出 ptrdiff_t 表示范围，就是未定义行为；而 std::midpoint(begin, end) 被标准要求实现规避该问题。
- 只接受相同类型的原生指针（
T*），不支持void*、std::vector::iterator或带const修饰不一致的指针 -
std::midpoint(v.begin(), v.end())在 C++20 中非法，得改用std::midpoint(std::data(v), std::data(v) + v.size()) - 它不检查指针是否指向同一数组——编译器只在类型层面做约束，运行时越界仍由你负责
真正容易被忽略的是：std::midpoint 只管“给定两个合法值，怎么算中点最安全”，它不校验索引是否越界、容器是否为空、指针是否有效。业务逻辑里的有效性判断，一点都不能少。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
