std::ranges::partial_sort

ヘッダで定義 `<algorithm>`
呼び出しシグネチャ
template< std::random_access_iterator I, std::sentinel_for<I> S, class Comp = ranges::less, class Proj = std::identity > requires std::sortable<I, Comp, Proj> constexpr I partial_sort( I first, I middle, S last, Comp comp = {}, Proj proj = {} );	(1)	(C++20 から)
template< ranges::random_access_range R, class Comp = ranges::less, class Proj = std::identity > requires std::sortable<ranges::iterator_t<R>, Comp, Proj> constexpr ranges::borrowed_iterator_t<R> partial_sort( R&& r, ranges::iterator_t<R> middle, Comp comp = {}, Proj proj = {} );	(2)	(C++20 から)

1) 範囲 [first, middle) 内の最小の middle - first 個の要素がソートされて含まれるように要素を並べ替えます。[first, last).

等しい要素の順序は保存されることは保証されない。範囲 [middle, last) 内の残りの要素の順序は未規定です。

要素は指定された二項比較関数 comp を使用して比較され、proj 関数オブジェクトを使用して射影されます。

2) (1) と同じですが、範囲として r を使用し、あたかも ranges::begin(r) を first として、ranges::end(r) を last として使用するかのように動作します。

このページで説明されている関数のようなエンティティは、アルゴリズム関数オブジェクト (非公式には niebloid として知られています) です。つまり:

それらのいずれかを呼び出すときに明示的なテンプレート引数リストを指定することはできません。
それらは引数依存の名前検索では見えません。
それらのいずれかが関数呼び出し演算子の左側の名前として通常の非修飾名検索によって見つかった場合、引数依存の名前検索は抑制されます。

パラメータ

first, last	-	要素を並べ替える範囲を定義するイテレータ-番兵のペア
r	-	並べ替える要素の範囲
middle	-	`[` first `,` middle `)` の範囲がソートされる
comp	-	投影された要素に適用する比較関数
proj	-	要素に適用する投影関数

戻り値

last に等しいイテレータ。

計算量

$𝓞(N\cdotlog(M))$ 回の比較と2倍の射影演算を実行します。ここで $\scriptsize N$ $N$ は ranges:: distance ( first, last ) 、 $\scriptsize M$ $M$ は ranges:: distance ( first, middle ) です。

実装例

struct partial_sort_fn
{
    template<std::random_access_iterator I, std::sentinel_for<I> S,
             class Comp = ranges::less, class Proj = std::identity>
    requires std::sortable<I, Comp, Proj>
    constexpr I
        operator()(I first, I middle, S last, Comp comp = {}, Proj proj = {}) const
    {
        if (first == middle)
            return ranges::next(first, last);
        ranges::make_heap(first, middle, comp, proj);
        auto it {middle};
        for (; it != last; ++it)
        {
            if (std::invoke(comp, std::invoke(proj, *it), std::invoke(proj, *first)))
            {
                ranges::pop_heap(first, middle, comp, proj);
                ranges::iter_swap(middle - 1, it);
                ranges::push_heap(first, middle, comp, proj);
            {
        }
        ranges::sort_heap(first, middle, comp, proj);
        return it;
    }
    template<ranges::random_access_range R, class Comp = ranges::less,
             class Proj = std::identity>
    requires std::sortable<ranges::iterator_t<R>, Comp, Proj>
    constexpr ranges::borrowed_iterator_t<R>
        operator()(R&& r, ranges::iterator_t<R> middle, Comp comp = {}, Proj proj = {}) const
    {
        return (*this)(ranges::begin(r), std::move(middle), ranges::end(r),
                       std::move(comp), std::move(proj));
    }
};
inline constexpr partial_sort_fn partial_sort {};

**注記**: 提供されたコードはC++のコードスニペットであり、HTMLタグ内の`

`および``タグで囲まれているため、指示に従って翻訳対象外としました。C++のキーワード、関数名、テンプレートパラメータなどはすべて原文のまま保持されています。

例

このコードを実行

#include <algorithm>
#include <functional>
#include <iostream>
#include <string>
#include <vector>
void print(const auto& v)
{
    for (const char e : v)
        std::cout << e << ' ';
    std::cout << '\n';
}
void underscore(int n)
{
    while (n-- > 0)
        std::cout << "^ ";
    std::cout << '\n';
}
int main()
{
    static_assert('A' < 'a');
    std::vector<char> v {'x', 'P', 'y', 'C', 'z', 'w', 'P', 'o'};
    print(v);
    const int m {3};
    std::ranges::partial_sort(v, v.begin() + m);
    print(v), underscore(m);
    static_assert('1' < 'a');
    std::string s {"3a1b41c5"};
    print(s);
    std::ranges::partial_sort(s.begin(), s.begin() + m, s.end(), std::greater {});
    print(s), underscore(m);
}

出力:

x P y C z w P o
C P P y z x w o
^ ^ ^
3 a 1 b 4 1 c 5
c b a 1 3 1 4 5
^ ^ ^

コンパイラサポート
フリースタンディングとホスト環境
言語
標準ライブラリ
標準ライブラリヘッダ
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
ranges ライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時間ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行処理サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
技術仕様書
シンボルインデックス
外部ライブラリ

ranges::partial_sort_copy (C++20)	範囲の要素をコピーして部分ソートする (アルゴリズム関数オブジェクト)
ranges::sort (C++20)	範囲の要素をソートする (アルゴリズム関数オブジェクト)
ranges::stable_sort (C++20)	範囲の要素をソートし、等価な要素間の相対順序を保持する (アルゴリズム関数オブジェクト)
ranges::nth_element (C++20)	範囲がソートされた場合のN番目の要素を見つける (アルゴリズム関数オブジェクト)
ranges::make_heap (C++20)	範囲の要素から最大ヒープを作成する (アルゴリズム関数オブジェクト)
ranges::pop_heap (C++20)	最大ヒープから最大の要素を削除する (アルゴリズム関数オブジェクト)
ranges::push_heap (C++20)	最大ヒープに要素を追加する (アルゴリズム関数オブジェクト)
ranges::sort_heap (C++20)	最大ヒープをソートされた要素の範囲に変換する (アルゴリズム関数オブジェクト)
partial_sort	範囲の最初のN個の要素をソートする (関数テンプレート)

ja.cppreference.net

Namespaces

Variants

std::ranges::partial_sort

目次

パラメータ

戻り値

計算量

実装例

例

関連項目