C++学习笔记（五）Lambda 表达式

lambda表达式定义了一个匿名函数，并且可以捕获所定义的匿名函数外的变量。它的语法形式是：

[ capture ] ( parameter ) option -> return_type { body; };

其中：

• capture 捕获列表
• parameter 参数列表
• option 函数选项
• return_type 函数返回值类型
• body 函数体
  比如

// defination
auto lamb = [](int a) -> int { return a++; };

// usage
std::cout << lamb(1) << std::endl;  // output: 2

组成lambda的各部分并不是都必须存在的:

1. 当编译器可以推导出返回值类型的时候，可以省略返回值类型的部分

auto lamb = [](int i){return i;};   // OK, return type is int
auto lamb2 = [] () {return {1, 2};};    // Error

2. lambda表达式没有参数时，参数列表可以省略

auto lamb = []{return 1;};      // OK

所以一个最简单的lambda表达式可以是下面这样，这段代码是可以通过编译的：

int main()
{
  []{};     // lambda expression
  return 0;
}

捕获列表

捕获列表是lambda表达式和普通函数区别最大的地方。[]内就是lambda表达式的捕获列表。一般来说，lambda表达式都是定义在其他函数内部，捕获列表的作用，就是使lambda表达式内部能够重用所有的外部变量。捕获列表可以有如下的形式：

• [] 不捕获任何变量

• [&] 以引用方式捕获外部作用域的所有变量

• [=] 以赋值方式捕获外部作用域的所有变量

• [=, &foo] 以赋值方式捕获外部作用域所有变量，以引用方式捕获foo变量

• [bar] 以赋值方式捕获bar变量，不捕获其它变量

• [this] 捕获当前类的this指针，让lambda表达式拥有和当前类成员同样的访问权限，可以修改类的成员变量，使用类的成员函数。如果已经使用了&或者=，就默认添加此选项。

[] // 沒有定义任何变量。使用未定义变量会引发错误。
[x, &y] // x以传值方式传入（默认），y以引用方式传入。
[&] // 任何被使用到的外部变量都隐式地以引用方式加以引用。
[=] // 任何被使用到的外部变量都隐式地以传值方式加以引用。
[&, x] // x显式地以传值方式加以引用。其余变量以引用方式加以引用。
[=, &z] // z显式地以引用方式加以引用。其余变量以传值方式加以引用。