std::midpoint是C++20提供的安全中点计算工具，可避免整数溢出，适用于坐标偏移、二维轴向计算、自定义类型适配及与std::clamp组合限幅等场景。
如果您在离散数学坐标偏移计算中使用整数类型执行中点运算，直接采用 (a + b) / 2 可能引发有符号整数溢出，导致未定义行为。std::midpoint 是 C++20 引入的标准工具，专为安全计算两个整数、指针或浮点数的中点而设计，可规避加法溢出风险。以下是其在坐标偏移场景中的多种安全应用方案：
一、使用 std::midpoint 替代手动中点公式
std::midpoint 利用位运算与条件逻辑绕过 a + b 的中间加法步骤，对任意同类型整数 a 和 b 均保证无溢出且结果符合数学中点定义（向下取整语义）。该方法适用于所有标准整数类型，包括 int、long long 及带符号扩展的坐标差值。
1、包含头文件 <numeric>。
2、将坐标变量声明为同一有符号整数类型，例如 int x1 = -2147483648, x2 = 2147483647；
立即学习“C++免费学习笔记（深入）”；
3、调用 std::midpoint(x1, x2)，返回值为 int 类型，结果为 0，而非 (x1 + x2) / 2 导致的溢出异常。
二、对坐标差值进行带偏移量的中点校准
在网格索引或像素坐标映射中，常需计算 [start, end] 区间内某偏移位置的中点，如 (start + offset) 与 end 的中点。若 offset 较大，(start + offset) 易溢出。std::midpoint 支持嵌套调用与表达式分解，可将偏移逻辑分离至参数侧以保持安全性。
1、定义起始坐标 start、终点坐标 end 和非负偏移量 delta，类型均为 long long；
2、计算偏移后左端点：auto left = start + delta；此步仍可能溢出，但仅当 delta 极端时发生；
3、改用 std::midpoint(start, end) 获取基础中点 base_mid；
4、对 base_mid 与 end 再次调用 std::midpoint(base_mid, end)，等效于三等分点，全程无加法中间值；
5、最终中点结果为 std::midpoint(std::midpoint(start, end), end)，不依赖任何 + 运算。
三、在二维整数坐标系中逐轴安全求中点
离散坐标系统（如棋盘、体素网格）中，中点需分别处理 x 与 y 轴。若对每个轴单独使用 std::midpoint，则可确保每维独立免溢出；组合结果时避免跨轴算术耦合，防止隐式类型提升引发新溢出路径。
1、声明 struct Point { int x; int y; } p1{-2147483647, 1}, p2{2147483647, -1}；
2、计算 x 中点：int mid_x = std::midpoint(p1.x, p2.x)；
3、计算 y 中点：int mid_y = std::midpoint(p1.y, p2.y)；
4、构造中点坐标：Point mid{mid_x, mid_y}，其中 mid_x 为 0，mid_y 为 0，全程未触发 INT_MIN 或 INT_MAX 边界加法。
四、适配自定义离散坐标类型并重载 std::midpoint
当使用封装了边界检查或模运算的坐标类（如 CircularCoord）时，可通过 ADL（Argument-Dependent Lookup）提供特化版本的 midpoint，使 std::midpoint 自动调用用户定义逻辑，从而在保持接口统一的同时嵌入领域规则。
1、定义命名空间 coord，并在其中声明 struct Coord { int val; explicit Coord(int v) : val(v) {} }；
2、在 coord 命名空间内定义非成员函数：Coord midpoint(const Coord& a, const Coord& b) { return Coord((a.val + b.val) / 2); }；
3、确保调用 site 处 using std::midpoint；随后 coord::midpoint 将被 ADL 找到；
4、调用 std::midpoint(Coord{INT_MAX}, Coord{1}) 时，实际执行的是 coord 命名空间内的版本，结果为 Coord{(INT_MAX + 1) / 2}，此时溢出由用户控制而非未定义。
五、结合 std::clamp 实现带限幅的中点截断计算
某些离散系统要求中点结果严格落在预设有效范围内（如纹理坐标 [0, width)），即使输入坐标越界。std::midpoint 本身不提供限幅，但可与其组合：先用 std::midpoint 得到理论中点，再通过 std::clamp 约束至合法区间，二者组合不引入额外溢出风险。
1、获取原始坐标 a = -3000000000LL, b = 3000000000LL，类型为 long long；
2、计算中点 m = std::midpoint(a, b)，结果为 0；
3、定义合法范围 low = 0LL, high = 1024LL；
4、执行 auto clamped = std::clamp(m, low, high)，返回值为 0；
5、整个链路中未出现任何 a + b 形式的表达式，std::midpoint 与 std::clamp 均为无副作用纯函数。
