c++之Lambda表达式

c++之Lambda表达式

1、介绍

​ 一个Lambda表达式表示一个可调用的代码单元，可以将其理解为一个匿名的内联函数。与其他函数类似，Lambda表达式具有一个返回值类型、一个参数列表和一个函数体。其具体语法格式为：

[capture list](parameter list)->return type {function body}

​ capture list（捕获列表）用于向Lambda表达式传递Lambda表达式所在函数中定义的局部变量。parameter list、return type、function body和其他普通函数一样，分别代表参数列表、返回值类型和函数体,其中返回值类型和参数列表可以省略。但是Lambda表达式必须尾置返回值类型，如果忽略返回值类型，则Lambda表达式会自动推断返回值类型，当且仅当函数体只是一个return语句的时候，否则返回类型为void。普通函数也可以尾置返回值类型，其语法格式如下：

auto func(parameter list)->return type {function body}

​ 普通函数尾置返回值类型，主要是用于返回值比较复杂的函数。例如下列函数返回类型是指向包含10个int型数据的数组的指针：

int (*func(int a)) [10] {function body}
	func(int a): 表示func是接受一个int型变量的函数
    *func(int a): 表示返回值类型是一个指针
    (*func(int a)) [10]: 表示返回值类型是一个指向容量是10的数组的指针
    int (*func(int a)) [10]: 表示返回值类型是一个指向容量是10的int型数组的指针

​ 上述函数定义如果使用尾置返回值类型就会简单易懂很多：

auto func(int a)->int(*)[10] {function body}

2、向Lambda表达式传参

​ 与普通函数类似，调用Lambda表达式时传递的实参被用来初始化Lambda表达式的实参。但是Lambda表达式不能有默认参数，因此一个Lambda调用的实参和形参数目相等。

auto func=[](int a){cout<<a<<endl;};
func(10);

3、值捕获

​ 类似普通函数，Lambda表达式变量的捕获方式也可以是值或引用，但是不能捕获位于函数体外的变量。如果采用值捕获的方式，被捕获的变量必须是可以拷贝的。与普通函数不同，被捕获的变量的值是在Lambada表达式创建时拷贝，而不是调用时拷贝。下面举个例子：

void func()
{
 	constexpr size_t numA=10;
    auto k=[numA](){return numA};
    numA=0;
    auto j=k(); //j的值为10
}

4、引用捕获

​ 引用捕获的方式也和其他普通函数一样有着相同的限制和问题。如果我们采用引用方式捕获一个变量，就必须确保被引用的对象在Lambda表达式执行期间一直是存在的。采用引用捕获的方式是十分必要的，因为不是所有的对象都有拷贝构造函数，例如ostream对象。

vector<string> vstr{"hello","world"};
ostream& os=cout;
for_each(vstr.begin(),vstr.end(),[&os](const string& str){os<<str<<" "};);

5、隐式捕获

​ 除了显示列出希望使用的所在函数的变量外，还可以在捕获列表中写一个&或者=，让编辑器根据Lambda表达式函数体中的代码来推断我们需要使用哪些变量，&表示引用传递，=表示值传递。

vector<string> vstr{"hello","world"};
ostream& os=cout;
for_each(vstr.begin(),vstr.end(),[&](const string& str){os<<str<<" "};);

6、混合捕获

​ 当混合使用隐式捕获和显式捕获时，捕获列表中的第一个元素必须是一个&或=，并且显式捕获的变量必须使用与隐式捕获不同的方式。

vector<string> vstr{"hello","world"};
ostream& os=cout;
int a=10;
for_each(vstr.begin(),vstr.end(),[&,a](const string& str){os<<str<<" "<<a};);

7、可变Lambda

​ 默认情况下，对于一个值被拷贝的变量，Lambda不会改变其值。如果我们希望改变他，就必须在参数列表后加上关键字mutable。如果是引用捕获的变量，其是否能够修改取决于引用指向的变量是否有const修饰。

vector<string> vstr{"hello","world"};
ostream& os=cout;
int a=10;
for_each(vstr.begin(),vstr.end(),[&,a](const string& str)mutable{os<<str<<" "<<a++};);

8、指定Lambda返回类型

​ 默认情况下，如果一个Lambda表达式未指定返回类型且函数体内包含return之外的任何语句，则编辑器认为

该Lambda表达式返回void，即无返回值。Lambda表达式必须使用尾置返回类型。例如：

auto func=[](int a)->int{cout<<a<<endl;return a;};
auto numA=func(10);
cout<<numA<<endl;