std::experimental::ranges::for_each

 

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 Proj = ranges::identity,           IndirectUnaryInvocable<projected<I, Proj>> Fun > ranges::tagged_pair<tag::in(I), tag::fun(Fun)>     for_each( I first, S last, Fun f, Proj proj = Proj{} );	(1)	(ranges TS)
template< InputRange R, class Proj = ranges::identity,           IndirectUnaryInvocable<projected<ranges::iterator_t<R>, Proj>> Fun > ranges::tagged_pair<tag::in(ranges::safe_iterator_t<R>), tag::fun(Fun)>     for_each( R&& r, Fun f, Proj proj = Proj{} );	(2)	(ranges TS)

1) 与えられた関数オブジェクトfを、範囲 [first, last) 内の各イテレータを逆参照した結果（すなわち、ranges::invoke(f, ranges::invoke(proj, *i))）に適用します。順番に適用されます。

2) (1) と同様ですが、ソース範囲としてrを使用し、あたかも ranges::begin(r) を first として、ranges::end(r) を last として使用するかのようです。

両方のオーバーロードにおいて、イテレータ型がミュータブルである場合、f は、逆参照されたイテレータを通じて範囲の要素を変更する可能性があります。f が結果を返す場合、その結果は無視されます。

他のアルゴリズムとは異なり、for_each は、要素がトリビアルにコピー可能であっても、シーケンスの要素のコピーを作成することは許可されていません。

std::for_each（MoveConstructible のみが必要）とは異なり、これらの関数は Fun が CopyConstructible をモデル化することを要求します。

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

パラメータ

first, last	-	関数を適用する範囲
r	-	関数を適用する範囲
f	-	範囲内の各投影された要素に適用される呼び出し可能なオブジェクト
proj	-	要素に適用する射影

戻り値

以下の2つのメンバーを含む `tagged_pair` オブジェクト

• `tag::in` タグを持つ最初のメンバーは、ソース範囲の末尾を過ぎたイテレータです（つまり、セマンティック last と等価な `I` 型のイテレータ）。
• `tag::fun` タグを持つ2番目のメンバーは、`std::move(f)` から初期化されます（関数オブジェクトのすべての適用後）。

計算量

f および proj の適用は、ちょうど last - first 回です。

考えられる実装

template<InputIterator I, Sentinel<I> S, class Proj = ranges::identity, IndirectUnaryInvocable<ranges::projected<I, Proj>> Fun> auto for_each(I first, S last, Fun f, Proj proj = Proj{}) -> ranges::tagged_pair<tag::in(I), tag::fun(Fun)> { for (; first != last; ++first) ranges::invoke(f, ranges::invoke(proj, *first)); return {std::move(first), std::move(f)}; }

関連項目

transform	要素の範囲に関数を適用する (function template)
範囲forループ(C++11)	範囲に対するループを実行する
for_each	範囲内の要素に単項関数オブジェクトを適用する (関数テンプレート)
for_each_n (C++17)	シーケンスの最初のN個の要素に関数オブジェクトを適用する (関数テンプレート)