Namespaces
Variants

std::partial_sort_copy

С сайта ru.cppreference.net
 
 
Библиотека алгоритмов
Ограниченные алгоритмы и алгоритмы над диапазонами (C++20)
Ограниченные алгоритмы, например ranges::copy, ranges::sort, ...
Немодифицирующие операции последовательностей    
Пакетные операции
(C++17)
Операции поиска
Модифицирующие операции последовательностей
Операции копирования
(C++11)
(C++11)
Операции обмена
Операции преобразования
Операции генерации
Операции удаления
Операции изменения порядка
(до C++17)(C++11)
(C++20)(C++20)
Операции выборки
(C++17)

Сортировка и связанные операции
Операции разделения
(C++11)    

Операции сортировки
Операции двоичного поиска
(на разбитых диапазонах)
Операции над множествами (для отсортированных диапазонов)
Операции слияния (для отсортированных диапазонов)
Операции с кучей
Операции минимума/максимума
(C++11)
(C++17)
Операции лексикографического сравнения
Операции перестановок


Политики выполнения (C++17)
(только для пояснения*)(C++26)

Численные операции
(C++11)
(C++17)
(C++17)    

Специализированные <memory>алгоритмы

Специализированные <random>алгоритмы
Библиотека C









 
Определён в заголовочном файле <algorithm>
template< class InputIt, class RandomIt >
RandomIt partial_sort_copy( InputIt first, InputIt last,
                            RandomIt d_first, RandomIt d_last );
(1) (constexpr начиная с 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) (начиная с 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 начиная с 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) (начиная с 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)). Порядок равных элементов не гарантированно сохраняется.

1) Элементы сортируются относительно operator<(до C++20)std::less{}(начиная с C++20).
3) Элементы сортируются относительно comp.
2,4) То же, что и (1,3), но выполняется согласно policy.
Эти перегрузки участвуют в разрешении перегрузки только если значение следующего выражения равно true:

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

(до C++20)

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

(начиная с C++20)

Если *first не является записываемым в d_first, программа считается некорректной.

Если выполняется любое из следующих условий, поведение не определено:

  • Тип *d_first не является Swappable.
(до C++11)
(начиная с C++11)

Параметры

first, last - пара итераторов, определяющая диапазон элементов для сортировки
d_first, d_last - пара итераторов, определяющая диапазон элементов, в который будет помещён отсортированный результат
policy - политика выполнения для использования
comp - объект функции сравнения (т.е. объект, удовлетворяющий требованиям Compare), который возвращает true если первый аргумент меньше (т.е. упорядочен перед) вторым.

Сигнатура функции сравнения должна быть эквивалентна следующей:

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

Хотя сигнатура не обязательно должна содержать const&, функция не должна изменять переданные ей объекты и должна принимать все значения типа (возможно, const) Type1 и Type2 независимо от категории значения (таким образом, Type1& не допускается, так же как и Type1 если только Type1 перемещение не эквивалентно копированию(начиная с C++11)).
Типы Type1 и Type2 должны быть такими, чтобы объект типа RandomIt можно было разыменовать и затем неявно преобразовать к обоим из них. ​

Требования к типам
-
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:

1,2) Примерно N·log(мин(N,D)) сравнений с использованием operator<(до C++20)std::less{}(начиная с C++20).
3,4) Примерно N·log(мин(N,D)) применений компаратора comp.

Исключения

Перегрузки с параметром шаблона с именем ExecutionPolicy сообщают об ошибках следующим образом:

  • Если выполнение функции, вызванной как часть алгоритма, генерирует исключение, и ExecutionPolicy является одной из стандартных политик, вызывается std::terminate. Для любой другой ExecutionPolicy поведение определяется реализацией.
  • Если алгоритму не удаётся выделить память, генерируется std::bad_alloc.

Возможная реализация

Смотрите также реализации в libstdc++ и libc++.

Пример

Следующий код сортирует вектор целых чисел и копирует их в меньший и больший векторы.

#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++.

DR Применён к Поведение в публикации Корректное поведение
P0896R4 C++98 *first не требовался быть доступным для записи в d_first программа считается некорректной, если не доступен для записи

Смотрите также

сортирует первые N элементов диапазона
(шаблон функции & объект-функция алгоритма)
сортирует диапазон элементов
(шаблон функции & объект-функция алгоритма)
сортирует диапазон элементов с сохранением относительного порядка между эквивалентными элементами
(шаблон функции & объект-функция алгоритма)
копирует и частично сортирует диапазон элементов
(объект-функция алгоритма)