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

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

アルゴリズムライブラリ

制約付きアルゴリズムと範囲に対するアルゴリズム (C++20)
コンセプトとユーティリティ: std::sortable, std::projected, ...
制約付きアルゴリズム: std::ranges::copy, std::ranges::sort, ...
実行ポリシー (C++17)
is_execution_policy (C++17)	execution::seqexecution::parexecution::par_unseqexecution::unseq (C++17)(C++17)(C++17)(C++20)	execution::sequenced_policyexecution::parallel_policyexecution::parallel_unsequenced_policyexecution::parallel_unsequenced (C++17)(C++17)(C++17)(C++20)
非変更シーケンス操作
all_ofany_ofnone_of (C++11)(C++11)(C++11) for_each for_each_n (C++17)	countcount_if mismatch equal adjacent_find	findfind_iffind_if_not (C++11) find_end find_first_of	search search_n lexicographical_compare lexicographical_compare_three_way (C++20)
変更シーケンス操作
copycopy_if (C++11) copy_n (C++11) copy_backward move (C++11) move_backward (C++11) shift_leftshift_right (C++20)(C++20) transform	fill fill_n generate generate_n swap iter_swap swap_ranges sample (C++17)	removeremove_if replacereplace_if reverse rotate unique random_shuffle (C++17未満)	remove_copyremove_copy_if replace_copyreplace_copy_if reverse_copy rotate_copy unique_copy shuffle (C++11)
未初期化記憶域の操作
uninitialized_copy uninitialized_move (C++17) uninitialized_fill	uninitialized_copy_n (C++11) uninitialized_move_n (C++17) uninitialized_fill_n	uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17)	uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17)
分割操作
is_partitioned (C++11) partition_point (C++11)	partition partition_copy (C++11)	stable_partition
ソート操作
is_sorted (C++11) is_sorted_until (C++11)	sort stable_sort	partial_sort partial_sort_copy	nth_element
二分探索操作
lower_bound	upper_bound	binary_search	equal_range
集合操作 (ソート済み範囲用)
merge inplace_merge	set_difference set_intersection	set_symmetric_difference set_union	includes
ヒープ操作
is_heap (C++11) is_heap_until (C++11)	make_heap sort_heap	push_heap pop_heap
最小/最大演算
max max_element	min min_element	minmax (C++11) minmax_element (C++11)	clamp (C++17)
順列
is_permutation (C++11)	next_permutation	prev_permutation
数値演算
iota (C++11) inner_product adjacent_difference	accumulate reduce (C++17) transform_reduce (C++17)	partial_sum inclusive_scan (C++17) exclusive_scan (C++17)	transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)
C のライブラリ
qsort	bsearch

 

制約付きアルゴリズム

非変更シーケンス操作
all_ofany_ofnone_of for_each	countcount_if mismatch equal	findfind_iffind_if_not find_end find_first_of	adjacent_find search search_n lexicographical_compare
変更シーケンス操作
copycopy_if copy_n copy_backward move move_backward transform	fill fill_n generate generate_n swap_ranges shuffle	removeremove_if replacereplace_if reverse rotate unique	remove_copyremove_copy_if replace_copyreplace_copy_if reverse_copy rotate_copy unique_copy
未初期化記憶域に対する操作
uninitialized_copy uninitialized_move uninitialized_fill	uninitialized_copy_n uninitialized_move_n uninitialized_fill_n	uninitialized_default_construct uninitialized_value_construct destroy	uninitialized_default_construct_n uninitialized_value_construct_n destroy_n
分割操作
is_partitioned partition_point	partition partition_copy	stable_partition
ソート操作
is_sorted is_sorted_until	sort stable_sort	partial_sort partial_sort_copy	nth_element
二分探索操作
lower_bound	upper_bound	binary_search	equal_range
集合操作 (ソート済み範囲用)
merge inplace_merge	set_difference set_intersection	set_symmetric_difference set_union	includes
ヒープ操作
is_heap is_heap_until	make_heap sort_heap	push_heap pop_heap
最小/最大演算
max max_element	min min_element	minmax minmax_element
順列
is_permutation	next_permutation	prev_permutation

 

