Namespaces
Variants

std::partial_sort_copy

De fr.cppreference.net
 
 
Bibliothèque d'algorithmes
Algorithmes contraints et algorithmes sur plages (C++20)
Algorithmes contraints, ex. ranges::copy, ranges::sort, ...
Opérations de séquence non modifiantes    
Opérations par lots
(C++17)
Opérations de recherche
Opérations de modification de séquence
Opérations de copie
(C++11)
(C++11)
Opérations d'échange
Opérations de transformation
Opérations de génération
Opérations de suppression
Opérations de changement d'ordre
(jusqu'à C++17)(C++11)
(C++20)(C++20)
Opérations d'échantillonnage
(C++17)

Tri et opérations connexes
Opérations de partitionnement
(C++11)    

Opérations de tri
Opérations de recherche binaire
(sur plages partitionnées)
Opérations d'ensemble (sur plages triées)
Opérations de fusion (sur plages triées)
Opérations de tas
Opérations de minimum/maximum
(C++11)
(C++17)
Opérations de comparaison lexicographique
Opérations de permutation


 
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 [firstlast) dans l'ordre croissant, en stockant le résultat dans la plage [d_firstd_last).

Au plus d_last - d_first des éléments sont placés triés dans la plage [d_firstd_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é.

1) Les éléments sont triés par rapport à operator<(jusqu'à C++20)std::less{}(depuis C++20).
3) Les éléments sont triés par rapport à comp.
2,4) Identique à (1,3), mais exécuté selon policy.
Ces surcharges ne participent à la résolution de surcharge que si la valeur de l'expression suivante est true:

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>

(jusqu'à C++20)

std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>

(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 :

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) Type1 et Type2 quel que soit la catégorie de valeur (ainsi, Type1& n'est pas autorisé, et Type1 non plus, sauf si pour Type1 un déplacement équivaut à une copie(depuis C++11)).
Les types Type1 et Type2 doivent être tels qu'un objet de type RandomIt puisse être déréférencé puis implicitement converti en chacun d'eux. ​

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:

1,2) Environ N·log(min(N,D)) comparaisons utilisant operator<(jusqu'à C++20)std::less{}(depuis C++20).
3,4) Environ N·log(min(N,D)) applications du comparateur 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 ExecutionPolicy est l'une des politiques standard, std::terminate est appelée. Pour toute autre ExecutionPolicy, 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)
trie une plage d'éléments
(modèle de fonction & objet fonction d'algorithme)
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)
copie et trie partiellement une plage d'éléments
(objet fonction d'algorithme)