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, |
(1) | (C++20以降) |
| template< ranges::input_range R1, ranges::random_access_range R2, class Comp = ranges::less, class Proj1 = std::identity, |
(2) | (C++20以降) |
| ヘルパー型 |
||
| template< class I, class O > using partial_sort_copy_result = ranges::in_out_result<I, O>; |
(3) | (C++20以降) |
ソース範囲 [first, last) の最初の N 個の要素を、あたかも comp および proj1 に関して部分的にソートされたかのように、宛先範囲 [result_first, result_first + N) にコピーします。ここで、N = min(L₁, L₂)、L₁ は ranges::distance(first, last) に等しく、L₂ は ranges::distance(result_first, result_last) に等しくなります。
等しい要素の順序は保証されません。
このページで説明されている関数のようなエンティティは、アルゴリズム関数オブジェクト（非公式にはニーブロイドとして知られている）です。つまり、
- これらのいずれかを呼び出す際に、明示的なテンプレート引数リストを指定することはできません。
- これらのいずれも実引数依存の名前探索には見えません。
- これらのいずれかが関数呼び出し演算子の左側の名前として通常の非修飾名探索によって見つかった場合、実引数依存の名前探索は抑制されます。
目次 |
[編集] パラメータ
| 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}; // copy first N elements for (; !(first == last or out_last == result_last); ++out_last, ++first) *out_last = *first; // convert N copied elements into a max-heap ranges::make_heap(result_first, out_last, comp, proj2); // process the rest of the input range (if any), preserving the heap property for (; first != last; ++first) { if (std::invoke(comp, std::invoke(proj1, *first), std::invoke(proj2, *result_first))) { // pop out the biggest item and push in a newly found smaller one ranges::pop_heap(result_first, out_last, comp, proj2); *(out_last - 1) = *first; ranges::push_heap(result_first, out_last, comp, proj2); } } // first N elements in the output range is still // a heap - convert it into a sorted range 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("Write to the smaller vector in ascending order: ", ""); std::vector dest1{10, 11, 12}; print("const source list: ", source); print("destination range: ", dest1); std::ranges::partial_sort_copy(source, dest1); print("partial_sort_copy: ", dest1); print("Write to the larger vector in descending order:", ""); std::vector dest2{10, 11, 12, 13, 14, 15, 16}; print("const source list: ", source); print("destination range: ", dest2); std::ranges::partial_sort_copy(source, dest2, std::greater{}); print("partial_sort_copy: ", dest2); }
出力
Write to the smaller vector in ascending order: const source list: 4 2 5 1 3 destination range: 10 11 12 partial_sort_copy: 1 2 3 Write to the larger vector in descending order: const source list: 4 2 5 1 3 destination range: 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) |
最大ヒープから最大の要素を削除する (アルゴリズム関数オブジェクト) |
| 要素の範囲をコピーして部分的にソートする (関数テンプレート) |
