std:: partial_sort_copy
|
Défini dans l'en-tête
<algorithm>
|
||
|
template
<
class
InputIt,
class
RandomIt
>
RandomIt partial_sort_copy
(
InputIt first, InputIt last,
|
(1) | (constexpr depuis C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
RandomIt
>
|
(2) | (depuis C++17) |
|
template
<
class
InputIt,
class
RandomIt,
class
Compare
>
RandomIt partial_sort_copy
(
InputIt first, InputIt last,
|
(3) | (constexpr depuis C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
RandomIt,
class
Compare
>
|
(4) | (depuis C++17) |
Trie certains éléments de la plage
[
first
,
last
)
par ordre croissant, en stockant le résultat dans la plage
[
d_first
,
d_last
)
.
Au maximum
d_last
-
d_first
éléments sont triés et placés dans la plage
[
d_first
,
d_first
+
n
)
.
n
est le nombre d'éléments à trier (
std::
min
(
std::
distance
(
first, last
)
, d_last
-
d_first
)
). L'ordre des éléments égaux n'est pas garanti d'être préservé.
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> est true . |
(jusqu'à C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> est true . |
(depuis C++20) |
Si * first n'est pas accessible en écriture vers d_first , le programme est mal formé.
Si l'une des conditions suivantes est satisfaite, le comportement est indéfini :
|
(jusqu'à C++11) |
|
(depuis C++11) |
Table des matières |
Paramètres
| first, last | - | la paire d'itérateurs définissant la plage d'éléments à trier |
| d_first, d_last | - | la paire d'itérateurs définissant la plage d'éléments à laquelle les données triées seront assignées |
| policy | - | la politique d'exécution à utiliser |
| comp | - |
objet fonction de comparaison (c'est-à-dire un objet qui satisfait aux exigences de
Compare
) qui renvoie
true
si le premier argument est
inférieur
à (c'est-à-dire est ordonné
avant
) le second.
La signature de la fonction de comparaison doit être équivalente à ce qui suit : bool cmp ( const Type1 & a, const Type2 & b ) ;
Bien que la signature n'ait pas besoin d'avoir
const
&
, la fonction ne doit pas modifier les objets qui lui sont passés et doit pouvoir accepter toutes les valeurs de type (éventuellement const)
|
| Exigences de type | ||
-
InputIt
doit satisfaire aux exigences de
LegacyInputIterator
.
|
||
-
ForwardIt
doit satisfaire aux exigences de
LegacyForwardIterator
.
|
||
-
RandomIt
doit satisfaire aux exigences de
LegacyRandomAccessIterator
.
|
||
-
Compare
doit satisfaire aux exigences de
Compare
.
|
||
Valeur de retour
Un itérateur vers l'élément définissant la limite supérieure de la plage triée, c'est-à-dire d_first + std:: min ( std:: distance ( first, last ) , d_last - d_first ) .
Complexité
Soit N égal à std:: distance ( first, last ) , D égal à d_last - d_first :
Exceptions
Les surcharges avec un paramètre de modèle nommé
ExecutionPolicy
signalent les erreurs comme suit :
-
Si l'exécution d'une fonction invoquée dans le cadre de l'algorithme lève une exception et que
ExecutionPolicyfait partie des politiques standard , std::terminate est appelé. Pour tout autreExecutionPolicy, le comportement est défini par l'implémentation. - Si l'algorithme ne parvient pas à allouer de la mémoire, std::bad_alloc est levé.
Implémentation possible
Voir également les implémentations dans libstdc++ et libc++ .
Exemple
Le code suivant trie un vecteur d'entiers et les copie dans un vecteur plus petit et un vecteur plus grand.
#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); }
Sortie :
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
Rapports de défauts
Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| P0896R4 | C++98 | * first n'était pas requis d'être accessible en écriture vers d_first | le programme est mal formé s'il n'est pas accessible en écriture |
Voir aussi
|
trie les N premiers éléments d'une plage
(modèle de fonction) |
|
|
trie une plage en ordre croissant
(modèle de fonction) |
|
|
trie une plage d'éléments en préservant l'ordre entre les éléments égaux
(modèle de fonction) |
|
|
(C++20)
|
copie et trie partiellement une plage d'éléments
(objet fonction algorithme) |