最終更新日時(UTC):
が更新

履歴 編集

ラムダ式(C++11)

概要

「ラムダ式(lambda expressions)」は、簡易的な関数オブジェクトをその場で定義するための機能である。

この機能によって、「高階関数(関数を引数もしくは戻り値とする関数)」をより使いやすくできる。

auto plus = [](int a, int b) { return a + b; };
int result = plus(2, 3); // result == 5

ここでは、[](int a, int b) { return a + b; }というコードがラムダ式に当たる。このラムダ式は、「int型のパラメータを2つとり、それらを足し合わせたint型オブジェクトを返す関数オブジェクト」を定義している。ここでは戻り値の型を明記していないが、その場合はラムダ式のreturn文から、戻り値の型が推論される。

このラムダ式によって、その場に以下のような関数オブジェクトが定義される:

struct F {
  auto operator()(int a, int b) const -> decltype(a + b)
  {
     return a + b;
  }
};

ラムダ式によって自動的に定義される関数オブジェクトは、それぞれが一意な型名を持ち、その型名をユーザーが知る方法はない。そのため、ラムダ式によって定義された関数オブジェクトを変数に持つためには、autoを使用して型推論するか、std::functionクラスの変数に保持するかの、いずれかの方法をとることになる。

ラムダ式からその外側の変数を使用するには、「キャプチャ(capture)」という機能を使用する。ラムダ式の先頭にある[ ]は「ラムダ導入子(lambda-introducer)」と呼ばれ、どの変数をどのようにキャプチャするかを、このラムダ導入子のなかで指定する。キャプチャの方式としては、参照かコピーのいずれかを選択できる。

void f()
{
  int x = 3;

  // この時点で見える自動変数を参照でキャプチャし、
  // 参照した変数xを書き換える
  auto f = [&] { x = 1; };

  // 個別にキャプチャ方法を指定する場合は、
  // 以下のように、&の次に変数名を指定する
  // auto f = [&x] { x = 1; };

  f(); // x == 1
}

void g()
{
  int x = 3;

  // この時点で見える自動変数をコピーでキャプチャし、
  // コピーした変数xをラムダ式内で使用する
  auto f = [=] { return x + 1; };

  // 個別にキャプチャ方法を指定する場合は、
  // 以下のように、変数名を指定する
  // auto f = [x] { return x + 1; };

  int result = f(); // result == 4
}

仕様

構文

[キャプチャリスト](パラメータリスト) mutable 例外仕様 属性 -> 戻り値の型 { 関数の本体 }

このうち、以下は省略可能である:

  • パラメータ、mutable、例外仕様、属性、戻り値の型のいずれも明示的に指定しない場合は、パラメータリストの丸カッコを省略できる
  • コピーキャプチャした変数を書き換える必要がない場合、mutableを省略できる
  • 例外仕様を指定しない場合、それを省略できる
  • 属性を指定しない場合、それを省略できる
  • 戻り値の型を推論に任せる場合、->記号および戻り値の型を省略できる

もっとも短いラムダ式は、以下のようになる:

[]{}

このラムダ式は、なにもキャプチャせず、パラメータを受け取らず、なにも処理せず、戻り値の型がvoidである関数オブジェクトを定義する。

ラムダ式の記述に関する制限として、「ラムダ式は、評価されないオペランドに現れてはならない」というものがある。そのため、decltypesizeofnoexceptalignasのオペランドにはラムダ式を指定できない。

クロージャオブジェクト

ラムダ式は、その場に関数オブジェクトのクラスを定義し、その一時オブジェクトを生成する。関数オブジェクトのクラスを「クロージャ型(closure type)」、その一時オブジェクトを「クロージャオブジェクト(closure object)」という。これらには、以下の特徴がある:

  • ラムダ式ごとに、一意な名前の関数オブジェクトが定義される
  • publicなコピーコンストラクタを持つ
  • publicなムーブコンストラクタを持つ
  • デフォルトコンストラクタを持たない
  • コピー代入演算子はdelete定義される
  • 関数呼び出し演算子は、以下の特徴を持つ:
    • ラムダ式をmutable修飾しない限り、デフォルトでconstメンバ関数として定義される
    • virtual
    • volatile
    • インライン関数
    • ラムダ式と同じパラメータリストの型、および戻り値の型を持つ
  • キャプチャをしないラムダ式の場合、ラムダ式と同じシグニチャを持つ関数ポインタへの変換演算子を持つ
  • クロージャオブジェクトのサイズは未規定

