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 left(v.begin(), pivot); // {1, 2, 3}
std::vector<int> right(pivot, v.end()); // {7, 5, 4}
</int></int>
- 不要直接对
left和right做 push_back 等操作——它们是副本,不影响原容器 - 若只想遍历前后两段,用
for (auto it = begin; it != pivot; ++it)更高效 - 注意:
pivot是迭代器,不是索引,别错写成v[pivot]
和 std::partition_copy 的关键区别在哪?
std::partition_copy 不动原容器,而是把满足/不满足的元素分别拷贝到两个目标容器中。它适合“只读+分流”场景,比如把日志按级别拆进不同队列。
-
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
<ul>
<li>绝对不要写 <code>[&local]</code> 或 <code>[&]</code> ——局部变量马上失效</li>
<li>若需引用外部状态,优先用值捕获(<code>[=]</code> 或 <code>[val]</code>),或确保被引用对象生命周期覆盖整个 partition 调用</li>
<li>调试时遇到奇怪的断言失败或越界,先检查谓词里是否偷偷用了悬空指针或栈变量</li>
</ul>
实际用的时候,最常被忽略的是:你以为分完区后前后两段各自有序,结果发现不是;或者想复用 <code>pivot</code> 迭代器却忘了它只在当前容器有效,一旦容器发生 realloc(如 vector push_back 后扩容),所有旧迭代器立刻失效。</int>C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











