std::ranges::binary_search要求容器已排序且谓词一致，否则结果未定义；它仅返回bool，不提供位置信息，需配合lower_bound等获取迭代器或下标。
std::ranges::binary_search 要求容器必须已排序
它不检查是否有序，直接按二分逻辑跳转索引 —— 如果传入乱序容器，结果未定义，大概率返回 false 却不报错。实际使用前务必确认排序依据（比如 std::vector<int></int> 升序、std::vector<:string></:string> 字典序），必要时先调用 std::ranges::sort。
常见错误现象：std::ranges::binary_search(v, 5) 对刚 push_back 进去的元素返回 false，但手动遍历能找到 —— 很可能漏了排序。
- 升序容器用默认比较（
std::less{}），无需额外参数 - 降序容器必须显式传
std::greater{}，否则行为不可靠 - 自定义类型需提供满足严格弱序的
operator<或传入对应谓词
如何传入自定义比较逻辑（比如按结构体字段查找）
不能只靠重载 operator<，因为 std::ranges::binary_search 查找目标是值（如 Person{.id = 100}），而容器里存的是完整对象；若只按 id 比较，需确保比较逻辑与排序一致。
正确做法：排序和查找用同一谓词。例如：
立即学习“C++免费学习笔记（深入）”；
auto cmp = [](const Person& a, const Person& b) { return a.id < b.id; };
std::ranges::sort(people, cmp);
bool found = std::ranges::binary_search(people, Person{.id=100}, cmp);
注意：第三个参数是谓词，不是投影（projection）—— std::ranges::binary_search 不支持像 std::ranges::lower_bound 那样用 std::ranges::less{} 加投影的方式简化写法。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 谓词签名必须是
bool(const T&, const U&)或bool(const U&, const T&)，其中T是容器元素类型，U是查找值类型 - 不能把
int直接传给std::vector<Person>的查找，除非提供能接受int和Person的谓词 - 投影功能在
std::ranges::binary_search中不存在，别试图用std::ranges::views::keys等视图“绕过”谓词
它只返回 bool，没法知道位置或迭代器
如果需要下标、迭代器，或者要区分“存在”和“插入点”，就不能用 std::ranges::binary_search —— 它设计目标就是“是否存在”，其他信息一概不提供。
替代方案：
- 查位置：用
std::ranges::lower_bound+std::ranges::distance - 查是否存在且需迭代器：同样用
std::ranges::lower_bound，再判断是否等于end()或元素值是否匹配 - 查上界/插入点：直接用
std::ranges::upper_bound或std::ranges::equal_range
性能上无差异（都是 O(log n)），但语义更明确 —— 别为了少写一行 != end() 而误用 binary_search。
编译器和标准库支持需 C++20 且启用 ranges
Clang 13+、GCC 10.2+、MSVC 19.30+ 支持，但 GCC 默认不启用 std::ranges，需加编译选项 -std=c++20 并确保标准库为 libstdc++ 11+ 或 libc++ 14+。
常见错误信息：error: 'binary_search' is not a member of 'std::ranges' —— 多半是编译器版本不够，或用了旧版标准库（如 Ubuntu 20.04 自带的 GCC 9 + libstdc++ 9）。
- 检查方式：编译含
#include <algorithm>和std::ranges::binary_search(...)的最小文件，看是否报错 - MinGW-w64 用户特别注意：部分发行版仍基于旧 libstdc++，即使 -std=c++20 也无效
- 别和
std::binary_search（老式迭代器版本）混用 —— 两者签名不同，头文件相同但行为隔离
真正容易被忽略的是谓词一致性：排序用的比较逻辑，必须和查找时传的完全一样，哪怕只差一个 const 修饰符或参数顺序，都可能导致未定义行为。
