Namespaces
Variants

std::ranges::partial_sort_copy, std::ranges::partial_sort_copy_result

От 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









 
Ограниченные алгоритмы
Все имена в этом меню принадлежат пространству имён std::ranges
Неизменяющие операции последовательности
Изменяющие операции последовательности
Операции разбиения
Операции сортировки
Операции бинарного поиска (по отсортированным диапазонам)
       
       
Операции над множествами (по отсортированным диапазонам)
Операции с кучей
Операции минимума/максимума
       
       
Операции перестановки
Операции свертки
Операции с неинициализированной памятью
Типы возврата
 
Определено в заголовке <algorithm>
Сигнатура вызова
template< std::input_iterator I1, std::sentinel_for<I1> S1,
          std::random_access_iterator I2, std::sentinel_for<I2> S2,
          class Comp = ranges::less, class Proj1 = std::identity,
          class Proj2 = std::identity >
requires std::indirectly_copyable<I1, I2> &&
         std::sortable<I2, Comp, Proj2> &&
         std::indirect_strict_weak_order<Comp, std::projected<I1, Proj1>,
             std::projected<I2, Proj2>>
constexpr partial_sort_copy_result<I1, I2>
    partial_sort_copy( I1 first, S1 last, I2 result_first, S2 result_last,
                       Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );
(1) (начиная с C++20)
template< ranges::input_range R1, ranges::random_access_range R2,
          class Comp = ranges::less, class Proj1 = std::identity,
          class Proj2 = std::identity >
requires std::indirectly_copyable<ranges::iterator_t<R1>, ranges::iterator_t<R2>> &&
         std::sortable<ranges::iterator_t<R2>, Comp, Proj2> &&
         std::indirect_strict_weak_order<Comp, std::projected<ranges::iterator_t<R1>,
             Proj1>, std::projected<ranges::iterator_t<R2>, Proj2>>
constexpr partial_sort_copy_result<ranges::borrowed_iterator_t<R1>,
                                   ranges::borrowed_iterator_t<R2>>
    partial_sort_copy( R1&& r, R2&& result_r,
                       Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );
(2) (начиная с C++20)
Вспомогательные типы
template< class I, class O >
using partial_sort_copy_result = ranges::in_out_result<I, O>;
(3) (начиная с C++20)

Копирует первые N элементов из исходного диапазона [first, last), как если бы он был частично отсортирован относительно comp и proj1, в целевой диапазон [result_first, result_first + N), где N = min(L₁, L₂), L₁ равно ranges::distance(first, last), а L₂ равно ranges::distance(result_first, result_last).

Порядок равных элементов не гарантируется сохраняемым.

1) Элементы исходного диапазона проецируются с помощью функционального объекта proj1, а целевые элементы проецируются с помощью функционального объекта proj2.
2) То же, что и (1), но использует r в качестве исходного диапазона и result_r в качестве целевого диапазона, как если бы использовал ranges::begin(r) как first, ranges::end(r) как last, ranges::begin(result_r) как result_first и ranges::end(result_r) как result_last.

