
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) 次谓词调用。适合在分区后需频繁查询边界、或容器很大但谓词计算代价高时使用。
- 常见组合:先
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 了一个新元素,或并发修改了容器——这个“临界点”就立刻失效。所以它本质是个状态依赖型工具,不是独立搜索接口。









