std::for_each

ヘッダで定義 `<algorithm>`
template< class InputIt, class UnaryFunc > UnaryFunc for_each( InputIt first, InputIt last, UnaryFunc f );	(1)	(C++20 から constexpr)
template< class ExecutionPolicy, class ForwardIt, class UnaryFunc > void for_each( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last, UnaryFunc f );	(2)	(C++17 から)

指定された呼び出し可能オブジェクト f を、対象範囲 [first, last) の各要素に適用します。f が結果を返す場合、その結果は無視されます。

1) f は first から順に適用されます。

UnaryFunc が MoveConstructible でない場合、動作は未定義です。

(C++11 から)

2) f は順に適用されない可能性があります。アルゴリズムは policy に従って実行されます。

他の並列アルゴリズムとは異なり、for_each は対象範囲の要素の任意のコピーを作成することが許可されていません。

このオーバーロードは、以下の式の値が true である場合にのみオーバーロード解決に参加します。

`std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>`	(C++20 まで)
`std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>`	(C++20 から)

UnaryFunc が CopyConstructible でない場合、動作は未定義です。

パラメータ

first, last	-	ターゲット範囲を定義するイテレータのペア範囲
f	-	要素に適用される関数オブジェクト関数のシグネチャは以下と同等でなければなりません： `void fun(const Type &a);` シグネチャに `const &` を持つ必要はありません。型 `Type` は、型 `InputIt` のオブジェクトが逆参照され、その後暗黙的に `Type` に変換可能であるようなものでなければなりません。
ポリシー	-	使用する実行ポリシー
型要件
- `InputIt`はLegacyInputIteratorの要件を満たさなければならない。
- `ForwardIt`はLegacyForwardIteratorの要件を満たさなければならない。

戻り値

1) f

計算量

正確に std:: distance ( first, last ) 回の f の適用。

例外

2) 実行過程において：

並列化に必要な一時メモリリソースが利用できない場合、std::bad_allocが送出されます。
アルゴリズムの引数を介してオブジェクトにアクセス中にキャッチされない例外が送出された場合、動作は実行ポリシーによって決まります（標準ポリシーの場合、std::terminateが呼び出されます）。

ノート

イテレータの型 (InputIt/ForwardIt) が変更可能であれば、f はターゲット範囲内の要素を変更することができます。

オーバーロード (1) の場合、f は状態を持つ呼び出し可能オブジェクトにできます。戻り値はバッチ操作の最終状態とみなすことができます。

オーバーロード (2) の場合、並列呼び出しを実行するために f の複数のコピーが作成されることがあります。並列化では効率的な状態の蓄積が許可されないことが多いため、値は返されません。

実装例

実装例については libstdc++ 、 libc++ および MSVC stdlib も参照してください。

template<class InputIt, class UnaryFunc>
constexpr UnaryFunc for_each(InputIt first, InputIt last, UnaryFunc f)
{
    for (; first != last; ++first)
        f(*first);
    return f; // C++11以降は暗黙的なムーブ
}

例

次の例では、ラムダ式を使用してベクタのすべての要素をインクリメントし、次にオーバーロードされたoperator()を呼び出し可能オブジェクト内で使用してそれらの和を計算します。なお、和を計算するには、専用アルゴリズムのstd::accumulateを使用することをお勧めします。

このコードを実行

#include <algorithm>
#include <iostream>
#include <vector>
 
int main()
{
    std::vector<int> v{3, -4, 2, -8, 15, 267};
    
    auto print = [](const int& n) { std::cout << n << ' '; };
    
    std::cout << "before:\t";
    std::for_each(v.cbegin(), v.cend(), print);
    std::cout << '\n';
    
    // increment elements in-place
    std::for_each(v.begin(), v.end(), [](int &n) { n++; });
    
    std::cout << "after:\t";
    std::for_each(v.cbegin(), v.cend(), print);
    std::cout << '\n';
    
    struct Sum
    {
        void operator()(int n) { sum += n; }
        int sum {0};
    };
    
    // invoke Sum::operator() for each element
    Sum s = std::for_each(v.cbegin(), v.cend(), Sum());    
    std::cout << "sum:\t" << s.sum << '\n';
}

出力:

before:	3 -4 2 -8 15 267 
after:	4 -3 3 -7 16 268 
sum:	281

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR	適用対象	公開時の動作	正しい動作
LWG 475	C++98	反復処理中のシーケンス要素を f が変更できるか不明確であった（ `for_each` は「非変更シーケンス操作」に分類されていた）	明確化（イテレータ型がmutableの場合に許可）
LWG 2747	C++11	オーバーロード ( 1 ) が std :: move ( f ) を返していた	f を返す（暗黙的にmoveが行われる）

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

ranges::for_each (C++20)	単項を適用する関数オブジェクトをあるからの要素に範囲 (アルゴリズム関数オブジェクト)
for_each_n (C++17)	シーケンスの最初のN個の要素に関数オブジェクトを適用する (関数テンプレート & アルゴリズム関数オブジェクト)
ranges::for_each_n (C++20)	シーケンスの最初のN個の要素に関数オブジェクトを適用する (関数テンプレート & アルゴリズム関数オブジェクト)
transform	要素の範囲に関数を適用し、結果を出力範囲に格納する (関数テンプレート & アルゴリズム関数オブジェクト)
ranges::transform (C++20)	要素の範囲に関数を適用し、結果を出力範囲に格納する (関数テンプレート & アルゴリズム関数オブジェクト)
範囲-`for` ループ(C++11)	範囲に対してループを実行する

ja.cppreference.net

Namespaces

Variants

std::for_each

目次

パラメータ

戻り値

計算量

例外

ノート

実装例

例

不具合報告

関連項目