C++のラムダ式の基本と使い方を徹底解説

C++のSTLには、std::for_eachのような便利な汎用関数が数多く含まれています。しかし残念ながら、これらの関数は使い勝手がやや煩雑な場合があります。特に、特定の関数にしか使わない一意のファンクタ（関数オブジェクト）を適用したい場合には、その場限りの処理のためだけに名前空間内で関数を定義する必要があり、コードが冗長になりがちです。

このような問題を解決するのが「匿名関数（無名関数）」です。C++11ではラムダ式が導入され、その場で簡潔に匿名関数を作成できるようになりました。

ラムダ式の基本的な例

以下は、for_eachと組み合わせてラムダ式を使用するシンプルな例です。

#include<iostream>
#include<vector>
#include <algorithm> // for_each
using namespace std;

int main() {
    vector<int> myvector;
    myvector.push_back(1);
    myvector.push_back(2);
    myvector.push_back(3);

    for_each(myvector.begin(), myvector.end(), [](int x) {
        cout << x*x << endl;
    });
}

実行結果

1
4
9

この例では、ベクター内の各要素に対して2乗した値が出力されます。[](int x)の部分がラムダ式であり、各要素が引数xとして渡され、その2乗が表示されています。

ラムダ式の構成要素

引数の定義

(int x)の部分は、ラムダ式が呼び出される際に受け取る引数を定義しています。通常の関数と同様に、複数の引数を指定することも可能です。

キャプチャ（変数の捕捉）

[]の部分は、ローカルスコープからラムダ式の内部スコープへ変数を受け渡すために使用され、これを「キャプチャ」と呼びます。キャプチャの主な指定方法は以下の通りです。

• []：何もキャプチャしない
• [=]：使用するすべての変数を値渡しでキャプチャ
• [&]：使用するすべての変数を参照渡しでキャプチャ
• [x, &y]：xは値渡し、yは参照渡しで個別に指定

戻り値の型指定

単純なラムダ式であれば、戻り値の型はコンパイラが自動的に推論してくれます。しかし、明示的に型を指定したい場合は、以下のように->を使って記述します。

[](int x) -> double {
    return x / 2.0;
}

このように書くことで、戻り値がdouble型であることを明確に示せます。

まとめ

ラムダ式を使用することで、その場限りの小さな処理を簡潔に記述でき、コードの可読性と保守性が大幅に向上します。STLのアルゴリズム関数と組み合わせれば、ファンクタを別途定義する手間も省け、よりモダンで効率的なC++プログラミングが可能になります。