キャプチャ

ラムダ式には、ラムダ式の外にある自動変数を、ラムダ式内で参照できるようにする「キャプチャ(capture)」という機能がある。キャプチャは、ラムダ導入子(lambda-introducer)と呼ばれる、ラムダ式の先頭にある[ ]ブロックのなかで指定する。

キャプチャには、コピーキャプチャと参照キャプチャがあり、デフォルトでどの方式でキャプチャし、個別の変数をどの方式でキャプチャするかを指定できる。

キャプチャ記法 説明
[&] デフォルトで環境にある変数を参照して、ラムダ式のなかで使用する
[=] デフォルトで環境にある変数をコピーして、ラムダ式のなかで使用する
[&x] 変数xを参照して、ラムダ式のなかで使用する
[x] 変数xをコピーして、ラムダ式のなかで使用する
[&, x] デフォルトで参照キャプチャ、変数xのみコピーして、ラムダ式のなかで使用する
[=, &x] デフォルトでコピーキャプチャ、変数xのみ参照して、ラムダ式のなかで使用する
[this] *thisのメンバを参照して、ラムダ式のなかで使用する
[this, x] *thisのメンバを参照し、変数xのみコピーして、ラムダ式のなかで使用する

#include <iostream>

// コピーキャプチャの例
void copy_capture_example()
{
  int a = 0;
  auto f = [a] { return a; }; // 変数aをコピーキャプチャする

  a = 1;

  // ラムダ式を定義した時点での変数aがコピーされ、使用されるので、
  // ラムダ式のなかでは、変数aの値は0となる
  int result = f(); // result == 0
  std::cout << result << std::endl;
}

// 参照キャプチャの例
void reference_capture_example()
{
  int a = 0;
  auto f = [&a] { return a; }; // 変数aを参照キャプチャする

  a = 1;

  // 参照キャプチャした変数は、ラムダ式を実行する時点での値となるので、
  // ラムダ式のなかでは、変数aの値は1となる
  int result = f(); // result == 1
  std::cout << result << std::endl;
}

int main()
{
  copy_capture_example();
  reference_capture_example();
}

デフォルトのキャプチャ方法はひとつしか指定できない。変数個別のキャプチャ方法は、カンマ区切りで複数指定できる。

コピーキャプチャによる変数のコピーは、ラムダ式によって関数オブジェクトを定義した時点で行われる。

thisをキャプチャした場合、ラムダ式によって定義された関数オブジェクトはthisのクラスのfriendという扱いとなり、privateメンバにもアクセスできる。

#include <iostream>

class X {
  int member_value_ = 3;
public:
  void foo()
  {
    int copy_value = 4;

    auto f = [this, copy_value] {
      member_value_ = 5; // メンバ変数を参照する
      bar(); // メンバ関数を呼び出す

      return copy_value * 2; // コピーキャプチャしたローカル変数を使用する
    };

    int result = f();
    std::cout << "member_value_ : " << member_value_ << std::endl;
    std::cout << "result : " << result << std::endl;
  }

private:
  void bar()
  {
    std::cout << "bar" << std::endl;
  }
};

int main()
{
  X().foo();
}

出力 :

bar
member_value_ : 5
result : 8

ラムダ式がひとつ以上の変数を参照キャプチャしている場合、参照している変数の寿命が切れたあとの、ラムダ式のコピーと呼び出しの動作は未定義

#include <functional>

std::function<int(int)> foo()
{
  int n = 3;
  return [&n](int i) -> int { return n + i; };
}

int main()
{
  foo()(2); // 未定義の振る舞い
}

ラムダ式がデフォルト引数に現れる場合、いかなるキャプチャもしてはならない。

void foo()
{
  int x = 3;

  // ローカル関数の宣言
  void f1(int = ([x]{ return x; })()); // コンパイルエラー
  void f2(int = ([x]{ return 0; })()); // コンパイルエラー
  void f3(int = ([=]{ return x; })()); // コンパイルエラー
  void f4(int = ([=]{ return 0; })()); // OK : デフォルトキャプチャしたが、使用していない
  void f5(int = ([]{ return sizeof(x); })()); // OK : キャプチャなし
}

パラメータパックを個別キャプチャする際は、...で展開する。

template <class... Args>
void bar(Args...) {}

template <class... Args>
void foo(Args... args)
{
  auto f = [args...] { bar(args...); };
  f();
}

パラメータリストの制限

ラムダ式のパラメータには、テンプレートは使用できない。そのため、具体的な型を指定する必要がある。

