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;