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) 次谓词调用。适合在分区后需频繁查询边界、或容器很大但谓词计算代价高时使用。