std::midpoint能避免整数溢出是因为它不依赖a+b，而是基于差值偏移（如p1+(p2-p1)/2）或位运算实现，从根本上规避加法溢出；需C++20、<utility>头文件，要求参数类型相同且指针须指向同一数组。
std::midpoint 为什么能避免整数溢出
直接用 (a + b) / 2 计算中点，在 a 和 b 同号且绝对值很大时会触发有符号整数溢出（UB），比如 INT_MAX 和 INT_MAX - 1 相加就崩了。std::midpoint 内部用位运算或分段逻辑绕过加法，对整型、指针、浮点都安全——它不依赖 a + b，而是基于差值做偏移，从根本上规避溢出。
怎么调用 std::midpoint（C++20 起）
必须包含 <utility> 头文件，且编译器需支持 C++20。常见误用是传入类型不匹配或忽略返回类型推导：
-
std::midpoint要求两个参数类型相同（不能int和long混用），否则编译失败 - 对整型，返回类型与参数一致；对指针，返回同类型指针；对浮点，按 usual arithmetic conversions 规则提升
- 示例：
auto m = std::midpoint(1000000000, 2000000000);—— 安全得到1500000000，而(1000000000 + 2000000000) / 2在 32 位int下溢出
指针场景下 std::midpoint 的实际约束
计算两个同数组内指针的中点很常用（比如二分查找），但 std::midpoint 要求指针指向同一数组（或末尾后一位置），否则行为未定义：
- 合法：
int arr[10]; auto mid = std::midpoint(arr, arr + 9); - 非法：
std::midpoint(p1, p2)若p1、p2指向不同分配块，即使类型相同也不行 - 注意：
std::midpoint对指针的实现等价于p1 + (p2 - p1) / 2，所以差值必须可表示为std::ptrdiff_t，超大跨度仍可能溢出该类型（虽罕见）
兼容旧标准或需要手动 fallback 的情况
若项目卡在 C++17 或更早，无法用 std::midpoint，可用安全表达式替代，但要注意细节：
立即学习“C++免费学习笔记（深入）”；
- 对无符号整型：
(a & b) + ((a ^ b) >> 1)—— 位运算法，无溢出风险 - 对有符号整型：
a + (b - a) / 2（当b >= a）或b + (a - b) / 2（当a > b），避免加法；但需先比较大小，分支开销略高 - 别用
(a >> 1) + (b >> 1) + (a & b & 1)—— 看似巧妙，但对负数右移结果依赖实现（C++20 前），不可靠
真正容易被忽略的是：即使用了 std::midpoint，如果参数本身来自 unchecked 计算（比如索引越界读取），中点结果依然无效——函数只防算术溢出，不校验输入合法性。