Функциональные объекты, описанные на этой странице, являются алгоритмическими функциональными объектами (неформально известными как niebloid'ы), то есть:

Параметры

first, last - пара итератор-страж, определяющая исходный диапазон элементов для копирования
r - исходный диапазон для копирования
result_first, result_last - пара итератор-страж, определяющая целевой диапазон элементов
result_r - целевой диапазон
comp - сравнение, применяемое к проецируемым элементам
proj1 - проекция, применяемая к элементам исходного диапазона
proj2 - проекция, применяемая к элементам целевого диапазона

Возвращаемое значение

Объект, равный { last, result_first + N } .

Сложность

Не более L₁•log(N) сравнений и 2•L₁•log(N) проекций.

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

struct partial_sort_copy_fn
{
    template<std::input_iterator I1, std::sentinel_for<I1> S1,
             std::random_access_iterator I2, std::sentinel_for<I2> S2,
             class Comp = ranges::less, class Proj1 = std::identity,
             class Proj2 = std::identity>
    requires std::indirectly_copyable<I1, I2> && std::sortable<I2, Comp, Proj2> &&
             std::indirect_strict_weak_order<Comp, std::projected<I1, Proj1>,
             std::projected<I2, Proj2>>
    constexpr ranges::partial_sort_copy_result<I1, I2>
        operator()(I1 first, S1 last, I2 result_first, S2 result_last,
                   Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) const
    {
        if (result_first == result_last)
            return {std::move(ranges::next(std::move(first), std::move(last))),
                    std::move(result_first)};
        auto out_last{result_first};
        // копировать первые N элементов
        for (; !(first == last or out_last == result_last); ++out_last, ++first)
            *out_last = *first;
        // преобразование N скопированных элементов в максимальную кучу
        ranges::make_heap(result_first, out_last, comp, proj2);
        // обработать оставшуюся часть входного диапазона (если есть), сохраняя свойство кучи
        for (; first != last; ++first)
        {
            if (std::invoke(comp, std::invoke(proj1, *first),
                                  std::invoke(proj2, *result_first)))
            {
                // извлечь наибольший элемент и добавить вновь найденный меньший
                ranges::pop_heap(result_first, out_last, comp, proj2);
                *(out_last - 1) = *first;
                ranges::push_heap(result_first, out_last, comp, proj2);
            }
        }
        // первые N элементов в выходном диапазоне остаются
        // куча - преобразовать её в отсортированный диапазон
        ranges::sort_heap(result_first, out_last, comp, proj2);
        return {std::move(first), std::move(out_last)};
    }
    template<ranges::input_range R1, ranges::random_access_range R2,
             class Comp = ranges::less, class Proj1 = std::identity,
             class Proj2 = std::identity>
    requires std::indirectly_copyable<ranges::iterator_t<R1>, ranges::iterator_t<R2>> &&
             std::sortable<ranges::iterator_t<R2>, Comp, Proj2> &&
             std::indirect_strict_weak_order<Comp, std::projected<ranges::iterator_t<R1>,
             Proj1>, std::projected<ranges::iterator_t<R2>, Proj2>>
    constexpr ranges::partial_sort_copy_result<ranges::borrowed_iterator_t<R1>,
              ranges::borrowed_iterator_t<R2>>
        operator()(R1&& r, R2&& result_r, Comp comp = {},
                   Proj1 proj1 = {}, Proj2 proj2 = {}) const
    {
        return (*this)(ranges::begin(r), ranges::end(r),
                       ranges::begin(result_r), ranges::end(result_r),
                       std::move(comp), std::move(proj1), std::move(proj2));
    }
};
inline constexpr partial_sort_copy_fn partial_sort_copy {};

Пример

#include <algorithm>
#include <forward_list>
#include <functional>
#include <iostream>
#include <ranges>
#include <string_view>
#include <vector>
void print(std::string_view rem, std::ranges::input_range auto const& v)
{
    for (std::cout << rem; const auto& e : v)
        std::cout << e << ' ';
    std::cout << '\n';
}
int main()
{
    const std::forward_list source{4, 2, 5, 1, 3};
    print("Запись в меньший вектор в порядке возрастания: ", "");
    std::vector dest1{10, 11, 12};
    print("исходный константный список: ", source);
    print("диапазон назначения: ", dest1);
    std::ranges::partial_sort_copy(source, dest1);
    print("partial_sort_copy: ", dest1);
    print("Запись в больший вектор в порядке убывания:", "");
    std::vector dest2{10, 11, 12, 13, 14, 15, 16};
    print("исходный константный список: ", source);
    print("диапазон назначения: ", dest2);
    std::ranges::partial_sort_copy(source, dest2, std::greater{});
    print("partial_sort_copy: ", dest2);
}

Вывод:

Запись в меньший вектор в порядке возрастания:
исходный константный список: 4 2 5 1 3
диапазон назначения: 10 11 12
partial_sort_copy: 1 2 3
Запись в больший вектор в порядке убывания:
исходный константный список: 4 2 5 1 3
диапазон назначения: 10 11 12 13 14 15 16
partial_sort_copy: 5 4 3 2 1 15 16

См. также

сортирует первые N элементов диапазона
(объект функции алгоритма)
сортирует диапазон элементов
(объект функции алгоритма)
сортирует диапазон элементов, сохраняя относительный порядок эквивалентных элементов
(объект функции алгоритма)
превращает максимальную кучу в отсортированный диапазон элементов
(объект функции алгоритма)
создаёт максимальную кучу из диапазона элементов
(объект функции алгоритма)
добавляет элемент в максимальную кучу
(объект функции алгоритма)
удаляет наибольший элемент из максимальной кучи
(объект функции алгоритма)
копирует и частично сортирует диапазон элементов
(шаблон функции)