std::midpoint仅对同类型有符号整数和同数组指针安全，浮点插值应避免使用；整数场景下支持负数跨零、向下取整语义，指针场景规避ptrdiff_t溢出，但不校验输入有效性。
物理引擎里用 std::midpoint 替代 (a + b) / 2 求位置或速度中点，**绝大多数情况下不仅不防溢出，反而掩盖数值问题**；它只在整数格点坐标、同类型指针分块这两类场景下真正安全，浮点插值必须换其他方案。
std::midpoint(int, int) 在离散坐标系下是唯一标准安全解
刚体网格索引、体素世界坐标、碰撞盒格点对齐等使用 int 表示位置的场景，std::midpoint 是目前 C++ 标准中唯一明确定义「不触发有符号整数溢出」的中点计算方式：
- 必须两个参数为同一有符号整型（如
int和int），传int与long直接编译失败 - 结果是向下取整中点：
std::midpoint(-3, 2)返回-1，不是0，这对格点判定和 AABB 对齐是关键语义 - 支持负数、跨零区间，无需分支判断符号；但若
a > b（如std::midpoint(10, 2)），结果仍数学正确（返回6），业务层需确认是否允许该方向 - 不兜底参数表达式本身的溢出：比如
std::midpoint(x, y + 1)中y + 1先溢出，则std::midpoint不介入——它只保自身算术过程安全
float/double 位置插值千万别用 std::midpoint
物理引擎中绝大多数位置、速度、加速度使用 float 或 double，此时调用 std::midpoint(a, b) **等价于 (a + b) / 2，既不规避溢出，也不改善精度，还可能更糟**：
-
std::midpoint(1e30f, 1.0f)极大概率返回1e30f，因为1e30f + 1.0f == 1e30f，加法丢失低位；而手写a + (b - a) * 0.5f至少保留相对误差可控 - 没有
NaN/inf特殊处理，和裸算一样传播异常值；某帧位置因数值不稳定产生inf，std::midpoint照常返回inf - 真正需要稳健浮点中点时，应优先用
std::fma(a, 0.5f, b * 0.5f)（需#include <cmath>），或根据量级分支：std::abs(a) >= std::abs(b) ? a + (b - a) * 0.5f : b + (a - b) * 0.5f
std::midpoint(T*, T*) 是大规模并行内存切分的唯一安全出口
当物理引擎做多线程刚体更新、BVH 构建或任务分块时，需把连续内存均分给 worker 线程，std::midpoint 的指针重载是**不可替代的**：
立即学习“C++免费学习笔记（深入）”；
-
std::midpoint(begin_ptr, end_ptr)明确要求实现规避end_ptr - begin_ptr超出ptrdiff_t范围的未定义行为，哪怕数组长度逼近SIZE_MAX / sizeof(T)也安全 - 必须是同一数组内指针（或 one-past-the-end），
std::midpoint(v.begin(), v.end())编译失败——std::vector::iterator不是原生指针，得用&v[0]或std::data(v) - 不接受
void*、不同const修饰（如const int*vsint*）、或跨数组指针；若begin_ptr > end_ptr，结果定义良好但可能指向无效区域，业务逻辑必须自行校验
最容易被忽略的边界：它不解决语义有效性
std::midpoint 只管“算得对”，不管“该不该算”——它不校验指针是否有效、数组是否越界、坐标是否在合法世界范围内、区间是否为空。物理引擎中若传入悬空指针、非法格点索引、或已发散的 inf 速度值，std::midpoint 依然会返回一个语法合法的结果，但后续模拟可能直接崩溃或静默错误。真正的安全防线在调用前：输入有效性检查、数值范围钳位、以及明确区分整数格点与浮点连续空间的建模语义。