C++20 ではほとんどのアルゴリズムの制約付きバージョンが名前空間 std::ranges で提供されます。 これらのアルゴリズムでは、範囲は iterator と sentinel の組としてまたは単一の range 引数として指定することができ、射影とメンバポインタの callable がサポートされます。 さらに、ほとんどのアルゴリズムの戻り値の型はアルゴリズムの実行中に計算される役に立つかもしれないすべての情報を返すように変更されています。

アルゴリズムのコンセプトとユーティリティ

ヘッダ <iterator> は共通アルゴリズム操作を制約付きにすることを容易にするために設計されたコンセプトおよび関連ユーティリティのセットを提供します。

ヘッダ <iterator> で定義
名前空間 std で定義
間接 callable コンセプト
indirectly_unary_invocableindirectly_regular_unary_invocable	呼び出し可能型が indirectly_readable 型を逆参照した結果を用いて呼ぶことができることを指定します (コンセプト)
indirect_unary_predicate	呼び出し可能型が indirectly_readable 型を逆参照した結果を用いて呼ばれたときに predicate を満たすことを指定します (コンセプト)
indirect_relation	callable 型が2つの indirectly_readable 型を逆参照した結果を用いて呼ばれたときに predicate を満たすことを指定します (コンセプト)
indirect_strict_weak_order	callable 型が2つの indirectly_readable を逆参照した結果を用いて呼ばれたときに strict_weak_order を満たすことを指定します (コンセプト)
共通アルゴリズム要件
indirectly_movable	indirectly_readable 型から indirectly_writable 型に値をムーブできることを指定します (コンセプト)
indirectly_movable_storable	indirectly_readable 型から indirectly_writable 型に値をムーブできることとそのムーブが中間オブジェクト経由で行うことができることを指定します (コンセプト)
indirectly_copyable	indirectly_readable 型から indirectly_writable 型に値をコピーできることを指定します (コンセプト)
indirectly_copyable_storable	indirectly_readable 型から indirectly_writable 型に値をコピーできることとそのコピーが中間オブジェクト経由で行うことができることを指定します (コンセプト)
indirectly_swappable	2つの indirectly_readable 型の参照先の値がスワップ可能であることを指定します (コンセプト)
indirectly_comparable	2つの indirectly_readable 型の参照先の値が比較できることを指定します (コンセプト)
permutable	その場で要素を並べ替えるアルゴリズムの共通の要件を指定します (コンセプト)
mergeable	要素をコピーすることによってソート済みシーケンスを出力シーケンスにマージするアルゴリズムの要件を指定します (コンセプト)
sortable	シーケンスを順序付きシーケンスに並び替えるアルゴリズムの共通の要件を指定します (コンセプト)
ユーティリティ
indirect_result_t	indirectly_readable 型の何らかの集合を逆参照した結果に対して callable オブジェクトを呼び出した結果を計算します (エイリアステンプレート)
projected	射影を受け取るアルゴリズムに対する制約を指定するためのヘルパーテンプレート (クラステンプレート)

制約付きアルゴリズム

