绝大多数情况下应使用 std::lower_bound；仅当需同时返回存在性与下标，或需精细控制比较逻辑时才手写循环；务必确保数据已排序，并检查返回迭代器是否有效且值匹配。
用 std::lower_bound 还是手写循环？先看场景
绝大多数情况下，直接用 std::lower_bound 就够了——它底层就是优化过的二分查找，稳定、安全、支持所有满足 RandomAccessIterator 的容器（vector、array、原生数组）。手写只在两种情况必要：需要返回“是否存在+下标”两个信息（std::lower_bound 只返回迭代器），或必须控制比较逻辑的每一步（比如浮点容差、自定义结构体的模糊匹配）。
常见错误现象：std::lower_bound 返回 end() 却没检查，直接解引用导致崩溃；或者传入未排序的 vector，结果完全不可预测。
- 使用前务必确认数据已升序排列（
std::sort不能少） - 若需判断“存在性”，别只比迭代器是否等于
end()，还要检查*it == target（因为lower_bound找的是第一个 ≥ target 的位置） - 对
vector<int></int>等基础类型，std::lower_bound(v.begin(), v.end(), x)是最简路径
while (left 的边界细节怎么不写错
手写时最容易崩在循环条件和更新语句上。核心原则：让搜索区间始终是闭区间 [left, right]，且每次迭代都严格缩小，最终 left > right 时退出，此时无解。
典型翻车点：用 当条件却按闭区间更新，或 <code>mid 计算写成 (left + right) / 2 导致整数溢出（尤其当 left 和 right 都接近 INT_MAX）。
立即学习“C++免费学习笔记（深入）”；
- 循环条件统一用
left （闭区间） -
mid必须写成left + (right - left) / 2，避免溢出 - 找到后立即
return mid；nums[mid] 时，<code>left = mid + 1（mid已排除）；nums[mid] > target时，right = mid - 1 - 循环结束直接
return -1，别试图从left或right推结果
查不到时，想返回插入位置怎么办
标准库的 std::lower_bound 天然支持这个需求：它返回的迭代器，减去 begin() 就是目标应插入的下标（保持有序）。手写版本如果也需要，不能复用“查不到就返回 -1”的逻辑，得把退出时的 left 当作插入点。
注意：这个插入位置是“第一个不小于 target 的位置”，不是“最接近 target 的位置”。如果数组里有重复值，它插在所有相同元素的最左边。
- 用
std::lower_bound：插入位置 =std::lower_bound(v.begin(), v.end(), x) - v.begin() - 手写版本：循环结束后，
left就是插入下标（此时left == right + 1，且v[left-1] ） - 别混淆
lower_bound（≥）和upper_bound（＞）——后者返回的是插入到重复元素右侧的位置
模板函数怎么写才真正泛用
写一个能处理 vector<string></string>、array<double></double> 甚至自定义类型的二分查找，关键不在容器，而在迭代器和比较操作。标准做法是模仿 STL：接受一对迭代器 + 待查值 + 可选比较器。
容易被忽略的坑：默认比较器用 std::less（C++14 起支持透明比较），否则传 string 字面量会编译失败；另外，迭代器类型必须支持 +、-、[]（即随机访问）。
- 函数签名建议：
template <class randomit class t compare="std::less<">> RandomIt binary_search(RandomIt first, RandomIt last, const T& value, Compare comp = {})</class> - 内部仍用
first + (last - first) / 2算中点，依赖RandomIt支持减法 - 比较一律用
comp(*mid, value)，而非硬写，才能适配自定义类型 - 别忘了
static_assert检查std::is_same_v<typename std::iterator_traits>::iterator_category, std::random_access_iterator_tag></typename>，提前报错比运行时越界强
复杂点在于：二分本身逻辑简单，但泛型化时，迭代器类别、比较器语义、异常安全性（比如比较函数抛异常）、以及是否要求严格弱序——这些才是实际项目里卡住人的地方。
