std::experimental::ranges::find, std::experimental::ranges::find_if, std::experimental::ranges::find_if_not

 

C++

コンパイラサポート

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

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

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

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

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

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

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

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

実験的

Technical Specification

ファイルシステムライブラリ (filesystem TS)

ライブラリ基本 (library fundamentals TS)

ライブラリ基本TS v2 (library fundamentals TS v2)

ライブラリ基本 3 (library fundamentals TS v3)

並列化拡張 (parallelism TS)

並列化拡張 2 (parallelism TS v2)

並行処理拡張 (concurrency TS)

並行処理拡張 2 (concurrency TS v2)

コンセプト (concepts TS)

Ranges (ranges TS)

リフレクション (reflection TS)

数学特殊関数 (special functions TR)

実験的 (非TS)

パターンマッチ

線形代数

std::execution

契約プログラミング

2Dグラフィックス

 

Ranges

コンセプト

汎用ユーティリティ

イテレータ

Ranges

アルゴリズム

 

アルゴリズムライブラリ

シーケンスを変更しない操作
all_ofany_ofnone_of countcount_if	findfind_iffind_if_not find_end find_first_of	adjacent_find search search_n mismatch	equal for_each lexicographical_compare
シーケンスを変更する操作
copycopy_if copy_n copy_backward move move_backward	fill fill_n generate generate_n swap_ranges shuffle transform	removeremove_if replacereplace_if reverse rotate unique	remove_copyremove_copy_if replace_copyreplace_copy_if reverse_copy rotate_copy unique_copy
パーティション操作
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	includes	set_difference set_intersection	set_symmetric_difference set_union
ヒープ操作
is_heap is_heap_until	make_heap sort_heap	push_heap pop_heap
最小/最大操作
max max_element	min min_element	minmax minmax_element
置換 (Permutations)
is_permutation	next_permutation	prev_permutation

 

Defined in header <experimental/ranges/algorithm>
template< InputIterator I, Sentinel<I> S, class T, class Proj = ranges::identity >     requires IndirectRelation<ranges::equal_to<>, projected<I, Proj>, const T*> I find( I first, S last, const T& value, Proj proj = Proj{} );	(1)	(ranges TS)
template< InputRange R, class T, class Proj = ranges::identity >     requires IndirectRelation<ranges::equal_to<>,                               projected<ranges::iterator_t<R>, Proj>, const T*> ranges::safe_iterator_t<R> find( R&& r, const T& value, Proj proj = Proj{} );	(2)	(ranges TS)
template< InputIterator I, Sentinel<I> S, class Proj = ranges::identity,           IndirectUnaryPredicate<projected<I, Proj>> Pred > I find_if( I first, S last, Pred pred, Proj proj = Proj{} );	(3)	(ranges TS)
template< InputRange R, class Proj = ranges::identity,           IndirectUnaryPredicate<projected<ranges::iterator_t<R>, Proj>> Pred > ranges::safe_iterator_t<R> find_if( R&& r, Pred pred, Proj proj = Proj{} );	(4)	(ranges TS)
template< InputIterator I, Sentinel<I> S, class Proj = ranges::identity,           IndirectUnaryPredicate<projected<I, Proj>> Pred > I find_if_not( I first, S last, Pred pred, Proj proj = Proj{} );	(5)	(ranges TS)
template< InputRange R, class Proj = ranges::identity,           IndirectUnaryPredicate<projected<ranges::iterator_t<R>, Proj>> Pred > ranges::safe_iterator_t<R> find_if_not( R&& r, Pred pred, Proj proj = Proj{} );	(6)	(ranges TS)

特定の基準を満たす範囲 [first, last) 内の最初の要素を返します

1) find は、投影された値が value に等しい要素（つまり、value == ranges::invoke(proj, *i)）を検索します。

3) find_if は、投影された値に対して述語 p が true を返す要素（つまり、ranges::invoke(pred, ranges::invoke(proj, *i))）が true となる要素）を検索します。

5) find_if_not は、投影された値に対して述語 q が false を返す要素（つまり、ranges::invoke(pred, ranges::invoke(proj, *i))）が false となる要素）を検索します。

2,4,6) (1,3,5) と同じですが、r をソース範囲として使用します。これは、ranges::begin(r) を first として、ranges::end(r) を last として使用するかのようです。

上記に示された宣言にもかかわらず、アルゴリズム宣言のテンプレートパラメータの実際の数と順序は未指定です。したがって、アルゴリズムを呼び出す際に明示的なテンプレート引数を使用すると、プログラムはおそらくポータブルではありません。

パラメータ

first, last	-	調査する要素の範囲
r	-	調査する要素の範囲
value	-	比較対象の投影された要素の値
pred	-	射影された要素に適用する述語
proj	-	要素に適用する射影

戻り値

条件を満たす最初の要素へのイテレータ。そのような要素が見つからなかった場合は、last と等価なイテレータを返します。

計算量

述語と投影の適用回数は最大で last - first 回です。

可能な実装

最初のバージョン
template<InputIterator I, Sentinel<I> S, class T, class Proj = ranges::identity> requires IndirectRelation<ranges::equal_to<>, projected<I, Proj>, const T*> I find(I first, S last, const T& value, Proj proj = Proj{}) { for (; first != last; ++first) if (ranges::invoke(proj, *first) == value) break; return first; }
2番目のバージョン
template<InputIterator I, Sentinel<I> S, class Proj = ranges::identity, IndirectUnaryPredicate<projected<I, Proj>> Pred> I find_if(I first, S last, Pred pred, Proj proj = Proj{}) { for (; first != last; ++first) if (ranges::invoke(pred, ranges::invoke(proj, *first))) break; return first; }
第3版
template<InputIterator I, Sentinel<I> S, class Proj = ranges::identity, IndirectUnaryPredicate<projected<I, Proj>> Pred> I find_if_not(I first, S last, Pred pred, Proj proj = Proj{}) { for (; first != last; ++first) if (!ranges::invoke(pred, ranges::invoke(proj, *first))) break; return first; }

関連項目

findfind_iffind_if_not (C++11)	特定の基準を満たす最初の要素を見つける (関数テンプレート)
adjacent_find	等しい（または指定された述語を満たす）最初の2つの隣接する項目を見つける (function template)
find_end	特定の範囲内で最後の要素のシーケンスを見つける (function template)
find_first_of	要素の集合のうちいずれか1つを検索する (function template)
mismatch	2つの範囲が異なる最初の位置を見つける (function template)
search	要素の範囲を検索します。 (function template)