std::stable_partition
来自cppreference.com
| 在标头 <algorithm> 定义
|
||
| template< class BidirIt, class UnaryPredicate > BidirIt stable_partition( BidirIt first, BidirIt last, UnaryPredicate p ); |
(1) | |
| template< class ExecutionPolicy, class BidirIt, class UnaryPredicate > BidirIt stable_partition( ExecutionPolicy&& policy, BidirIt first, BidirIt last, UnaryPredicate p ); |
(2) | (C++17 起) |
1) 重排序范围
[first, last) 中的元素，使得所有谓词 p 对其返回 true 的元素先于谓词 p 对其返回 false 的元素。保持元素的相对顺序。2) 同 (1) ，但按照
是 true 时才会参与重载决议。
policy 执行。此重载只有在 |
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> |
(C++20 前) |
|
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> |
(C++20 起) |
参数
| first, last | - | 要重排序的元素范围 |
| policy | - | 所用的执行策略。细节见执行策略。 |
| p | - | 若元素应先序于其他元素则返回 true 的一元谓词。 对每个（可为 const 的） |
| 类型要求 | ||
-BidirIt 必须符合值可交换 (ValueSwappable) 和 老式双向迭代器 (LegacyBidirectionalIterator) 的要求。
| ||
-解引用 BidirIt 结果的类型必须满足可移动赋值 (MoveAssignable) 和可移动构造 (MoveConstructible) 的要求。
| ||
-UnaryPredicate 必须符合谓词 (Predicate) 的要求。
| ||
返回值
指向第二范围首元素的迭代器
复杂度
给定 N = std::distance(first, last) ，
1) 若有充足内存，则准确应用
N 次谓词及交换 O(N) 次。若内存不充足，则至多交换 N log N 次。2)
O(N log N) 次交换及应用 O(N) 次谓词。异常
拥有名为 ExecutionPolicy 的模板形参的重载按下列方式报告错误：
- 如果作为算法一部分调用的函数的执行抛出异常，且
ExecutionPolicy是标准策略之一，那么调用 std::terminate。对于任何其他ExecutionPolicy，行为由实现定义。 - 如果算法无法分配内存，那么抛出 std::bad_alloc。
注解
此函数试图分配临时缓冲区。若分配失败，则选择较低效的算法。
libc++ 与 libstdc++ 中的实现亦作为扩展接受老式向前迭代器 (LegacyForwardIterator) 所代表的范围。
示例
运行此代码
#include <iostream> #include <algorithm> #include <vector> int main() { std::vector<int> v{0, 0, 3, 0, 2, 4, 5, 0, 7}; std::stable_partition(v.begin(), v.end(), [](int n){return n>0;}); for (int n : v) { std::cout << n << ' '; } std::cout << '\n'; }
输出：
3 2 4 5 7 0 0 0 0
参阅
| 将范围中的元素分为两组 (函数模板) |