std::midpoint 是 c++20 引入的安全整数中点计算函数，通过避免加法绕过有符号整数溢出，而 (a + b) / 2 在 a、b 同号且绝对值大时会触发未定义行为；它要求两参数类型相同，需包含 并启用 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></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></numeric>—— 它不在<algorithm></algorithm>或<cmath></cmath>里
整数类型间混用会引发隐式转换风险
std::midpoint 要求两个参数类型相同，否则编译报错（SFINAE 拒绝）。常见陷阱：
-
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 <p>原理是用减法代替加法，避免溢出。但它依赖 <code>T</code> 支持减法且结果可被 <code>/2</code> 整除（对有符号类型成立，对无符号类型也成立）。注意：<code>safe_midpoint</code> 对负数仍正确（比如 <code>safe_midpoint(-5, 3)</code> 返回 <code>-1</code>），而旧式 <code>(a + b) / 2</code> 在溢出时行为未定义。</p>
<p>实际使用时，别忘了加 <code>constexpr</code> 和 <code>noexcept</code> 以保持和标准版一致的优化潜力。</p>
<p>真正难的不是写对，而是记住什么时候该用它——只要涉及任意两个整数的中点计算（尤其是索引、坐标、内存偏移），就该条件反射式地查一下类型和标准版本。</p></typename>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
