std::midpoint能防整数溢出，因其对同号有符号整型采用a + (b - a) / 2等无溢出路径，避免加法峰值；但仅当类型严格匹配、指针同数组且浮点不滥用时才真正安全。
直接用 std::midpoint 替换 (a + b) / 2 并不能自动防溢出——它只在你满足类型、符号、指针可达性等硬约束时才真正安全。盲目替换反而可能引入编译错误或语义偏差。
std::midpoint(int, int) 为什么能防整数溢出
它不靠加法，而是等价于 a + (b - a) / 2（对同号整数）或更底层的位运算逻辑，确保中间计算不超出类型表示范围。比如 std::midpoint(INT_MAX, INT_MAX - 1) 不会触发未定义行为，而 (INT_MAX + INT_MAX - 1) / 2 在有符号整数上是 UB。
- 仅当
a和b同为有符号整型且同号时，该路径完全规避加法峰值 - 若
a > b（如std::midpoint(10, 2)），结果仍数学正确（返回6），但部分实现需额外分支，性能几乎无损 - 对无符号类型（如
size_t），b - a可能回绕，但标准允许——你要自己理解“模意义下中点”的业务含义
std::midpoint 指针版本是唯一不可替代的用途
这是它最刚性的价值点：计算两个同类型指针的中点地址时，std::midpoint(p1, p2) 明确要求实现避免 p2 - p1 超出 ptrdiff_t 范围导致的未定义行为。手写 p1 + (p2 - p1) / 2 理论可行，但标准不保这个减法安全。
- 必须是同一数组内指针（或 one-past-the-end），
std::midpoint(v.begin(), v.end())编译失败——std::vector::iterator不是原生指针，得用&v[0]或std::data(v) - 不接受
void*、不同 const 修饰（如const int*vsint*）、或跨数组指针 - 若
p1 > p2，结果定义良好，但可能指向p1前方，业务逻辑必须自行校验区间有效性
浮点数用 std::midpoint(float, float) 反而更危险
C++20 标准中该重载存在，但只是语法合法——它内部仍走 (a + b) / 2，不规避浮点溢出或精度坍塌。当 a = 1e30、b = 1.0 时，a + b 直接舍入为 1e30，结果错误；而手动写 a + (b - a) / 2 或用 std::fma(a, 0.5, b * 0.5) 更稳健。
- 不要因为“名字叫 midpoint”就默认浮点场景下它更安全
- 若真需抗量级差异的中点，优先分支判断：
std::abs(a) >= std::abs(b)时用a + (b - a) * 0.5，否则交换 -
std::midpoint对NaN、inf无特殊处理，和裸算一样传播异常值
类型匹配和编译器设置是第一道关卡
它拒绝隐式转换：传 std::midpoint(1, 1U) 或 std::midpoint(1, 1L) 直接编译失败。C++20 是硬门槛，GCC/Clang 需 -std=c++20，MSVC 需 19.29+ 且开启 /std:c++20。
- 混合类型必须显式统一，例如
size_t和int都转成std::make_signed_t<size_t></size_t>（前提是值非负） - 头文件是
<numeric></numeric>，不是<cmath></cmath>或<algorithm></algorithm>—— 错引会导致 “not declared in this scope” - 旧项目升级前，先全局搜
([a-zA-Z0-9_]+ \+ [a-zA-Z0-9_]+) / 2，人工确认每处是否真符合std::midpoint的使用前提
最容易被忽略的是：它只管“给两个合法输入，怎么算中点最安全”，不管输入本身合不合理——比如二分查找里传了空容器的 begin == end，std::midpoint 照算，但结果毫无意义。数值安全不等于业务安全。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