mutable

キャプチャした変数はクロージャオブジェクトのメンバ変数と見なされ、クロージャオブジェクトの関数呼び出し演算子は、デフォルトでconst修飾される。そのため、コピーキャプチャした変数をラムダ式のなかで書き換えることはできない。

int rate = 2;
[rate](int x) -> int { return x * ++rate; } // エラー!rate変数を書き換えることはできない

コピーキャプチャした変数を書き換えたい場合は、ラムダ式のパラメータリストの後ろにmutableと記述する。

int rate = 2;
[rate](int x) mutable -> int { return x * ++rate; } // OK

戻り値型の推論

戻り値の型を省略した場合、その戻り値型は、関数本体のreturn文から推論される。

return文がない場合、および、return文にオペランドが無い場合は、戻り値の型はvoidになる。

return文にオペランドがある場合は、return文に指定した式の型に対して、decayを適用した型が戻り値の型となる。

複数のreturn文がある場合には、すべてのreturn文に対して前述の方法で戻り値の型を推論し、それらが全て同じ型の場合にはその型が戻り値の型となるが、そうでない場合プログラムは不適格となる。

return文に初期化子リストが指定された場合、プログラムは不適格となる。

int main()
{
  auto f1 = []{};            // 戻り値の型はvoid
  auto f2 = []{ return 1; }; // 戻り値の型はint

  auto f3 = [] {
    static int ar[3] = {1, 2, 3};
    return ar;
  }; // 戻り値の型はint*

  auto f4 = [] {
    int x = 3;
    const int& cx = x;

    if (true)
      return x;
    else
      return cx;
  }; // 戻り値の型は、intとconst int&の共通の型であるint

  // コンパイルエラー: {1, 2}は式ではない(std::initializer_listには推論されない)
  // auto f5 = [] { return {1, 2}; };
}

関数ポインタへの変換

キャプチャを含まない(つまり状態を持たない)ラムダ式によって生成されたクロージャオブジェクトは、同じパラメータ型と戻り値型のシグニチャを持つ関数ポインタに変換できる。

#include <iostream>

void foo(int(*fp)(int, int))
{
  int result = fp(2, 3);
  std::cout << result << std::endl;
}

int main()
{
  foo([](int a, int b) { return a + b; });
}

出力 :

5

アルゴリズムの引数として関数を渡す

#include <iostream>
#include <vector>
#include <algorithm>

int main()
{
  std::vector<int> v = {1, 2, 3, 4, 5};

  // 条件一致する最初の要素を検索する
  decltype(v)::iterator it = std::find_if(
                               v.begin(),
                               v.end(),
                               [](int x) { return x % 2 == 0; }
                             );

  // 見つかった
  if (it != v.end()) {
    int found_value = *it;
    std::cout << found_value << std::endl;
  }
}

出力

2

処理が完了したことが通知されるハンドラを引数として渡す

#include <iostream>
#include <functional>

void proc(std::function<void()> on_complete)
{
  // …時間のかかる処理…
  for (int i = 0; i < 10; ++i) {
    std::cout << i << std::endl;
  }

  // 完了ハンドラを呼び出す
  on_complete();
}

int main()
{
  // 処理が完了したときに呼ばれる関数を指定する
  proc([] {
    std::cout << "complete" << std::endl;
  });
}

出力

0
1
2
3
4
5
6
7
8
9
complete

この機能が必要になった背景・経緯

ラムダ式が標準C++に最初に提案された2006年当時、多くのプログラミング言語が、コードブロックを引数として関数に渡す機能を用意していた。たとえば、Algol 68はdownward funargsという機能を持っていたし、Lispはクロージャ(closure)、Smalltalkはパラメータとして渡してあとで実行する「コードブロック」と呼ばれる機能を、C# 2.0 (クロージャ)やJava (匿名クラス)も同様の機能を持っていた。これらの概念は、C++においてもBoost.LambdaやBoost.Bindといったライブラリ実装で導入が試みられてきた。

C++には、関数を第一級オブジェクトとして扱う「関数オブジェクト(function objects)」という機能があり、これによって関数を引数または戻り値として使用できた。関数オブジェクトをさらに扱いやすくするために、Boost C++ Librariesから提案されたbind()関数やfunctionクラスを、標準ライブラリに導入した。

