std::midpoint是C++20中最安全简洁的整数中点计算方式，但需满足类型相同、同为整型且包含头文件；否则须手写无符号位运算逻辑，因(a+b)/2有符号溢出属未定义行为。
直接用 std::midpoint 是目前 C++ 里最安全、最简洁的整数中点计算方式，前提是项目已启用 C++20 且参数类型合规；否则必须手写位运算逻辑，浮点转换或普通加除都是伪安全。
为什么 (a + b) / 2 在 int 上是未定义行为，不是“算错”
有符号整数加法溢出在 C++ 标准中属于未定义行为（UB），编译器可任意优化甚至删掉整条表达式。比如 a = INT_MAX, b = 1 时，(a + b) / 2 不只是结果不对，它可能让整个 if 分支消失、触发断言失败，或在不同优化等级下行为不一致。
- UB 不等于“得到错误数值”，而是“程序逻辑不可预测”
- 即使你看到输出是某个值，也不能当作正确结果依赖
- Clang/GCC 在 -O2 下常会把溢出表达式优化成常量或直接 panic
std::midpoint 的实际调用条件和常见编译失败
它不是万能函数，类型约束非常严格，不符合就直接编译报错，不会静默降级。
- 必须包含
或 ） - 两个参数类型必须完全相同：不能是
int和unsigned int，也不能是int和long long - 不支持浮点数重载（C++20 标准未定义
std::midpoint(1.5, 2.5)，编译失败） - 指针版本要求指向同一数组，否则行为未定义（如
std::midpoint(p, q)中p和q必须满足p ） - MSVC 2019 默认不启用 C++20，需显式加
/std:c++20；GCC/Clang 需-std=c++20
没有 C++20 怎么办？手写位运算版的坑与修正
核心公式 (a & b) + ((a ^ b) >> 1) 确实防加法溢出，但负数右移是实现定义行为——多数编译器做算术右移，但标准不保证它等价于数学除法。
- 对负数，推荐先转无符号类型再算：
static_cast和(a) static_cast(b) - 确保目标平台
int和unsigned int位宽一致（通常是 32 位），否则转换可能截断 - 右移后相加的结果仍在
int表示范围内，最后再static_cast回来 - 别用
double中转：当a = INT_MAX,b = INT_MIN时，static_cast可能因精度丢失变成 0 或 ±1(a) + static_cast (b)
std::midpoint 不是“平均值函数”，它是中点语义
它的数学定义是 ⌊(a + b) / 2⌋（向下取整），不是四舍五入，也不处理浮点精度问题。这点在边界场景特别明显：
-
std::midpoint(-3, 2)返回-1（不是 0 或 -0.5） -
std::midpoint(0, 1)返回0（整型截断，不是 0.5） - 它不保证结果“接近真实平均”，只保证在整型范围内严格等价于安全的中点计算
- 后续若要用该结果做乘法（如
mid * 3），仍需单独检查是否溢出——std::midpoint只保自己这一步不溢出
最容易被忽略的是：这个函数只解决“求中点”这一特定子问题。如果你真正需要的是统计意义上的平均值（含小数、四舍五入、或参与后续浮点运算），std::midpoint 不是替代品，得换思路。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
