std::midpoint是C++20引入的安全中点计算函数，避免整数溢出和浮点精度丢失，仅支持同类型算术类型或指针，需包含<numeric>且编译器支持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+），且包含
<numeric>
std::lerp 的行为和常见误用
std::lerp(a, b, t) 计算线性插值：a + t * (b - a)，但它不是简单套公式——它被设计为**在 t ∈ [0,1] 时数值稳定、可预测、无爆炸误差**。
典型误用是传入超出 [0,1] 的 t 值并期待“外推”，但标准不保证该情况下的精度或单调性；某些实现甚至对 t 或 <code>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 <numeric>
#include <iostream>
#include <limits>
<p>int main() {
int a = std::numeric_limits<int>::max();
int b = std::numeric_limits<int>::max() - 1;</p><pre class='brush:php;toolbar:false;'>// ❌ 危险：溢出未定义行为
// 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 << safe_mid << "\n" << lerped << "\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 会编译失败，连隐式转换都不给；必须显式转成同一类型再调用。
