C++如何使用std::midpoint防止整数溢出-C++-PHP中文网

c++oding="utf-8" ?>

std::midpoint能防整数溢出，因其不依赖(a+b)/2而用位运算或分段加法实现，避免有符号加法ub；仅支持同类型算术类型，如int、unsigned、ptrdiff_t，不支持浮点或自定义类型。

c++如何使用std::midpoint防止整数溢出

std::midpoint 为什么能防整数溢出

因为 std::midpoint(a, b) 不用 (a + b) / 2 计算中点，而是用位运算等价逻辑（如无符号重解释或分段加法），绕开中间结果溢出。对有符号整数，a + b 可能触发未定义行为（UB），而 std::midpoint 明确保证行为良好——只要 a 和 b 同号，或其中一个是另一方的非负偏移，结果就严格等于数学意义上的 ⌊(a+b)/2⌋ 或 ⌈(a+b)/2⌉（取决于实现细节，但总是安全且一致）。

哪些类型能直接用 std::midpoint

它只接受算术类型，且要求两个参数类型相同（不能混用 int 和 long）。常见可用组合：

std::midpoint(int, int) —— 最常用，防 INT_MAX 相加溢出
std::midpoint(unsigned, unsigned) —— 无符号下也安全（虽然加法本身不 UB，但语义更清晰）
std::midpoint(std::ptrdiff_t, std::ptrdiff_t) —— 指针差值场景，比如二分查找中计算索引
不支持 std::midpoint(float, double) 或自定义类型（C++20 标准仅限算术类型，且不提供浮点特化）

典型错误：把 midpoint 当作通用平均值函数

它不是 (a + b) / 2 的“安全替代品”——它只在 a ≤ b 或 b ≤ a 时语义可靠；若 a 和 b 符号相反且绝对值悬殊（比如 a = INT_MIN, b = INT_MAX），结果仍是良定义的，但可能不符合你直觉中的“中间值”。更关键的是：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

不能用于浮点数：编译失败，报错类似 no matching function for call to 'midpoint(float&, float&)'
不能隐式转换：写 std::midpoint(1, 10L) 会编译失败，必须显式统一类型，如 std::midpoint(static_cast<long>(1), 10L)</long>
指针版本需谨慎：std::midpoint(p, q) 要求 p 和 q 指向同一数组（或一前一后一个位置），否则行为未定义

二分查找里怎么安全替换 (low + high) / 2

这是最典型、最有价值的使用场景。原来容易溢出的写法：

int mid = (low + high) / 2; // low=INT_MAX-1, high=INT_MAX → 溢出 UB

换成：

int mid = std::midpoint(low, high); // 安全，返回 INT_MAX-1

注意点：

确保 low 和 high 是同类型整数（比如都是 int 或都是 size_t）
如果用 size_t 做索引（常见于容器 size 相关计算），要小心 std::midpoint 对无符号类型同样有效，且不会回绕
不要试图用它处理迭代器距离以外的指针运算，例如 std::midpoint(&a[0], &a[N]) 合法，但 std::midpoint(&a[0], &b[0]) 非法