std::partition原地分区并返回分割点迭代器;它不保证子区间内顺序,仅返回首个不满足条件元素的位置,需手动用该迭代器划分前后两段。

std::partition 会原地重排容器,不保证分区内部顺序
它把满足谓词的元素“全挪到前面”,不满足的“全挪到后面”,但各自区域内元素顺序是未指定的。这和 std::stable_partition 有本质区别——后者保序,但性能略低。
常见错误是误以为 std::partition 会返回两个子范围迭代器,其实它只返回一个:指向第一个“不满足条件”元素的迭代器(即前半段的末尾+1)。你需要自己用这个位置切分逻辑区间。
- 必须传入支持随机访问或至少双向迭代的容器(
std::vector、std::list可以,std::forward_list不行) - 谓词不能修改元素,否则行为未定义
- 如果所有元素都满足条件,返回值等于
end();都不满足则等于begin()
怎么拿到分割后的两段数据?用返回的迭代器手动划分
std::partition 返回的是“分割点”,不是新容器。你要靠它来构造两个逻辑视图:
std::vector<int> v = {1, 4, 2, 7, 5, 3};
auto pivot = std::partition(v.begin(), v.end(), [](int x) { return x < 4; });
// 现在 v 可能变成 {1, 2, 3, 7, 5, 4}(顺序不保证),pivot 指向 7
std::vector<int> left(v.begin(), pivot); // {1, 2, 3}
std::vector<int> right(pivot, v.end()); // {7, 5, 4}
- 不要直接对
left和right做 push_back 等操作——它们是副本,不影响原容器 - 若只想遍历前后两段,用
for (auto it = begin; it != pivot; ++it)更高效 - 注意:
pivot是迭代器,不是索引,别错写成v[pivot]
和 std::partition_copy 的关键区别在哪?
std::partition_copy 不动原容器,而是把满足/不满足的元素分别拷贝到两个目标容器中。它适合“只读+分流”场景,比如把日志按级别拆进不同队列。
立即学习“C++免费学习笔记(深入)”;
-
std::partition:原地、快、改原数据、内存零分配(除了可能的 swap 临时变量) -
std::partition_copy:不改原数据、需提前分配好两个输出容器、多一次遍历开销 - 当元素移动代价高(如含大成员的类),
std::partition的 swap 可能比 copy 快;但若类型不可移动,它会退化为 swap + copy,此时要小心
容易踩的坑:谓词捕获外部变量时生命周期不对
如果用 lambda 捕获局部变量并传给 std::partition,而该 lambda 在 partition 执行期间被调用,但捕获的变量已析构,就会 UB。
std::vector<int> v = {1, 2, 3};
int threshold;
{
int local = 5;
threshold = local; // 必须显式拷贝出来
std::partition(v.begin(), v.end(), [threshold](int x) { return x < threshold; });
}
- 绝对不要写
[&local]或[&]——局部变量马上失效 - 若需引用外部状态,优先用值捕获(
[=]或[val]),或确保被引用对象生命周期覆盖整个 partition 调用 - 调试时遇到奇怪的断言失败或越界,先检查谓词里是否偷偷用了悬空指针或栈变量
pivot 迭代器却忘了它只在当前容器有效,一旦容器发生 realloc(如 vector push_back 后扩容),所有旧迭代器立刻失效。


