標準C++のアルゴリズムライブラリには、関数を引数とするものが多くある。それらは各問題を解くために非常に有用ではあったが、アルゴリズムを使用するたびに関数オブジェクトを定義することは非常に冗長で使いにくかった。アルゴリズムをより使いやすくするための言語サポートとして、ラムダ式が導入されることとなった。

なお、Boost.LambdaやCLAMP(C++ Lambda Preprocessor)のように、ライブラリ実装でラムダ式を標準C++に導入することも検討されたが、以下の理由から、言語サポートすることとなった:

  • ライブラリ実装の場合は、演算子オーバーロードで実現することになるが、それには多くの制限がある
    • 変数宣言、条件分岐、ループなどをライブラリで定義するのは難しい
  • ライブラリ実装は、言語サポートする場合に比べて、コンパイル時間が長くなる。
  • ライブラリ実装は、コンパイルエラーのメッセージが複雑になる
  • 最も重要なことは、ラムダライブラリは、一般的な状況でもユーザーが理解して使用するのが難しい

検討されたほかの選択肢

ラムダ式の構文は、段階的にいくつかのバリエーションが考えられた。

第1案

第1案は、以下のような構文。

ret_type(type1 value1, type2 value2, ...) { statements }

このときの構文では、コピーキャプチャと参照キャプチャといった使い分けはできず、全ての変数が参照キャプチャされるようになっていた。

void f(int x)
{
  std::vector<int> v;
  // ...
  std::remove_if(v.begin(), v.end(), void (int& n) { n < x; });
}

この構文の問題点は、先に述べたコピーキャプチャと参照キャプチャの使い分けができない、といったもののほか、構文解析が難しいというのもある。

第2案

第2案は、以下のような構文。

<>(type1 value1, type2 value2, ...) -> ret_type extern(local-val-list) { statements }

<>記号を、構文解析のためのマーキングとし、ラムダ式の開始と見なすようになった。そのほか、externキーワード後の丸カッコに変数を指定することで、その変数を参照キャプチャする機能が追加された。externに指定しない変数はコピーとしてキャプチャされるが、externに指定した変数は参照キャプチャされる。

void f()
{
  int sum = 0;
  for_each(a.begin(), a.end(), <>(int x) -> void extern(sum) { sum += x; });
}

戻り値の型-> ret_typeを省略した場合は、ラムダ式のreturn文から戻り値の型が推論される。

第3案

第3案は、以下のような構文。

<>(parameter-list ; capture-list) -> ret_type ( single-expression )
<&>(parameter-list ; capture-list) -> ret_type ( single-expression )

<>(parameter-list ; capture-list) -> ret_type { statements }
<&>(parameter-list ; capture-list) -> ret_type { statements }

まず、externによる参照キャプチャが廃止され、パラメータリストの丸カッコのなかに、パラメータとキャプチャをセミコロン(;)区切りで指定することになった。

double array[] = { 1.0, 2.1, 3.3, 4.4 };
double sum = 0; int factor = 2;
for_each(array, array + 4, <>(double d ; &sum, factor) ( sum += factor  d ));

参照キャプチャする場合は、変数名の先頭に&を付け、コピーキャプチャする場合は変数名のみを指定する。

変数を個別にキャプチャする方法のほかに、デフォルトで参照キャプチャする機能も追加された。これには、ラムダ式の先頭を<>の代わりに<&>にする。

double array[] = { 1.0, 2.1, 3.3, 4.4 };
double sum = 0; int factor = 2;
for_each(array, array + 4, <&>(double d) ( sum += factor  d ));

ここでは、関数の本体に丸カッコを使用している。これは、関数の本体がひとつの式だけで成り立つ場合に使用する。2つ以上の式や文がある場合は、波カッコを使用する。

第4案

第3案では<&>という、デフォルトで参照キャプチャする方法が考えられたが、第4案では以下のデフォルトキャプチャが考えられた。

  1. <.> : デフォルトキャプチャを持たない
  2. <&> : デフォルトで参照キャプチャ
  3. <+> : デフォルトでコピーキャプチャ

最終版

ここまで出た案をさらに改良して、現在のラムダ式の形に収束した。

キャプチャ方法の指定は、山カッコ< >の代わりに、角カッコ[ ]が採用された。これは、山カッコがoperator<()operator>()、テンプレートといった機能があるために構文解析が難しい、という理由からだ。

そして、デフォルト以外のキャプチャもまた、デフォルトキャプチャと同じ場所に列挙することになった。

なお、C++11時点のラムダ式はテンプレートを扱えないが、これはコンパイラの実装が難しい、という理由での見送りである。

関連項目

参照