std::midpoint指针版是C++20唯一强制定义的防溢出中点计算机制，仅支持同类型原生指针且须指向同一数组，不检查指针有效性或逻辑正确性。
std::midpoint 指针版本是唯一不可替代的用途
它不是“可选优化”，而是 C++20 中唯一被标准明确定义、强制要求实现规避 end - begin 溢出的机制。当数组极大（例如接近 SIZE_MAX / sizeof(int)），手写 begin + (end - begin) / 2 中的减法可能超出 ptrdiff_t 表示范围，直接触发未定义行为；std::midpoint(begin, end) 则由标准保证该算术过程安全。
- 只接受同类型原生指针（如
int*、const char*），不支持void*、std::vector::iterator或 cv 修饰不一致的指针（如int*与const int*混用） - 必须指向同一数组（含 one-past-the-end），否则行为未定义——编译器不检查运行时合法性，只做类型约束
- 示例安全调用：
auto mid = std::midpoint(arr, arr + N);，即使N接近SIZE_MAX / sizeof(*arr)也成立 - 错误写法：
std::midpoint(v.begin(), v.end())编译失败，因迭代器非原生指针；应改用std::midpoint(std::data(v), std::data(v) + v.size())
为什么不能传 std::vector::iterator 或其他封装指针
std::midpoint 的指针重载仅匹配原生指针类型（T*），不参与 SFINAE 推导或 ADL 查找。任何封装类型（包括 std::vector::iterator、std::unique_ptr、gsl::not_null）均不满足模板参数约束，直接编译失败。
- 根本原因：标准未要求为任意随机访问迭代器提供特化，仅对
T*做强制保证 - 若坚持用容器接口，必须显式解包：
&v[0]（要求非空）、std::data(v)（C++17+，空容器也安全）、或v.data() - 传
nullptr或悬空指针不会编译报错，但运行时行为未定义——std::midpoint不校验指针有效性，只保“算得对” - 跨数组指针（如
std::midpoint(p1, p2)，p1和p2来自不同new块）同样未定义，且无运行时提示
类型匹配与 const 修饰必须严格一致
std::midpoint 对 cv 限定符零容忍。哪怕只是 const 差异，也会导致模板推导失败，编译器拒绝实例化。
- 错误示例：
std::midpoint(ptr, const_ptr)（int*vsconst int*）→ 编译错误 - 正确做法：统一 cv 修饰，例如都转为
const int*：std::midpoint(static_cast(ptr), const_ptr) - 不接受
volatile、restrict等额外修饰；也不接受std::byte*与char*混用（类型不同） - 这不是设计缺陷，而是标准刻意为之——强制你在编译期暴露 const 正确性问题
它不校验业务逻辑，只保障算术过程
std::midpoint 的安全边界仅限数值/指针算术本身。它不关心你传进去的两个指针是否有效、是否越界、是否属于同一逻辑区间——这些全靠业务代码兜底。
- 常见误判：以为
std::midpoint(begin, end)能防止二分查找越界 → 实际上若begin > end或end已越界，结果仍合法但语义错误 - 它不检查
arr + N是否溢出——越界本身已是 UB，std::midpoint只确保在给定两个合法地址的前提下，中点计算不引入新 UB - 真正容易被忽略的是：它的“安全”是狭义的——仅防中间算术溢出，不防逻辑错误、内存无效、区间倒置
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
