std::binary_search 返回 bool 因其仅用于存在性判断，不提供位置信息；若需定位应直接用 std::lower_bound，避免重复查找和不一致风险，且要求随机访问迭代器与严格有序序列及匹配比较函数。
std::binary_search 为什么返回 bool 而不是迭代器
因为它的设计目标只有一个：确认元素是否存在。不像 std::lower_bound 或 std::upper_bound 需要定位位置，std::binary_search 只关心“有还是没有”，所以返回 bool 更直接、更轻量。
常见错误是拿它当查找入口点用——比如想找到后立刻修改或插入，结果发现没返回位置信息，只能再调一次 lower_bound。这不仅多一次对数开销，还可能因容器变动导致两次调用结果不一致。
- 只在确实只需要“存在性判断”时用
std::binary_search，例如权限校验、去重预检 - 如果后续要访问/修改该元素，直接用
std::lower_bound+ 比较，省一次查找 - 注意它要求迭代器支持随机访问（
vector、deque、原生数组可以，list不行）
传入的序列必须严格有序，且顺序要和比较函数一致
很多人以为“升序排列的 vector 就够了”，但漏掉了比较逻辑的一致性。比如你用 std::greater<int>()</int> 排序，却用默认 调 <code>std::binary_search，行为未定义——可能偶尔对，但换编译器或 STL 实现就崩。
典型错误现象：std::binary_search 返回 false，但手动遍历能找到；或者在 Debug 模式下报 assertion failed（某些 libc++ 实现会检查有序性）。
立即学习“C++免费学习笔记（深入）”；
- 排序和查找必须用同一个比较器：都用
std::less，或都用std::greater，或都用自定义仿函数/lambda - 用 lambda 时注意捕获安全：不要在比较中访问可能被移动/销毁的对象
- 浮点数慎用：
std::binary_search依赖严格弱序，而NaN会导致比较失效，建议先过滤或改用容差查找
性能上它并不比手写二分快，但更安全也更易读
底层都是标准的对数时间二分逻辑，汇编级别几乎没差别。优势在于：避免手写时边界错（left 还是 <code>）、溢出（<code>(l + r) / 2 在大索引下整数溢出）、迭代器越界等低级错误。
兼容性方面，它从 C++98 就存在，所有标准库都支持；但要注意：C++20 前不支持执行策略（比如并行），也不能直接用于 std::ranges::sort 后的视图（需转为迭代器对）。
- 小数据量（
- 若容器频繁增删，维持有序成本远高于查找本身，考虑改用
std::set或std::unordered_set - 在模板函数里用它时，确保传入的迭代器类型满足
RandomAccessIterator约束，否则编译失败信息可能很长很绕
一个容易被忽略的细节：空序列和单元素序列都合法
空 vector 上调用 std::binary_search(first, last, ...) 安全，返回 false；单元素也完全 OK。但新手常误判 last 的含义，传成 &v[0] 和 &v[0] + 1 以外的值，尤其在指针算术中少加 1，导致越界读。
另一个坑是用 std::array 时忘了取地址：std::binary_search(arr.begin(), arr.end(), x) 正确，但 std::binary_search(arr, arr + N, x) 错——arr 是数组名，不是指针，不能直接加。
- 永远用
container.begin()/container.end()，而不是裸指针算术，除非你明确控制内存布局 - 用
std::span（C++20）或gsl::span包一层，能自动约束长度，避免last - first算错 - 调试时可临时加断言：
assert(std::is_sorted(first, last, comp));，但仅限开发期，别留到生产
