std::midpoint 比 (a + b) / 2 更安全，因其避免整数溢出和浮点舍入误差，支持同类型整型、浮点、指针；std::lerp 允许 t 超出 [0,1] 实现外推，但需注意类型匹配与边界语义。
std::midpoint 为什么比 (a + b) / 2 更安全？
因为整数溢出和浮点精度陷阱。比如 a = INT_MAX、b = 1，(a + b) / 2 直接触发有符号整数溢出（未定义行为）；而 std::midpoint(a, b) 内部用位运算或无溢出算术实现，对整型、浮点、指针都安全。
- 只接受同类型参数，不支持混合类型（如
int和double），否则编译失败 - 对指针使用时要求指向同一数组（或末尾后一位置），否则行为未定义
- 浮点场景下，
std::midpoint(0.1, 0.2)比(0.1 + 0.2) / 2更接近数学中点（减少舍入误差累积）
std::lerp 的 t 参数必须严格在 [0,1] 吗？
不必。C++20 标准明确允许 t 超出 [0,1]，此时是外推（extrapolation），不是错误。但要注意语义是否符合业务逻辑。
-
std::lerp(a, b, t)计算的是a + t * (b - a)，当t 或 <code>t > 1时结果仍在直线上延伸 - 若业务只想要内插（如动画关键帧），应主动校验：
if (t 1) t = std::clamp(t, 0.0, 1.0); - 浮点
t接近边界时（如t == 1.0），std::lerp保证返回精确的b（避免a + 1.0*(b-a)因舍入导致偏差）
整数调用 std::lerp 会自动转成浮点吗？
不会。std::lerp 是函数模板，参数类型决定实例化版本。传入两个 int 和一个 double，会尝试匹配 double lerp(int, int, double) —— 但标准库不提供这种混合重载，编译失败。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 必须统一类型：要么全整型（此时
t也得是整型，结果为整型线性组合，无小数），要么全浮点 - 常见误写：
std::lerp(0, 100, 0.5)→ 编译错；正确写法：std::lerp(0.0, 100.0, 0.5)或std::lerp<int>(0, 100, 1/2)</int>（但后者1/2 == 0，结果恒为0） - 整型版
std::lerp实际很少用，因为无法表达中间值；真要整数内插，通常先转浮点计算再四舍五入
std::midpoint 和 std::lerp 在性能或兼容性上有什么坑？
两者都是 C++20 引入，老编译器（GCC
立即学习“C++免费学习笔记（深入）”；
- 启用需显式设置标准：GCC/Clang 加
-std=c++20，MSVC 加/std:c++20 - 某些嵌入式 STL（如 newlib、picolibc）尚未实现，链接时报
undefined reference to std::midpoint - 性能上无明显开销，但
std::lerp对浮点做了特殊处理（如处理NaN、无穷），比手写a + t*(b-a)稍重一点，不过换来的是数值鲁棒性
实际用的时候，最常被忽略的是类型一致性——尤其在模板函数里传参，一个 int 混进 double 参数列表，编译器不会“帮你转换”，而是直接拒掉。还有就是误以为 std::lerp 会自动 clamp t，结果在外推时产出意外值。
