std::midpoint能防整数溢出，因其不依赖(a+b)/2，而是通过a+(b-a)/2或位运算等价实现，避免中间加法溢出；对有符号类型还保证向下取整语义；需C++20、<numeric>头文件及同类型参数。
std::midpoint 为什么能防溢出
整数相加后除以2（比如 (a + b) / 2）在 a 和 b 都接近 INT_MAX 时会触发有符号整数溢出，这是未定义行为。而 std::midpoint 不依赖加法，它用位运算或分段逻辑等价实现 a + (b - a) / 2，避免了中间和溢出。对有符号类型，它还特别处理了负数的向下取整规则，保证结果符合数学中点语义。
必须包含 <numeric> 且 C++20 起可用
std::midpoint 是 C++20 引入的标准库函数，头文件为 <numeric>。低于 C++20 的标准（如 C++17）无法使用，编译器会报 ‘midpoint’ is not a member of ‘std’ 错误。
- Clang/GCC 需开启
-std=c++20或更高标准 - MSVC 需 19.30+（VS 2022 17.0+），并启用
/std:c++20 - 不能用
using namespace std;简化后就忽略头文件——漏包含<numeric>仍会编译失败
支持的类型与常见误用场景
std::midpoint 接受两个同类型的算术参数（int、long long、float、double、指针等），但不支持混合类型隐式转换：
-
std::midpoint(1, 3L)❌ 编译错误：类型不匹配 -
std::midpoint(1, 3)✅ 返回int -
std::midpoint(ptr1, ptr2)✅ 指针版本，要求同类型同数组内（否则行为未定义） -
std::midpoint(-5, 3)✅ 返回-1（向零取整），不是-2；这和(a + b) / 2在负数时一致，但底层无溢出风险
注意：浮点数版本不解决精度问题，只避免上溢/下溢（如 std::midpoint(1e308, 1e308) 不会触发 inf，而 (a + b) / 2 可能先得 inf 再除）。
立即学习“C++免费学习笔记（深入）”；
替代方案与边界提醒
若无法升级到 C++20，可手写安全中点，但需注意细节：
- 对无符号类型：
a + (b - a) / 2安全（因为b >= a时b - a不溢出；若不确定大小，用std::min(a, b) + (std::max(a, b) - std::min(a, b)) / 2） - 对有符号类型：直接写
a + (b - a) / 2仍有问题——当a负、b正且差值大时，b - a可能溢出（如a = INT_MIN,b = 1） - 更稳妥的手动实现需分支判断符号，或借助
std::common_type_t提升到更大类型再算，但复杂度和性能开销上升
真正容易被忽略的是指针用法：传入的两个指针必须指向同一数组（或末尾后一位置），否则行为未定义——这比整数溢出更隐蔽，且静态分析工具很少检查。
