Namespaces
Variants

std:: partial_sort_copy

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Definido en el encabezado <algorithm>
template < class InputIt, class RandomIt >

RandomIt partial_sort_copy ( InputIt first, InputIt last,

RandomIt d_first, RandomIt d_last ) ;
(1) (constexpr desde 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) (desde 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 desde 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) (desde C++17)

Ordena algunos de los elementos en el rango [ first , last ) en orden ascendente, almacenando el resultado en el rango [ d_first , d_last ) .

Como máximo d_last - d_first elementos son ordenados en el rango [ d_first , d_first + n ) . n es el número de elementos a ordenar ( std:: min ( std:: distance ( first, last ) , d_last - d_first ) ). El orden de elementos iguales no está garantizado que se preserve.

1) Los elementos están ordenados con respecto a operator < (until C++20) std:: less { } (since C++20) .
3) Los elementos están ordenados con respecto a comp .
2,4) Igual que (1,3) , pero ejecutado de acuerdo con la policy .
Estas sobrecargas participan en la resolución de sobrecarga solo si se satisfacen todas las siguientes condiciones:

std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> es true .

(hasta C++20)

std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> es true .

(desde C++20)

Si * first no es writable a d_first , el programa está mal formado.

Si se satisface cualquiera de las siguientes condiciones, el comportamiento es indefinido:

(hasta C++11)
(desde C++11)

Contenidos

Parámetros

first, last - el par de iteradores que define el rango de elementos a ordenar
d_first, d_last - el par de iteradores que define el rango de elementos al que se asignarán los datos ordenados
policy - la política de ejecución a utilizar
comp - objeto función de comparación (es decir, un objeto que satisface los requisitos de Compare ) que devuelve ​ true si el primer argumento es menor que (es decir, está ordenado antes que) el segundo.

La signatura de la función de comparación debe ser equivalente a lo siguiente:

bool cmp ( const Type1 & a, const Type2 & b ) ;

Aunque la signatura no necesita tener const & , la función no debe modificar los objetos pasados a ella y debe poder aceptar todos los valores de tipo (posiblemente const) Type1 y Type2 independientemente de la categoría de valor (por lo tanto, Type1& no está permitido , ni tampoco Type1 a menos que para Type1 un movimiento sea equivalente a una copia (since C++11) ).
Los tipos Type1 y Type2 deben ser tales que un objeto de tipo RandomIt pueda ser desreferenciado y luego convertido implícitamente a ambos. ​

Requisitos de tipo
-
InputIt debe cumplir con los requisitos de LegacyInputIterator .
-
ForwardIt debe cumplir con los requisitos de LegacyForwardIterator .
-
RandomIt debe cumplir con los requisitos de LegacyRandomAccessIterator .
-
Compare debe cumplir con los requisitos de Compare .

Valor de retorno

Un iterador al elemento que define el límite superior del rango ordenado, es decir, d_first + std:: min ( std:: distance ( first, last ) , d_last - d_first ) .

Complejidad

Dado N como std:: distance ( first, last ) , D como d_last - d_first :

1,2) Aproximadamente N·log(min(N,D)) comparaciones usando operator < (until C++20) std:: less { } (since C++20) .
3,4) Aproximadamente N·log(min(N,D)) aplicaciones del comparador comp .

Excepciones

Las sobrecargas con un parámetro de plantilla llamado ExecutionPolicy reportan errores de la siguiente manera:

  • Si la ejecución de una función invocada como parte del algoritmo lanza una excepción y ExecutionPolicy es uno de los standard policies , std::terminate es llamado. Para cualquier otro ExecutionPolicy , el comportamiento está definido por la implementación.
  • Si el algoritmo falla al asignar memoria, std::bad_alloc es lanzado.

Implementación posible

Consulte también las implementaciones en libstdc++ y libc++ .

Ejemplo

El siguiente código ordena un vector de enteros y los copia en un vector más pequeño y uno más grande.

#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);
}

Salida:

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

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

DR Aplicado a Comportamiento publicado Comportamiento correcto
P0896R4 C++98 * first no se requería que fuera escribible a d_first el programa está mal formado si no es escribible

Véase también

ordena los primeros N elementos de un rango
(plantilla de función)
ordena un rango en orden ascendente
(plantilla de función)
ordena un rango de elementos preservando el orden entre elementos iguales
(plantilla de función)
copia y ordena parcialmente un rango de elementos
(objeto función de algoritmo)