std::partition原地重排且不保持相对顺序,将满足谓词的元素移至前段、不满足的移至后段,返回分界点迭代器;时间复杂度O(N),但交换次数约N/2,比stable_partition快,不适用于需保序或不可修改原容器的场景。

std::partition 会原地重排,不保持相对顺序
它把满足条件的元素全挪到前面,不满足的全挪到后面,但各自内部顺序是未定义的——这点和 std::stable_partition 有本质区别。如果你依赖“前半部分元素的原始先后关系”,就不能用 std::partition。
常见错误是误以为它像 Python 的 filter 那样只返回视图或新容器;实际上它直接修改原容器,且返回一个迭代器指向“分界点”(即第一个不满足条件的元素位置)。
- 必须传入支持随机访问或至少双向迭代的容器(
std::vector、std::deque、std::list可用,std::forward_list不行) - 谓词函数不能修改元素,否则行为未定义
- 时间复杂度是 O(N),但实际交换次数可能接近 N/2,比
stable_partition快不少
怎么写谓词:lambda 最常用,注意捕获和 const
谓词接受一个 const T&(或值),返回 bool。多数场景用 lambda 最直接:
std::vector<int> v = {1, 4, 2, 5, 3, 6};
auto it = std::partition(v.begin(), v.end(), [](int x) { return x % 2 == 0; });
// v 变成 {4, 2, 6, 5, 3, 1} 或类似(偶数在前,奇数在后,顺序不定)
// it 指向第一个奇数,即 v.begin() + 3
如果要捕获外部变量,记得加 [&] 或 [=],但别捕获将被重排的容器本身——那会导致迭代器失效或未定义行为。
立即学习“C++免费学习笔记(深入)”;
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 谓词里不要调用
push_back、erase等改变容器结构的操作 - 对
std::string或自定义类型,优先用const T&避免拷贝 - 返回
true的元素会被归到前半段;这个逻辑方向别反了
和 std::stable_partition、std::partition_copy 的关键区别
std::partition 是唯一一个既不保序、也不生成新容器的选项。选错就容易白忙活:
- 要保序?→ 用
std::stable_partition(代价是 O(N log N) 时间或额外 O(N) 空间) - 不能动原容器?→ 用
std::partition_copy,它把两组分别拷到两个目标区间(需确保目标空间足够) - 只想要索引或计数,不真移动?→ 别用 partition,改用
std::count_if+ 手动遍历更轻量
比如你有一组指针想按是否为空分开,又不想打乱有效指针之间的相对顺序,std::partition 就不合适。
边界情况:空范围、全满足、全不满足
这三种情况都合法,std::partition 行为明确:
- 空范围(
begin == end)→ 直接返回end,不执行任何操作 - 所有元素都满足谓词 → 返回
end,容器不变 - 所有都不满足 → 返回
begin,容器也不变
所以拿到返回迭代器后,别直接解引用,先检查是否等于 end。尤其在循环处理多个子区间时,很容易漏掉这个判断导致越界。
分界点位置才是关键信息,而不是“前半段一定非空”。

















