std:: partial_sort_copy
|
定义于头文件
<algorithm>
|
||
|
template
<
class
InputIt,
class
RandomIt
>
RandomIt partial_sort_copy
(
InputIt first, InputIt last,
|
(1) | (自 C++20 起为 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
RandomIt
>
|
(2) | (自 C++17 起) |
|
template
<
class
InputIt,
class
RandomIt,
class
Compare
>
RandomIt partial_sort_copy
(
InputIt first, InputIt last,
|
(3) | (自 C++20 起为 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
RandomIt,
class
Compare
>
|
(4) | (自 C++17 起) |
对范围
[
first
,
last
)
中的部分元素按升序排序,将结果存储在范围
[
d_first
,
d_last
)
中。
最多
d_last
-
d_first
个元素会被排序并放置到范围
[
d_first
,
d_first
+
n
)
中。
n
是要排序的元素数量(
std::
min
(
std::
distance
(
first, last
)
, d_last
-
d_first
)
)。相等元素的顺序不保证会被保留。
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> 为 true 。 |
(C++20 前) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> 为 true 。 |
(C++20 起) |
如果 * first 不可写入 d_first ,则程序非良构。
若满足以下任一条件,则行为未定义:
|
(C++11 前) |
|
(C++11 起) |
目录 |
参数
| first, last | - | 定义待排序元素 范围 的迭代器对 |
| d_first, d_last | - | 定义排序后数据赋值目标 范围 的迭代器对 |
| policy | - | 要使用的 执行策略 |
| comp | - |
比较函数对象(即满足
Compare
要求的对象),当第一个参数
小于
(即按顺序应出现在前面)第二个参数时返回
true
。
比较函数的签名应等价于如下形式: bool cmp ( const Type1 & a, const Type2 & b ) ;
虽然签名不需要包含
const
&
,但函数不得修改传递给它的对象,且必须能够接受
|
| 类型要求 | ||
-
InputIt
必须满足
LegacyInputIterator
的要求。
|
||
-
ForwardIt
必须满足
LegacyForwardIterator
的要求。
|
||
-
RandomIt
必须满足
LegacyRandomAccessIterator
的要求。
|
||
-
Compare
必须满足
Compare
的要求。
|
||
返回值
指向已排序范围上界的迭代器,即 d_first + std:: min ( std:: distance ( first, last ) , d_last - d_first ) 。
复杂度
给定 N 为 std:: distance ( first, last ) , D 为 d_last - d_first :
异常
带有名为
ExecutionPolicy
模板参数的重载按以下方式报告错误:
-
如果作为算法一部分调用的函数执行抛出异常,且
ExecutionPolicy是某个 标准策略 ,则调用 std::terminate 。对于其他任何ExecutionPolicy,其行为由实现定义。 - 如果算法无法分配内存,则抛出 std::bad_alloc 。
可能的实现
示例
以下代码对整数向量进行排序,并将其复制到较小和较大的向量中。
#include <algorithm> #include <functional> #include <iostream> #include <string_view> #include <type_traits> #include <vector> void println(std::string_view rem, const auto& v) { std::cout << rem; if constexpr (std::is_scalar_v<std::decay_t<decltype(v)>>) std::cout << v; else for (int e : v) std::cout << e << ' '; std::cout << '\n'; } int main() { const auto v0 = {4, 2, 5, 1, 3}; std::vector<int> v1{10, 11, 12}; std::vector<int> v2{10, 11, 12, 13, 14, 15, 16}; std::vector<int>::iterator it; it = std::partial_sort_copy(v0.begin(), v0.end(), v1.begin(), v1.end()); println("Writing to the smaller vector in ascending order gives: ", v1); if (it == v1.end()) println("The return value is the end iterator", ' '); it = std::partial_sort_copy(v0.begin(), v0.end(), v2.begin(), v2.end(), std::greater<int>()); println("Writing to the larger vector in descending order gives: ", v2); println("The return value is the iterator to ", *it); }
输出:
Writing to the smaller vector in ascending order gives: 1 2 3 The return value is the end iterator Writing to the larger vector in descending order gives: 5 4 3 2 1 15 16 The return value is the iterator to 15
缺陷报告
下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
| 缺陷报告 | 应用于 | 发布时行为 | 正确行为 |
|---|---|---|---|
| P0896R4 | C++98 | * first 未被要求必须可写入 d_first | 若不可写入则程序非良构 |
参见
|
对范围的前 N 个元素进行排序
(函数模板) |
|
|
将范围按升序排序
(函数模板) |
|
|
对元素范围进行排序并保持相等元素间的顺序
(函数模板) |
|
|
(C++20)
|
复制并部分排序元素范围
(算法函数对象) |