std::midpoint能防整数溢出，因其不依赖(a+b)/2而用位运算或分段加法实现，避免有符号加法UB；仅支持同类型算术类型，如int、unsigned、ptrdiff_t，不支持浮点或自定义类型。
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），结果仍是良定义的，但可能不符合你直觉中的“中间值”。更关键的是：
- 不能用于浮点数：编译失败，报错类似
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
这是最典型、最有价值的使用场景。原来容易溢出的写法：
立即学习“C++免费学习笔记（深入）”；
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])非法
真正容易被忽略的是：std::midpoint 在 C++20 才正式引入，老项目若没启用 C++20 或标准库不完整（比如旧版 libstdc++），可能根本找不到这个函数——得自己手写等效逻辑，或改用 low + (high - low) / 2 这种经典防溢出写法。
