std::midpoint仅安全用于同类型整数索引或同一数组指针，防有符号整数加法中间溢出，不适用于浮点坐标、跨容器指针或混合类型，且要求参数类型严格一致、指针可达、容器非空。
std::midpoint 不是通用“平均值函数”，在离散坐标计算中它只安全用于整数索引或同数组指针，对浮点坐标、混合类型、跨容器边界等场景会失效甚至编译失败。
std::midpoint(int, int) 真正防的是什么溢出
它防的是有符号整数加法中间步骤的溢出，不是“结果太大”的问题。比如 std::midpoint(INT_MAX, INT_MAX - 1) 返回确定值 INT_MAX - 1，而 (INT_MAX + (INT_MAX - 1)) / 2 触发未定义行为（UB）。
- 底层不依赖
a + b，而是等价于a + (b - a) / 2或位运算组合，确保所有中间值在类型范围内 - 仅当两个参数为同一有符号整型且可比较大小（
b >= a非必需，但影响实现路径）时，语义最清晰 - 对
unsigned类型也安全，但减法按模算术回绕——std::midpoint(1U, 0U)返回0U（因(1U - 0U) / 2 == 0，再加0U），这符合无符号除法语义，但可能违背你对“中点”的直觉 - 不处理负数舍入方向的业务含义：例如
std::midpoint(-3, 2)是-1（向零取整），和(-3 + 2) / 2在 C++ 中一致，但若你期望向下取整，得额外调整
用在数组索引时，为什么必须检查指针可达性
std::midpoint(ptr_a, ptr_b) 要求 ptr_b 可从 ptr_a 到达（即 ptr_b - ptr_a 是合法 ptrdiff_t 值），否则行为未定义。这不是编译期错误，运行时可能崩溃或返回野地址。
- 典型安全场景：
int arr[N]; auto mid = std::midpoint(arr, arr + N);——arr + N是 one-past-the-end，合法 - 危险写法：
std::midpoint(&v[0], &w[0] + w.size())，其中v和w是不同std::vector—— 跨数组，未定义 - 迭代器不能直传：
std::midpoint(v.begin(), v.end())编译失败，因为std::vector::iterator不是原生指针；必须转成std::midpoint(&v[0], &v[0] + v.size())或用std::data(v) - 空容器要提前判断：
if (v.empty()) return not_found;，否则&v[0]本身已非法
别把 std::midpoint 当 float 坐标平均器用
对 float 或 double 坐标，std::midpoint(x, y) 不提供额外精度保障，某些情况下反而比手写 x + (y - x) * 0.5 更差。
立即学习“C++免费学习笔记（深入）”；
- 标准未要求浮点版本规避溢出或精度损失；它通常就是
(x + y) * 0.5的封装 - 当
x = 1e30,y = 1.0时，x + y直接舍入为1e30，结果仍是5e29；而x + (y - x) * 0.5得到更接近数学中点的值 - 若真需高鲁棒性浮点中点，优先用
std::fma(x, 0.5, y * 0.5)（需<cmath></cmath>），或根据量级分支处理 - 离散坐标若本质是整数（如像素索引、网格编号），坚持用
int类型调用，别自动转float再算
模板类型匹配失败是最常卡住的地方
编译器不会隐式转换参数类型来适配 std::midpoint，类型必须完全一致，连 const/volatile 修饰符都算在内。
-
std::midpoint(1, 1L)编译失败：int和long是不同类型 -
std::midpoint(&x, const_cast<const int>(&y))</const>失败：int*和const int*不匹配 - 模板推导失败时，显式指定类型最可靠：
std::midpoint<long long>(a, b)</long>，前提是a和b都能隐式转为long long - 在泛型算法里，用
std::common_type_t<decltype decltype></decltype>统一类型再调用，比依赖自动推导更稳
真正容易被忽略的是：std::midpoint 只管“给两个合法输入，怎么算中点最安全”，它不校验你传的值是否构成有效区间、是否在业务逻辑范围内、甚至不保证指针非空——这些全得你代码里自己兜底。
