std::partition_point 是用来找“已分区序列”的分界点，不是万能二分搜索
它只对已经用 std::partition、std::stable_partition 或其他方式严格分区过的序列有效。如果你直接拿一个乱序数组（比如 {3, 1, 4, 1, 5, 9, 2}）去调 std::partition_point，结果是未定义行为——不是报错，而是可能返回任意迭代器，甚至崩溃。
- ✅ 正确前提：序列必须满足「所有满足谓词的元素连续排在前面，所有不满足的连续排在后面」
- ❌ 错误用法：把它当
std::lower_bound或通用查找工具，用于未排序/未分区数据 - ⚠️ 注意：它不要求整个序列“有序”，只要求按谓词逻辑“两段式分区”；例如奇偶分区、正负分区、大于阈值/不大于阈值分区都算
参数和谓词必须跟当初分区时完全一致
你用 [](int x) { return x & 1; } 分过奇数在前的数组，那后续用 std::partition_point 也得传一模一样的谓词。哪怕只改一个括号或换成 x % 2 == 1，结果就不可靠——因为负数取模行为不同，-3 % 2 == 1 是 false，而 -3 & 1 是 true，分区逻辑已不匹配。
- 谓词签名必须是
bool pred(const T&)，不能有副作用（比如修改外部变量） - 迭代器范围必须是
[first, last)，且类型为 ForwardIterator（vector、array、原生指针都行；list不推荐，性能退化到 O(n)） - 返回值是指向第一个「不满足谓词」元素的迭代器；若全满足，返回
last
典型使用场景：快速定位分区边界，避免重扫
比起从头遍历找第一个偶数，std::partition_point 利用分区结构做二分，只需 O(log n) 次谓词调用。适合在分区后需频繁查询边界、或容器很大但谓词计算代价高时使用。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 常见组合：先
std::partition(v.begin(), v.end(), pred)→ 得到分界迭代器；之后若容器被缓存但迭代器丢失，可用std::partition_point快速找回 - 示例：已知
v = {1, 3, 5, 7, 2, 4, 6}（奇数在前），想确认偶数段起始位置：auto it = std::partition_point(v.begin(), v.end(), [](int x) { return x & 1; }); // it 指向 2 - 注意：它不改变容器，纯只读；和
std::lower_bound类似，但更泛化——后者要求“小于关系+已排序”，它只要求“谓词真假分段”
容易踩的坑：迭代器失效、谓词不一致、误判返回值
最常出问题的是把 std::partition_point 的返回值当成“满足条件的末尾”，然后错误地用 it - 1 去取最后一个奇数——如果整个序列全为奇数，it == v.end()，it - 1 就越界了。
立即学习“C++免费学习笔记（深入）”；
- 安全做法：先检查是否
it != v.end()再解引用；统计数量用std::distance(v.begin(), it)而非手动算 - 别混用算法：用
std::stable_partition分区后仍可安全用std::partition_point，但用std::sort或手写冒泡后就不行 - 调试技巧：用
std::is_partitioned先验检查序列是否真分区了，再调partition_point，避免黑盒排查
它的价值不在“多快”，而在“精准复用分区结构”。一旦分区前提松动——比如中间有人 push_back 了一个新元素，或并发修改了容器——这个“临界点”就立刻失效。所以它本质是个状态依赖型工具，不是独立搜索接口。
