std::binary_search要求容器已按同一规则排序且谓词与排序逻辑严格一致，否则行为未定义；它仅返回bool，不提供位置信息，查找需匹配类型和参数顺序。
std::binary_search 要求容器已排序，否则行为未定义
直接调用 std::binary_search 前，必须确保数据按**同一规则**排好序。它不负责排序，也不验证是否已排序——如果传入乱序容器，返回结果完全不可靠，甚至可能崩溃。
- 常见错误：对
std::vector<person></person>按name排序后，却用age作查找键 + 自定义谓词，但排序时没用age—— 这会导致查不到或误判 - 排序和查找必须用**逻辑一致的比较逻辑**：要么都基于
operator，要么都用同一个谓词对象或 Lambda - 若数据来自外部（如文件读取、网络接收），务必显式调用
std::sort或std::stable_sort，别依赖“它看起来是有序的”
自定义谓词必须与排序方式严格匹配
谓词不是“让 binary_search 知道怎么比”，而是告诉它：“我当初就是按这个规则排的序，你现在也得按这个规则找”。类型、参数顺序、语义必须完全一致。
- 错误写法：
std::sort(v.begin(), v.end(), [](const auto& a, const auto& b) { return a.age ，但查找时用 <code>std::binary_search(v.begin(), v.end(), target, [](const auto& a, const auto& b) { return a.name —— 完全错配 - 正确写法：排序和查找都用同一个 lambda，或封装为函数对象，例如：
auto by_age = [](const Person& a, const Person& b) { return a.age < b.age; };然后
std::sort(v.begin(), v.end(), by_age);和std::binary_search(v.begin(), v.end(), target, by_age); - 注意谓词签名：必须接受两个参数（
T, T或T, U），返回bool；若查找值类型与容器元素不同（如用int查Person的age），需用二元谓词且第一个参数是容器元素类型，第二个是查找值类型
查找对象某属性时，谓词要能处理“混合类型”比较
比如想在 std::vector<person></person> 中快速判断是否存在 age == 25 的人，不能直接传 25 给 std::binary_search，除非谓词支持 Person 和 int 比较。
- 可行谓词写法：
[](const Person& p, int age) { return p.age < age; }或
[](int age, const Person& p) { return age < p.age; }—— 注意参数顺序：
std::binary_search内部会按需调用谓词，要求谓词能处理(value, element)和(element, value)两种顺序（实际只用其中一种，但标准要求可调用） - 更安全做法：统一用
Person类型构造临时对象，或用std::lower_bound+==判断，避免谓词歧义 - 编译器不会报错，但若谓词只支持
(Person, Person)却传入int，会触发模板推导失败，错误信息往往很长，关键线索是 “no match for operator
binary_search 只返回 bool，真要取对象得用 lower_bound / upper_bound
std::binary_search 的设计目标就是“存在性判断”，它不提供迭代器。如果需要获取匹配项（比如拿到那个 Person 对象本身），必须换函数。
立即学习“C++免费学习笔记（深入）”；
- 典型组合：
auto it = std::lower_bound(v.begin(), v.end(), target, pred);然后检查
it != v.end() && pred(*it, target) == false && pred(target, *it) == false（即相等），或者更常用：it != v.end() && *it.age == target（前提是谓词和字段访问明确） - 不要试图用
std::binary_search返回值去“反推位置”——它没有位置信息，也没有办法从bool回溯到元素 - 性能上，
lower_bound和binary_search都是 O(log n)，但前者多一次解引用，实际差异可忽略；选哪个取决于你要的是“有没有”还是“是哪一个”
实际用的时候，最易漏掉的是排序与谓词的逻辑一致性。哪怕代码能编译、测试用例偶尔通过，只要数据稍有变化，结果就可能突然翻车。