std::midpoint是C++20引入的安全中点计算函数，避免整数溢出和浮点精度丢失，仅支持同类型算术类型或指针，需包含且编译器支持C++20。
std::midpoint 是什么，为什么不能直接用 (a + b) / 2
它计算两个同类型整数或浮点数的数学中点，但关键在于**避免溢出和精度丢失**。对 int 类型，a + b 可能溢出（比如 INT_MAX 和 1 相加），而 std::midpoint(a, b) 内部用位运算或无溢出算术实现，安全得多。
使用场景：坐标计算、二分查找边界更新、图像像素索引平均等需要“中间位置”的地方。
- 只接受相同算术类型（
int与int，double与double），不支持混合类型（如int和double） - 对浮点数，它比
(a + b) * 0.5更精确——尤其当a和b量级差异极大时（例如1e20和1.0） - C++20 引入，需编译器支持（GCC 10+、Clang 11+、MSVC 19.28+），且包含
std::lerp 的行为和常见误用
std::lerp(a, b, t) 计算线性插值：a + t * (b - a)，但它不是简单套公式——它被设计为**在 t ∈ [0,1] 时数值稳定、可预测、无爆炸误差**。
典型误用是传入超出 [0,1] 的 t 值并期待“外推”，但标准不保证该情况下的精度或单调性；某些实现甚至对 t 或 t > 1 做特殊处理（如 clamping），行为依赖库实现。
立即学习“C++免费学习笔记（深入）”；
-
t是double（即使a、b是float），函数返回类型与a、b相同 - 当
t == 0时严格返回a（非近似），t == 1时严格返回b，这对动画关键帧、插值校验很重要 - 对
a和b符号相反且绝对值极大时，b - a可能损失精度，而std::lerp内部会规避这类问题（例如用分段策略）
对比示例：midpoint vs lerp vs 手写公式
#include#include #include int main() { int a = std::numeric_limits
::max(); int b = std::numeric_limits ::max() - 1; // ❌ 危险：溢出未定义行为 // int bad_mid = (a + b) / 2; // ✅ 安全中点 int safe_mid = std::midpoint(a, b); // 结果确定，无溢出 double x = 1e16; double y = 1.0; double t = 0.5; // ❌ 手写可能精度崩坏 double naive = x + t * (y - x); // y - x ≈ -1e16，加法抵消严重 // ✅ lerp 保障精度 double lerped = std::lerp(x, y, t); // 更接近数学期望值 std::cout zuojiankuohaophpcnzuojiankuohaophpcn safe_mid zuojiankuohaophpcnzuojiankuohaophpcn "\n" zuojiankuohaophpcnzuojiankuohaophpcn lerped zuojiankuohaophpcnzuojiankuohaophpcn "\n";}
实际使用要注意的兼容性和边界
这两个函数看似简单，但落地时容易忽略底层约束：
- 它们都不支持用户自定义类型，仅限算术类型（
int、long long、float、double等）std::midpoint对指针也有效（C++20 允许），例如std::midpoint(p, q)给出指针中点，但要求p和q指向同一数组，否则未定义- 若目标平台不支持 C++20，别硬上；可用 Boost.Math 的
boost::math::tools::midpoint或手写安全版本（如a + (b - a) / 2对无符号整数，或位移对齐整数）- 调试时注意：GDB/LLDB 可能无法内联展开这些函数，单步时会跳过——别误以为逻辑没执行
最常被忽略的是类型一致性：传
short和int会编译失败，连隐式转换都不给；必须显式转成同一类型再调用。
