Lambda 函数与表达式

Posted 2021-12-01 xiaodangxiansheng

Lambda函数的语法定义如下：

[capture](parameters) mutable ->return-type{statement}

　　其中：

•  [capture]：捕捉列表。捕捉列表总是出现在 lambda 表达式的开始处。事实上，[] 是 lambda 引出符。编译器根据该引出符判断接下来的代码是否是 lambda 函数。捕捉列表能够捕捉上下文中的变量供 lambda 函数使用。
•  (parameters)：参数列表。与普通函数的参数列表一致。如果不需要参数传递，则可以连同括号 () 一起省略。
•  mutable：mutable 修饰符。默认情况下，lambda 函数总是一个 const 函数，mutable 可以取消其常量性。在使用该修饰符时，参数列表不可省略（即使参数为空）。
•  ->return_type：返回类型。用追踪返回类型形式声明函数的返回类型。出于方便，不需要返回值的时候也可以连同符号 -> 一起省略。此外，在返回类型明确的情况下，也可以省略该部分，让编译器对返回类型进行推导。
•  {statement}：函数体。内容与普通函数一样，不过除了可以使用参数之外，还可以使用所有捕获的变量。

　　在 lambda 函数的定义式中，参数列表和返回类型都是可选部分，而捕捉列表和函数体都可能为空，C++ 中最简单的 lambda 函数只需要声明为：[]{};

对于[]:

• []：默认不捕获任何变量；
• [=]：默认以值捕获所有变量；
• [&]：默认以引用捕获所有变量；
• [x]：仅以值捕获x，其它变量不捕获；
• [&x]：仅以引用捕获x，其它变量不捕获；
• [=, &x]：默认以值捕获所有变量，但是x是例外，通过引用捕获；
• [&, x]：默认以引用捕获所有变量，但是x是例外，通过值捕获；
• [this]：通过引用捕获当前对象（其实是复制指针）；
• [*this]：通过传值方式捕获当前对象；

举个栗子：

 1 #include <stdio.h>
 2 int main()
 3 {
 4     int ex = 10;   //这里设置一个值让下面的lamdba表达式去捕获
 5     auto temp = [ex](int a) -> int {return a;}; //基本完整的写法
 6     auto temp_other = [ex](int b){return b;};  //没有设置返回类型，让编译器自动推断
 7     auto temp_otherone = [ex]{return ex;};  //再把参数去掉，这就是最简单的表达式
 8     printf("temp=%d\n",temp);
 9     printf("temp_other=%d\n",temp_other);
10     printf("temp_otherone=%d\n",temp_otherone);
11     return 0 ;
12 }