std::lower_bound比手写二分更安全，因其自动处理边界条件、迭代器偏移和类型推导，避免越界与死循环；手写易错在left>right判断及循环条件不统一。
std::lower_bound 为什么比手写二分更安全
直接用 std::lower_bound 是 C++ 中最稳妥的数组二分查找方式，尤其当数组是原生 C 风格数组（如 int arr[10]）或 std::array 时。它内部处理了边界条件、迭代器偏移、类型推导等细节，避免手写时常见的越界或死循环。
常见错误现象：手写二分时 left 写成 <code>left ，或更新 <code>mid 后漏加/漏减 1，导致查不到存在元素或无限循环。
实操建议：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 对已排序的 C 风格数组，传入指针范围：
std::lower_bound(arr, arr + n, target) - 返回的是迭代器（指针），需与
arr相减才能得下标：auto it = std::lower_bound(arr, arr + n, target); int pos = it - arr; - 检查是否找到：
if (it != arr + n && *it == target)—— 必须同时验证未越界且值相等，因为lower_bound只保证“不小于”
手写二分时 mid = left + (right - left) / 2 的必要性
直接写 mid = (left + right) / 2 在 left 和 right 很大时会整数溢出（尤其是 int 类型），触发未定义行为。C++ 标准不保证有符号整数溢出后的结果，实际可能得到负下标，进而崩溃或查错位置。
立即学习“C++免费学习笔记（深入）”；
使用场景：需要自定义比较逻辑（比如结构体按某字段查）、或教学/面试中必须手写。
实操建议：
- 始终用
mid = left + (right - left) / 2或更现代的mid = left + (right - left) >> 1 - 循环条件统一用
while (left ，对应更新为 <code>right = mid - 1和left = mid + 1 - 若数组升序，
target 时收缩右边界；反之收缩左边界 - 退出后
left是第一个 ≥target的位置，right是最后一个 target 的位置 —— 这个不变量比“是否找到”更有价值
std::binary_search 只能判断存在性，不能取下标
如果你只需要知道某个值在不在数组里，std::binary_search 最简洁。但它只返回 bool，不提供位置信息。一旦你需要下标（比如后续要改该位置的值，或计算距离），就必须换用 lower_bound 或手写。
性能影响：三者底层都是 O(log n)，但 binary_search 少一次解引用，理论上略快 —— 实际差异可忽略，别为这点优化牺牲灵活性。
实操建议：
- 仅用于存在性校验：
if (std::binary_search(arr, arr + n, target)) { ... } - 不要试图通过它“顺带”获取位置 —— 没有接口支持
- 注意它要求严格升序（不能有重复？不，可以有重复，但只要有一个就算 true）
用 std::vector 时别忘了 .data()
如果数据存在 std::vector<int> vec</int> 里，想用 std::lower_bound，不能直接传 vec —— 它不是数组。必须用 vec.data() 获取原始指针，再配合 vec.size() 构造范围。
容易踩的坑：写成 std::lower_bound(vec.begin(), vec.end(), target) 虽然能编译，但这是针对迭代器的重载，对 vector 没问题；但如果误传 vec（容器本身）或 &vec[0]（没确认非空），运行时可能崩溃。
实操建议：
- 安全写法：
auto it = std::lower_bound(vec.data(), vec.data() + vec.size(), target); - 空 vector 时
vec.data()可能为 nullptr，但vec.data() + vec.size()是合法的（等于vec.data()），所以整个范围仍有效 - 如果 vector 可能为空，先判
if (vec.empty())再调用，避免后续解引用空指针
C++ 数组二分的核心不是“怎么写循环”，而是选对工具链：查存在用 binary_search，查位置用 lower_bound，非要手写就盯紧 mid 溢出和边界更新。最容易被忽略的是——所有这些操作都严格依赖“已排序”，而 C++ 不做运行时校验。
