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,
RandomIt d_first, RandomIt d_last );
|
(1) | (constexpr depuis C++20) |
template< class ExecutionPolicy,
class ForwardIt, class RandomIt >
RandomIt partial_sort_copy( ExecutionPolicy&& policy,
ForwardIt first, ForwardIt last,
RandomIt d_first, RandomIt d_last );
|
(2) | (depuis C++17) |
template< class InputIt, class RandomIt, class Compare >
RandomIt partial_sort_copy( InputIt first, InputIt last,
RandomIt d_first, RandomIt d_last,
Compare comp );
|
(3) | (constexpr depuis C++20) |
template< class ExecutionPolicy,
class ForwardIt, class RandomIt, class Compare >
RandomIt partial_sort_copy( ExecutionPolicy&& policy,
ForwardIt first, ForwardIt last,
RandomIt d_first, RandomIt d_last,
Compare comp );
|
(4) | (depuis C++17) |
Trie certains éléments de la plage [first, last) dans l'ordre croissant, en stockant le résultat dans la plage [d_first, d_last).
Au plus d_last - d_first des éléments sont placés trié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é.
comp.policy.true:
|
|
(jusqu'à C++20) |
|
|
(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) |
Paramètres
| first, last | - | la paire d'itérateurs définissant la plage des éléments à trier |
| d_first, d_last | - | la paire d'itérateurs définissant la plage des éléments auxquels 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 les 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 :
Bien que la signature n'ait pas besoin d'avoir |
| 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é
Étant donné N comme std::distance(first, last), D comme d_last - d_first:
operator<(jusqu'à C++20)std::less{}(depuis C++20).comp.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
ExecutionPolicyest l'une des politiques standard, std::terminate est appelée. Pour toute 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ée.
Implémentation possible
Voir aussi 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 | Appliqué à | Comportement tel que publié | Comportement correct |
|---|---|---|---|
| P0896R4 | C++98 | *first n'était pas tenu 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 & objet fonction d'algorithme) | |
(C++20) |
|
| trie une plage d'éléments (modèle de fonction & objet fonction d'algorithme) | |
(C++20) |
|
| trie une plage d'éléments tout en préservant l'ordre relatif entre les éléments équivalents (modèle de fonction & objet fonction d'algorithme) | |
(C++20) |
|
(C++20) |
copie et trie partiellement une plage d'éléments (objet fonction d'algorithme) |