ヘッダ <algorithm> で定義
名前空間 std::ranges で定義
非変更シーケンス操作
all_ofany_ofnone_of	指定範囲内の要素のすべて、1個以上、または0個に対して述語が true を返すかどうか調べます (ニーブロイド)
for_each	指定範囲の要素に関数を適用します (ニーブロイド)
countcount_if	特定の基準を満たす要素の数を返します (ニーブロイド)
mismatch	2つの範囲が異なる最初の位置を探します (ニーブロイド)
equal	2つの集合の要素が同じかどうか判定します (ニーブロイド)
lexicographical_compare	ある範囲が別の範囲より辞書順で小さい場合に true を返します (ニーブロイド)
findfind_iffind_if_not	特定の基準を満たす最初の要素を探します (ニーブロイド)
find_end	特定の範囲内の要素の最後のシーケンスを探します (ニーブロイド)
find_first_of	要素の集合のいずれかを検索します (ニーブロイド)
adjacent_find	最初の等しい (または指定の述語を満たす) 隣接する2つの項目を探します (ニーブロイド)
search	指定範囲の要素に対して検索を行います (ニーブロイド)
search_n	指定個数の連続する指定要素を指定範囲から検索します (ニーブロイド)
変更シーケンス操作
copycopy_if	指定範囲の要素を新しい位置にコピーします (ニーブロイド)
copy_n	指定個数の要素を新しい位置にコピーします (ニーブロイド)
copy_backward	指定範囲の要素を逆順にコピーします (ニーブロイド)
move	指定範囲の要素を新しい位置にムーブします (ニーブロイド)
move_backward	指定範囲の要素を新しい位置に逆順でムーブします (ニーブロイド)
fill	特定の値を指定範囲の要素に代入します (ニーブロイド)
fill_n	値を指定個数の要素に代入します (ニーブロイド)
transform	指定範囲の要素に関数を適用します (ニーブロイド)
generate	関数の結果を指定範囲に保存します (ニーブロイド)
generate_n	関数の N 回の適用の結果を保存します (ニーブロイド)
removeremove_if	特定の基準を満たす要素を削除します (ニーブロイド)
remove_copyremove_copy_if	特定の基準を満たす要素を省きながら指定範囲の要素をコピーします (ニーブロイド)
replacereplace_if	特定の基準を満たすすべての値を別の値に置き換えます (ニーブロイド)
replace_copyreplace_copy_if	特定の基準を満たす要素を別の値で置換しながら範囲をコピーします (ニーブロイド)
swap_ranges	2つの範囲の要素を入れ替えます (ニーブロイド)
reverse	指定範囲の要素の順序を反転させます (ニーブロイド)
reverse_copy	指定範囲の逆順のコピーを作成します (ニーブロイド)
rotate	指定範囲の要素の順序を回転させます (ニーブロイド)
rotate_copy	指定範囲の要素をコピーして回転させます (ニーブロイド)
shuffle	措定範囲の要素をランダムに並べ替えます (ニーブロイド)
unique	指定範囲の連続する重複要素を削除します (ニーブロイド)
unique_copy	連続する重複を含まない要素の範囲のコピーを作成します (ニーブロイド)
分割操作
is_partitioned	指定範囲が指定の述語で分割されているかどうか判定します (ニーブロイド)
partition	指定範囲の要素を2つのグループに分割します (ニーブロイド)
partition_copy	要素を2つのグループに分割しながら指定範囲をコピーします (ニーブロイド)
stable_partition	相対順序を維持しながら要素を2つのグループに分割します (ニーブロイド)
partition_point	分割済み範囲の分割点を探します (ニーブロイド)
ソート操作
is_sorted	指定範囲が昇順にソートされているかどうか調べます (ニーブロイド)
is_sorted_until	最も大きなソート済み部分範囲を探します (ニーブロイド)
sort	指定範囲を昇順にソートします (ニーブロイド)
partial_sort	指定範囲の最初の N 個の要素をソートします (ニーブロイド)
partial_sort_copy	指定範囲の要素をコピーして部分的にソートします (ニーブロイド)
stable_sort	等しい要素間の順序を維持しながら指定範囲の要素をソートします (ニーブロイド)
nth_element	指定要素で分割されることを保証しながら指定範囲を部分的にソートします (ニーブロイド)
二分探索操作 (ソート済み範囲用)
lower_bound	指定された値より小さくない最初の要素を指すイテレータを返します (ニーブロイド)
upper_bound	特定の値より大きい最初の要素を指すイテレータを返します (ニーブロイド)
binary_search	特定の範囲に要素が存在するかどうか判定します (ニーブロイド)
equal_range	特定のキーにマッチする要素の範囲を返します (ニーブロイド)
集合操作 (ソート済み範囲用)
merge	2つのソート済み範囲をマージします (ニーブロイド)
inplace_merge	2つの順序付き範囲をその場でマージします (ニーブロイド)
includes	ある集合が別の集合の部分集合であれば true を返します (ニーブロイド)
set_difference	2つの集合の差を計算します (ニーブロイド)
set_intersection	2つの集合の交差を計算します (ニーブロイド)
set_symmetric_difference	2つの集合の対称差を計算します (ニーブロイド)
set_union	2つの集合の和を計算します (ニーブロイド)
ヒープ操作
is_heap	指定された範囲が最大ヒープかどうか調べます (ニーブロイド)
is_heap_until	最大ヒープである最も大きな部分範囲を探します (ニーブロイド)
make_heap	指定範囲の要素から最大ヒープを作成します (ニーブロイド)
push_heap	最大ヒープに要素を追加します (ニーブロイド)
pop_heap	最大ヒープから最も大きな要素を削除します (ニーブロイド)
sort_heap	最大ヒープを昇順にソートされた要素の範囲に変換します (ニーブロイド)
最小/最大演算
max	指定された値の大きい方を返します (ニーブロイド)
max_element	指定範囲の最も大きな要素を返します (ニーブロイド)
min	指定された値の小さい方を返します (ニーブロイド)
min_element	指定範囲の最も小さな要素を返します (ニーブロイド)
minmax	2つの要素の小さい方と大きい方を返します (ニーブロイド)
minmax_element	指定範囲の最も小さな要素と最も大きな要素を返します (ニーブロイド)
順列操作
is_permutation	シーケンスが別のシーケンスの順列かどうか判定します (ニーブロイド)
next_permutation	指定範囲の要素より辞書的に大きな次の順列を生成します (ニーブロイド)
prev_permutation	指定範囲の要素より辞書的に小さな次の順列を生成します (ニーブロイド)

