std::midpoint仅对整型和指针类型提供真实溢出防护，能防有符号/无符号整数加法溢出及指针算术溢出；不能防浮点溢出与精度损失，也不支持混合类型或自定义类型。
别用 (a + b) / 2 算整数平均值——它在 INT_MAX 和 1 这类输入下直接触发未定义行为。C++20 的 std::midpoint 是目前唯一被标准保证「不溢出」的中点计算工具，但它不是万能平均函数，用错类型或场景反而引入新问题。
std::midpoint 能防什么溢出？不能防什么？
std::midpoint 只对整型和指针类型提供真实溢出防护；对浮点数它只是语法糖，底层仍是 (a + b) / 2，不改善精度也不防溢出。
- ✅ 安全：有符号整数（
int、long long）且a和b同号时，std::midpoint(a, b)绝对不溢出 - ✅ 安全：无符号整数（
unsigned int），减法自动回绕，语义由你负责 - ✅ 安全：同类型指针（如
int*），能避开end - begin超ptrdiff_t范围的未定义行为 - ❌ 不安全：浮点数（
float、double），std::midpoint(1e30, 1.0)仍会因加法舍入失效 - ❌ 不安全：混合类型，比如
std::midpoint(10U, 20)编译失败，std::midpoint(size_t, ptrdiff_t)也不行
为什么 (a + b) / 2 会崩，而 std::midpoint 不会？
关键在计算路径：(a + b) / 2 先做加法，峰值可能越界；std::midpoint 等价于 a + (b - a) / 2（对整型），把大数相减转为小范围运算。
- 例如
a = INT_MAX,b = INT_MAX - 1：a + b溢出 → UB；b - a == -1，再除以 2 得 0，a + 0 == INT_MAX - 1→ 正确 - 负数也成立：
std::midpoint(-5, -1) == -3，因为-5 + ((-1) - (-5)) / 2 == -5 + 4/2 == -3 - 但注意：结果是向下取整（floor division），
std::midpoint(0, 1) == 0，不是 0.5 - 内部实现可能用位运算（如
(a & b) + ((a ^ b) >> 1)），但你不需关心——只要类型对、标准开到 C++20，就稳
实际写代码时最容易踩的三个坑
很多人一上手就掉进编译失败或逻辑错位的坑里，不是函数不好，是没看清约束。
立即学习“C++免费学习笔记（深入）”；
- 头文件和标准必须配对：
#include <numeric></numeric>（不是<cmath></cmath>或<algorithm></algorithm>），且编译器要开-std=c++20；MSVC 2019 默认不启用，GCC/Clang 不加参数就报'midpoint' is not a member of 'std' - 指针用法有隐含前提：两个指针必须指向同一数组（或 one-past-the-end），
std::midpoint(ptr1, ptr2)若跨数组或悬空，行为未定义 - 别把它当通用平均工具：
std::midpoint返回类型和参数完全一致，不会提升到long long；传short就得小心截断，传size_t就别指望它处理有符号逻辑
浮点数中点？换 std::lerp 或手动分支
如果你真在算浮点中点（比如插值、归一化），std::midpoint 不仅没优势，还可能比手写更差。
- 优先用
std::lerp(a, b, 0.5)：它专为浮点设计，保障端点精度（lerp(a,b,0)==a），且在量级悬殊时更稳健 - 或者手动分支：
a + (b - a) * 0.5比(a + b) * 0.5更抗抵消，尤其当abs(a) >> abs(b) - 若必须用
std::midpoint浮点重载（比如模板泛化需要），请明确接受其等价于(a + b) / 2，不提供额外保障
最常被忽略的一点：它不校验区间有效性——std::midpoint(10, 2) 合法，返回 6，但业务上是否允许 low > high，得你自己判断；它也不检查指针是否有效、数组是否非空、索引是否越界。安全只限于算术过程本身，不延伸到语义上下文。
