本节介绍lambda表达式
C++11语法中出现了Lambda表达式,lambda表达式可以理解为一个匿名函数
[捕捉列表] (参数列表) mutable -> 返回值类型 {函数体}
捕捉列表:在lambda函数的开始位置,编译器根据[ ]来判断接下来的代码是否为lambda函数,能够捕捉上下文中的变量供lambda函数使用,不可省略。
参数列表:与普通函数的参数列表一致,如果不需要参数传递,( )可省略。
mutable:默认不能修改值捕获的变量 (下文介绍) ,当lambda要修改值捕获的变量时,必须添加mutable声明使用该修饰符时,参数列表不可省略(即使参数为空)。
返回值类型:没有返回值时此部分可省略,返回值类型明确情况下,也可省略,由编译器对返回类型进行推导。
函数体:在函数体内,可以使用参数、捕获到的变量。
因此C++11中最简单的lambda函数为:
[]{}; //该lambda函数不能做任何事情
可以写在需要可调用对象的地方,比如sort第三个参数:
int main()
{
Goods gds[] = { { "苹果", 2.1 }, { "荔枝", 3 }, { "橙子", 2.2 }, {"菠萝", 1.5} };
sort(gds, gds + sizeof(gds) / sizeof(gds[0]),
[](const Goods& l, const Goods& r)->bool
{
return l._price < r._price;
});
return 0;
}
单独不能直接使用,可借助auto将其赋值给一个变量来调用:
auto f = []{ cout<<"hello"<<endl; };
f();
允许使用lambda表达式拷贝构造一个新的副本:
auto f2 = []{ cout<<"hello"<<endl; };
auto f3(f2);
可以将lambda表达式赋值给相同类型的函数指针:
void (*PF)();
auto f2 = []{ cout<<"hello"<<endl; };
PF = f2;
PF();
编译器对于lambda表达式是按照仿函数的方式处理的
即:如果定义了一个lambda表达式,编译器会生成一个仿函数,仿函数名称是 lambda_uuid
uuid唯一,所以lambda表达式之间不能互相赋值,即使两个lambda表达式“长得很像”
捕捉列表描述了父作用域哪些数据可以被lambda使用,以及传值还是传引用。
[var]:表示值传递方式捕捉变量var
[=]:表示值传递方式捕获所有父作用域中的变量(成员函数这样使用会捕获到this指针)
[&var]:表示引用传递捕捉变量var
[&]:表示引用传递捕捉所有父作用域中的变量(成员函数这样使用会捕获到this指针)
值捕获是发生在lambda创建时,而非调用时。
捕捉列表使用注意事项:
语法上捕捉列表可由多个捕捉项组成,并以逗号分割。
比如:[=, &a, &b]:以引用传递的方式捕捉变量a和b,值传递方式捕捉其他所有变量 [&,a,
this]:值传递方式捕捉变量a和this,引用方式捕捉其他变量
捕捉列表不允许变量重复传递,否则就会导致编译错误。 比如:[=, a]:=已经以值传递方式捕捉了所有变量,捕捉a重复
lambda无法捕获任何static变量、全局变量,不过可以在lambda表达式内部直接访问。