std::binary_search要求容器已排序，否则行为未定义；需先调用std::sort，注意保留原序时应复制容器；降序时须传std::greater{}；迭代器范围须合法；自定义类型需支持对应比较操作。
std::binary_search 要求容器必须已排序
它不负责排序，只做查找；传入未排序的 std::vector 或 std::array，行为是未定义的——可能返回 false，也可能“碰巧”返回 true，但结果不可靠。
常见错误是直接对刚构造、刚插入数据的容器调用：std::binary_search(v.begin(), v.end(), x)，却忘了先 std::sort(v.begin(), v.end())。注意：排序会改变原顺序，若需保留原始顺序，应另存一份副本或改用其他查找方式（如 std::find）。
- 升序排列是默认前提；若容器按降序排，必须显式传入比较函数，例如
std::binary_search(v.begin(), v.end(), x, std::greater{}) - 迭代器范围必须合法：不能用
v.end()和v.begin() - 1这类越界组合 - 自定义类型必须支持所用比较操作符（如默认查找用
，则需重载 <code>operator<或提供对应谓词）
传参时别混淆“值”和“迭代器”
函数签名是 std::binary_search(ForwardIt first, ForwardIt last, const T& value, Compare comp = Compare{})，前两个参数是迭代器，第三个是待查的值本身——不是指针、不是迭代器、不是引用到容器元素的引用（除非你真想查那个地址值）。
典型误写：std::binary_search(v.begin(), v.end(), &x)（传了地址）或 std::binary_search(v.begin(), v.end(), *it)（当 it 是非法迭代器时解引用崩溃）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 确保
value类型能与容器元素类型比较：比如std::vector<:string></:string>查"hello"没问题，但查char[6]可能触发隐式转换陷阱 - 如果用自定义比较函数，
comp(a, b)必须等价于a < b的语义（即严格弱序），否则查找逻辑会出错 - 不要试图用
std::binary_search获取位置——它只返回bool；要找下标，改用std::lower_bound或std::upper_bound
性能优势只在随机访问迭代器上成立
名字叫 “binary” 就意味着它依赖 O(1) 的中间位置计算，所以只对 std::vector、std::deque、原生数组等支持 operator+ 的迭代器高效；对 std::list 或 std::forward_list 传入其迭代器，编译能过，但实际会退化成线性时间——因为 std::advance 在这些容器里是逐个移动的。
- 检查迭代器类别：可用
std::is_random_access_iterator_v<decltype></decltype>编译期判断（C++20） - 对
std::set/std::map，别用std::binary_search：它们内部已是有序结构，直接用成员函数.find()更快且语义更清晰 - 小容器（比如 size < 20）用
std::find可能更快——二分的常数开销和分支预测失败成本有时高于线性扫描
常见编译/运行错误怎么快速定位
报错信息如 no match for 'operator，说明元素类型没定义小于比较；而 <code>error: use of deleted function 常出现在把临时对象（如 std::string("abc")）传给需要左值引用的比较谓词中。
- 启用编译器警告：Clang/GCC 加
-Wsign-compare和-Wzero-as-null-pointer-constant可提前发现类型不匹配 - 调试时加断言：
assert(std::is_sorted(v.begin(), v.end()));（仅 debug 版本）能快速暴露排序缺失问题 - 若查找浮点数，慎用默认比较——
std::binary_search(v.begin(), v.end(), 0.1)对由0.1f构造的float向量可能失败，因精度差异破坏严格弱序
实际用的时候，最常被跳过的一步就是确认“是否真的排好序了”，而不是“有没有调用 sort”。排序和查找之间如果有并发修改或多次插入，这个前提就很容易悄悄失效。
