制約付きアルゴリズム (C++20以降)

in_value_result(C++23)C++20は、名前空間 std::rangesstd::ranges 内のほとんどのアルゴリズムの制約付きバージョンを提供します。これらのアルゴリズムでは、レンジはイテレータ-センチネルペア、または単一のレンジ引数として指定でき、射影やメンバポインタ呼び出し可能オブジェクトがサポートされています。さらに、ほとんどのアルゴリズムの戻り値の型は、アルゴリズムの実行中に計算されたすべての有用な情報を返すように変更されています。

アルゴリズム関数オブジェクト

アルゴリズム関数オブジェクト (AFO) は、非公式に ニーブロイド  として知られ、一つ以上のオーバーロードされた関数テンプレートとして指定される カスタマイゼーションポイントオブジェクト (CPO) です。これらの関数テンプレートの名前は、対応するアルゴリズム関数オブジェクトを指定します。

アルゴリズム関数オブジェクト o について、S を対応する関数テンプレートの集合とします。そのとき、任意の引数列 args... に対して、o(args...) は 式等価 に s(args...) であり、ここで s の名前検索の結果はオーバーロード集合 S です。

名前空間 std::ranges 内の制約付きアルゴリズムは、アルゴリズム関数オブジェクトとして定義されています。その結果：

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

範囲パラメータ

いくつかのオーバーロードは range 引数を取り、それらは、別個のイテレータとセンチネル引数を取る名前空間 ranges 内の対応するオーバーロードにディスパッチすることによって実装されているかのように振る舞い、ここで各範囲引数 r について:

• 対応するイテレータ引数は ranges::begin(r) で初期化されます。

変更しないシーケンス操作

シーケンスを変更する操作

ソートおよび関連操作

数値演算

特殊化された<memory>アルゴリズム

特殊化された <random> アルゴリズム

戻り値の型

注釈

欠陥報告

以下の動作を変更する欠陥報告は、以前に公開されたC++標準に遡及的に適用されました。