如何使用std::midpoint实现安全计算平均值，有效避免整数加法溢出？

本文共计1053个文字，预计阅读时间需要5分钟。

直接使用 `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 的实际调用条件和常见编译失败

它不是万能函数，类型约束非常严格，不符合就直接编译报错，不会静默降级。