<p>std::midpoint是C++20标准唯一能从根本上避免整数中点计算溢出未定义行为的方案，其整型实现采用a + (b - a) / 2等安全路径，严格限定同类型参数且不隐式转换，对浮点也提升精度与鲁棒性。</p>
直接用 (a + b) / 2 算中点，在整数较大时大概率触发未定义行为（UB），不是“偶尔出错”，而是只要 a 和 b 同号且接近类型边界，就必然崩——std::midpoint 是 C++20 唯一标准给出的、能从根源上堵住这个洞的方案。
为什么 (a + b) / 2 在整数上会溢出？
有符号整数加法溢出是未定义行为，编译器可随意优化甚至删掉整段逻辑。比如 int a = INT_MAX; int b = 1;，a + b 不是 INT_MIN + 1 那种“回绕”结果，而是 UB，连调试都可能对不上。
-
std::midpoint对整型内部走a + (b - a) / 2路径（当同号时），差值b - a必在可表示范围内 - 异号时直接用安全除法，不依赖加法
- 它不靠“运气”或“补码特性”，是标准强制要求的数学等价实现
std::midpoint 的类型限制和常见编译失败
它极度严格：参数必须是同一算术类型，或同一数组内的同类型指针。任何隐式转换都会被拒。
-
std::midpoint(1, 1L)编译失败——int和long不匹配，得写成std::midpoint(1L, 1L) -
std::midpoint(v.begin(), v.end())不合法——std::vector::iterator不是原生指针，得用std::midpoint(std::data(v), std::data(v) + v.size()) - 指针版本要求
b可从a到达（即b >= a），否则行为未定义，和std::distance一致
浮点数用 std::midpoint 真的更准？
是的，尤其在量级悬殊时。(a + b) * 0.5 可能因 a + b 溢出为 inf 或精度丢失，而 std::midpoint 会自动选更稳路径（如用 std::fma 或分段缩放）。
立即学习“C++免费学习笔记（深入）”；
-
std::midpoint(1e30f, 1.0f)返回合理值；(1e30f + 1.0f) * 0.5f中1e30f + 1.0f == 1e30f，结果仍是1e30f，但数学中点应略大于它 - 它不保证“绝对精确”，但比手写式更符合 IEEE 754 舍入语义，且处理
NaN、inf有明确定义 - 对负数舍入方向统一向零（如
std::midpoint(-3, 2) == -1），而位移操作在负数上行为不可靠
哪些情况 std::midpoint 也救不了？
它只管“两个合法输入怎么安全算中点”，不负责校验输入本身是否合法。
- 若
a或b已是非法值（比如从网络读入的越界int），std::midpoint照算，结果无意义 - 自定义类型（如大整数类、定点数）不参与重载，必须自己实现
- 业务逻辑漏洞（如空容器下传
begin()和end()）它不检测，仍需你手动 guard
最常被忽略的是：它不是“平均值函数”，而是“中点函数”。对指针，返回的是地址中点，不是索引中点；对浮点，不承诺和 (a + b) / 2 数值完全相等——它的优先级永远是安全与语义正确，而非表面一致。
