std::midpoint可安全计算整型坐标或同数组指针的中点，避免溢出；但浮点场景下仍存在精度与溢出风险，需手动优化数值路径。
在物理引擎中对刚体位置、速度做线性插值时，若直接用 (a + b) / 2 计算中点，当坐标值逼近 INT_MAX（如大世界偏移、长时间积分累积）会触发有符号整数加法溢出，导致位置突变、碰撞盒错位甚至模拟崩溃；std::midpoint 能从标准层面规避该风险，但仅在整型格点坐标或同数组指针分块时真正生效，浮点插值场景下它反而掩盖数值隐患。
整数坐标系下的安全中点计算
适用于体素引擎、离散网格碰撞检测、整型索引插值等场景，要求坐标统一为有符号整型（如 int32_t）。
第一步：确认两个参数类型完全一致，例如都为 int 或都显式转为 int64_t；传入 int 和 long 混合将直接编译失败。
第二步：包含头文件 #include <utility>；注意不是 <numeric> 或 <cmath>，错包含会导致函数不可见。
立即学习“C++免费学习笔记（深入）”；
第三步：调用 std::midpoint(a, b)，结果为向下取整中点（即 floor((a+b)/2)），例如 std::midpoint(-3, 2) 返回 -1，这对格点对齐和碰撞盒判定是关键语义。
第四步：接受 a > b 的输入（如反向区间），结果数学正确，但业务层需自行校验是否允许该方向——【std::midpoint 不校验区间有效性，只保算术过程安全】。
指针分块场景下的唯一安全路径
当物理引擎需多线程并行遍历刚体数组、构建 BVH 或划分任务块时，必须用 std::midpoint 计算内存中点地址，这是标准唯一强制兜底指针差值溢出的方案。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
方法一：确保两个指针指向同一数组（含 one-past-the-end），例如 &rigidbodies[0] 和 &rigidbodies[n]；传不同容器指针（如 v.data() 和 u.data()）为未定义行为。
方法二：必须使用原生指针，【std::vector::iterator 无法匹配重载，需先转为 std::data(v) 或 &v[0]】。
方法三：const 修饰必须一致，int* 和 const int* 混用将编译失败——这不是限制，而是强制暴露 const 正确性问题。
浮点插值中必须避开的陷阱
物理引擎中绝大多数位置、速度、加速度使用 float 或 double 表示，此时 std::midpoint(a, b) 是“假安全”陷阱。
它底层仍走 (a + b) / 2 路径，不防溢出、不提精度、不处理 NaN/inf；例如 std::midpoint(1e30f, 1.0f) 极大概率返回 1e30f，因 1e30f + 1.0f == 1e30f（加法丢失低位）。
真正稳健的浮点中点应手动控制数值路径：量级相近时优先用 std::fma(a, 0.5f, b * 0.5f)（需 #include <cmath>）；量级差异大（如 a = 1e-6f, b = 1e6f）时用分支：std::abs(a) >= std::abs(b) ? a + (b - a) * 0.5f : b + (a - b) * 0.5f。
绝对不要写 (a + b) * 0.5f 或 a * 0.5f + b * 0.5f——加法或乘法可能各自下溢或崩掉。
