lambda表达式定义了一个匿名函数,并且可以捕获一定范围内的变量。
形如:[capture](params) opt->ret{body;}
capture是捕获列表,params是参数列表,opt是函数选项,如mutable,ret是函数返回值类型,body是函数体
[]不捕获任何变量
[&]按引用捕获作用域中的所有变量
[=]按值捕获作用域中的所有变量
[=,&f]按引用捕获f变量,其它变量按值捕获
[f]按值捕获f变量,其它变量不捕获
[this]捕获当前类中的this指针,如果已经使用了&或者=,就默认添加此选项。捕获this的目的是可以在lamda中使用当前类的成员函数和成员变量
class A
{
public:
int i = 0;
void func(int x, int y)
{
//auto x1 = [] { return i; }; //error,没有捕获外部变量
auto x2 = [=] { return i + x + y; };
auto x3 = [&] { return i + x + y; };
auto x4 = [this] { return i; };
//auto x5 = [this] { return i + x + y; }; //error,没有捕获x,y
auto x6 = [this, x, y] { return i + x + y; };
auto x7 = [this] { return i++; };
}
};
需要注意的是,按值捕获的外部变量是无法修改的,如果要修改这些变量,需要按引用捕获。如果
仍要按值捕获外部变量并修改变量,这时,需要显式指明lambda表达式为mutable,而被mutable修饰的lambda表达式就算没有参数也要写明参数列表。
int a = 0;
//auto f1 = [=] { return a++; }; //error
auto f2 = [=]() mutable {return ++a; }; //ok,f2()返回1,a = 0
lambda表达式的类型在c++11被称为“闭包类型”,我们可以使用std::function和std::bind来存储操作lambda表达式。对于没有捕获任何变量的lambda表达式,还可以被转换成一个普通的函数指针:
using func = int(*)(int);
func f = [](int a){
return a;
};