制約付き未初期化メモリアルゴリズム

ヘッダ <memory> で定義
名前空間 std::ranges で定義
uninitialized_copy (C++20)	メモリの未初期化領域に指定範囲のオブジェクトをコピーします (ニーブロイド)
uninitialized_copy_n (C++20)	メモリの未初期化領域に指定個数のオブジェクトをコピーします (ニーブロイド)
uninitialized_fill (C++20)	指定された範囲で定義されるメモリの未初期化領域にオブジェクトをコピーします (ニーブロイド)
uninitialized_fill_n (C++20)	指定された開始位置と個数で定義されるメモリの未初期化領域にオブジェクトをコピーします (ニーブロイド)
uninitialized_move (C++20)	メモリの未初期化領域に指定範囲のオブジェクトをムーブします (ニーブロイド)
uninitialized_move_n (C++20)	メモリの未初期化領域に指定個数のオブジェクトをムーブします (ニーブロイド)
uninitialized_default_construct (C++20)	指定された範囲で定義されるメモリの未初期化領域にデフォルト初期化でオブジェクトを構築します (ニーブロイド)
uninitialized_default_construct_n (C++20)	指定された開始位置と個数で定義されるメモリの未初期化領域にデフォルト初期化でオブジェクトを構築します (ニーブロイド)
uninitialized_value_construct (C++20)	指定された範囲で定義されるメモリの未初期化領域に値初期化でオブジェクトを構築します (ニーブロイド)
uninitialized_value_construct_n (C++20)	指定された開始位置と個数で定義されるメモリの未初期化領域に値初期化でオブジェクトを構築します (ニーブロイド)
destroy_at (C++20)	指定アドレスのオブジェクトを破棄します (ニーブロイド)
destroy (C++20)	指定範囲のオブジェクトを破棄します (ニーブロイド)
destroy_n (C++20)	指定個数のオブジェクトを破棄します (ニーブロイド)