std::ranges::partial_sort_copy, std::ranges::partial_sort_copy_result
| Определено в заголовке <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).
Порядок равных элементов не гарантируется сохраняемым.
proj1, а целевые элементы проецируются с помощью функционального объекта proj2.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
См. также
(C++20) |
сортирует первые N элементов диапазона (объект функции алгоритма) |
(C++20) |
сортирует диапазон элементов (объект функции алгоритма) |
(C++20) |
сортирует диапазон элементов, сохраняя относительный порядок эквивалентных элементов (объект функции алгоритма) |
(C++20) |
превращает максимальную кучу в отсортированный диапазон элементов (объект функции алгоритма) |
(C++20) |
создаёт максимальную кучу из диапазона элементов (объект функции алгоритма) |
(C++20) |
добавляет элемент в максимальную кучу (объект функции алгоритма) |
(C++20) |
удаляет наибольший элемент из максимальной кучи (объект функции алгоритма) |
| копирует и частично сортирует диапазон элементов (шаблон функции) |