std::midpoint 比 (a + b) / 2 更安全，因后者在整数场景下易溢出且浮点下有精度问题；前者是C++20引入的专用函数，内部采用无溢出算法并兼容IEEE 754。
为什么 std::midpoint 比 (a + b) / 2 更安全
直接用加法再除以 2 计算平均值，在整数场景下容易溢出：a 和 b 都接近 INT_MAX 时，a + b 会触发有符号整数溢出（未定义行为）。浮点数虽不溢出，但存在精度丢失和次正规数处理问题。std::midpoint 是 C++20 引入的专用函数，专为“两点中点”语义设计，内部采用无溢出算法（如对整数用位运算或分段计算），且对浮点数也做了 IEEE 754 兼容处理。
std::midpoint 的参数类型与调用限制
该函数是函数模板，要求两个参数类型相同且可比较、可进行算术运算。常见合法组合包括：
-
std::midpoint(1, 3)→ 返回int(2) -
std::midpoint(1L, 5L)→ 返回long(3) -
std::midpoint(1.5f, 2.5f)→ 返回float(2.0f) -
std::midpoint(std::chrono::seconds{1}, std::chrono::seconds{5})→ 返回std::chrono::seconds{3}
不支持混合类型（如 std::midpoint(1, 2.0)）；也不支持自定义类，除非显式特化或提供必要运算符重载（标准未强制要求）。
整数中点计算的典型陷阱与替代写法
即使不用 std::midpoint，手写安全中点也要避开 (a + b) / 2。常见错误写法包括：
立即学习“C++免费学习笔记（深入）”；
-
a / 2 + b / 2：丢弃低位奇偶信息（如midpoint(1, 3)得0 + 1 = 1，错） -
(a & b) + ((a ^ b) >> 1)：仅对无符号整数可靠，有符号右移行为依赖实现
正确手写（仅作理解，推荐直接用标准库）：
template<typename T>
T safe_midpoint(T a, T b) {
if constexpr (std::is_signed_v<T>) {
return a + (b - a) / 2; // 避免 a+b 溢出，但需注意 b-a 也可能溢出（极罕见）
} else {
return a + (b - a) / 2; // 无符号更安全
}
}而 std::midpoint 内部已处理所有边界（如 INT_MIN 和 INT_MAX 组合），无需用户操心。
编译器与标准库支持现状
需要 C++20 模式启用，且标准库实现必须支持。主流环境情况如下：
- GCC 10+（需
-std=c++20）、Clang 11+、MSVC 19.28+（VS 2019 v16.8+）均提供完整实现 - 若编译失败提示
‘midpoint’ is not a member of ‘std’，先确认是否启用了 C++20，再检查 libstdc++/libc++/MSVC STL 版本 - 在嵌入式或旧平台（如某些 ARM GCC 工具链），可能需降级为手写逻辑或使用
std::lerp(a, b, 0.5)（但std::lerp对整数不适用，仅限浮点）
真正容易被忽略的是：它不处理指针差值——std::midpoint(p, q) 不合法，哪怕 p 和 q 是同类型指针；中点语义只针对算术类型和 duration/time_point。
