std::midpoint 是 C++20 引入的安全整数中点计算函数，通过避免加法绕过有符号整数溢出，而 (a + b) / 2 在 a、b 同号且绝对值大时会触发未定义行为；它要求两参数类型相同，需包含 <numeric> 并启用 C++20。
std::midpoint 是什么，为什么它比 (a + b) / 2 更安全
它不是“更安全的除法”，而是专为整数中点设计的无溢出算法。对 int 类型，(a + b) / 2 在 a 和 b 同号且绝对值较大时会触发有符号整数溢出（UB），而 std::midpoint(a, b) 内部用位运算或分段计算绕过加法，从语言标准层面保证不溢出。
注意：它只在 C++20 引入，且仅对整数类型（signed/unsigned 整型）提供强保证；浮点类型虽也支持，但行为等价于 (a + b) / 2，不解决精度或下溢问题。
必须包含 <numeric> 且确认编译器支持 C++20
很多项目默认仍用 C++17，直接写 std::midpoint 会编译失败。需检查两点：
- 编译器版本：GCC ≥ 10、Clang ≥ 10、MSVC ≥ 19.28（VS 2019 16.8+）才完整支持
- CMake 中显式启用：
set(CMAKE_CXX_STANDARD 20)或更高 - 头文件不能省：
#include <numeric>—— 它不在<algorithm>或<cmath>里
整数类型间混用会引发隐式转换风险
std::midpoint 要求两个参数类型相同，否则编译报错（SFINAE 拒绝）。常见陷阱：
立即学习“C++免费学习笔记（深入）”；
-
std::midpoint(10, 10U)→ 错误：int和unsigned int不匹配 -
std::midpoint(static_cast<long>(a), b)</long>→ 若b是int，仍不匹配 - 正确做法：统一类型，例如
std::midpoint(static_cast<long>(a), static_cast<long>(b))</long></long>
尤其在数组索引场景（如二分查找），size_t 和 int 混用极易踩坑，务必显式 cast。
替代方案：手写安全中点（C++17 及以下可用）
若无法升级到 C++20，可用这个被广泛验证的模式：
template<typename T>
constexpr T safe_midpoint(T a, T b) {
return a <= b ? a + (b - a) / 2 : b + (a - b) / 2;
}原理是用减法代替加法，避免溢出。但它依赖 T 支持减法且结果可被 /2 整除（对有符号类型成立，对无符号类型也成立）。注意：safe_midpoint 对负数仍正确（比如 safe_midpoint(-5, 3) 返回 -1），而旧式 (a + b) / 2 在溢出时行为未定义。
实际使用时，别忘了加 constexpr 和 noexcept 以保持和标准版一致的优化潜力。
真正难的不是写对，而是记住什么时候该用它——只要涉及任意两个整数的中点计算（尤其是索引、坐标、内存偏移），就该条件反射式地查一下类型和标准版本。
