c++oding="utf-8" ?>
std::midpoint比(a + b) / 2更可靠，因其对整型避免溢出、对指针合法支持、对浮点减少舍入误差；std::lerp则保障线性插值端点精度与数值稳定性，二者均通过编译期类型检查和底层优化实现安全与性能兼顾。
std::midpoint 和 std::lerp 在 C++20 中不是“可有可无的语法糖”，而是专为数值安全设计的底层工具——用错类型或忽略整数截断规则，结果会静默出错。
std::midpoint 为什么比 (a + b) / 2 更可靠
对整数，(a + b) / 2 可能溢出；对指针，(p1 + p2) / 2 甚至不合法。而 std::midpoint 明确支持整型、浮点、指针三类参数，并在每种情况下规避常见陷阱：
- 整型：内部用
a + (b - a) / 2计算，避免a + b溢出（前提是a ，否则行为未定义） - 浮点：直接计算
(a + b) / 2，但保证舍入符合 IEEE 754 要求，比手写更一致 - 指针：要求同类型、同数组内，且
std::midpoint(p, q)等价于p + (q - p) / 2，不依赖地址相加
示例：std::midpoint(INT_MAX, INT_MAX - 1) 安全返回 INT_MAX - 1；而 (INT_MAX + (INT_MAX - 1)) / 2 是未定义行为。
std::lerp 的 t 参数必须归一化，且不自动 clamping
std::lerp(a, b, t) 计算的是 a + t * (b - a)，但它不会检查 t 是否在 [0,1] 区间内。t 超出范围时仍会计算外插值，这和很多图形 API 的“lerp”语义不同：
- t = -0.5 → 返回
a - 0.5*(b-a)，即 a 向左延伸一半距离 - t = 2.0 → 返回
a + 2*(b-a)，即 b 向右再走一个 ab 段 - 若需 clamping，必须手动：
std::lerp(a, b, std::clamp(t, 0.0, 1.0)) - 浮点精度敏感：当
a和b差距极大、t极小（如 1e-16）时，std::lerp会比手写公式更稳健，因其实现做了误差补偿
整数类型传给 std::lerp 会隐式转 double，别指望截断
std::lerp 没有整数重载，所有整型参数都会升格为 double。这意味着：
-
std::lerp(1, 3, 0.5)返回2.0（double），不是2（int） - 如果想保持整数语义（比如做定点插值），不能直接用
std::lerp，得自己写：a + static_cast，并自行处理截断/舍入(t * (b - a)) - 混合类型调用易触发意外转换：例如
std::lerp(1U, 3, 0.5)中1U（unsigned int）和3（int）先统一为unsigned int，再升为double——若原意是带符号运算，这里已埋下隐患
编译器支持与头文件细节容易被忽略
这两个函数定义在
- Clang 12+、GCC 10+、MSVC 19.28+ 支持，但 GCC 10 默认仍用 C++17 标准，需显式加
-std=c++20 - 某些旧版 libc++（如 macOS 自带）尚未实现
std::lerp，编译会报undefined reference错误，此时要回退到手动实现或改用 Boost.Math - 模板推导严格：
std::midpoint(1, 1U)编译失败（int与unsigned int不匹配），必须显式统一类型，比如std::midpoint(static_cast(1), 1UL)
最常被跳过的点：指针版本的 std::midpoint 要求两个指针指向同一数组（或末尾后一位置），越界或跨数组使用是未定义行为——它不校验，只信任你。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
