lambda函数的使用
lambda函数的完整形式如下:
[capture](parameters) mutable->return-type{statement}
其中,
- [capture]:捕捉列表,捕捉列表可以捕捉上下文中的变量以供lambda函数使用。
- (parameters):参数列表,与普通函数列表一致,如果不需要传参,那么可以连()一起省略。
- mutable:mutable修饰符,默认情况下,lambda函数总是一个const函数,mutable可以取消其常量性。在使用该修饰符时,参数列表不可省略。
- ->return-type:返回类型,一般而言,可以省略,使用auto进行自动推导。
- {statement}:函数体,可以使用参数及补捕获的变量。
如下是一个lambda函数的声明示例:
int main()
{
int a = 3;
int b = 4;
auto fun = [=,&b](int c)->int{return b += a+c ;}
}
捕获列表
捕获列表是lambda函数中极具特色的一部分,在捕获时,主要有以下几种形式:
- [var] 表示值传递方式捕获变量var。
- [=] 表示值传递方式捕获所有作用域的变量,包括this。
- [&var] 表示引用传递方式捕获变量var。
- [&] 表示引用传递方式捕获所有父作用域的变量,包括this。
- [this] 表示值传递方式捕获当前的this指针。
需要注意的是,在捕获时,不允许重复传递,否则会导致编译时的错误:
- [=,a] : = 已经表示以值传递的方式捕获了所有变量,捕捉a重复。
- [&,&this]:&已经以引用传递方式捕捉了所有变量,再捕捉this也是一种重复。
除了以上使用时需要注意的点外,还需要注意,在引用及值传递捕获时常量性的区别,常量性区别主要分为以下两点。
常量性区别1
#include <iostream>
using namespace std;
int main()
{
int j = 12;
auto by_val_lambda = [=] {return j + 1;}
auto by_ref_lambda = [&] {return j + 1;}
cout << "by_val_lambda:" << by_val_bambda() << endl;
cout << "by_ref_lambda:" << by_ref_lambda() << endl;
j++;
cout << "by_val_lambda:" << by_val_lambda() << endl;
cout << "by_ref_lambda:" << by_ref_lambda() << endl;
}
上述这段代码运行后得到的结果是:
by_val_lambda: 13
by_ref_lambda: 13
by_val_lambda: 13
by_ref_lambda: 14
之所以会出现上述结果是因为,对于按照值方式的捕捉列表,其传递的值在lambda函数定义的时候就已经决定了。而按照引用的方式捕捉的列表,其传递的值等于lambda函数调用时的值。因此,我们可以认为,值方式捕捉列表,其捕捉的值将是一个常量。
常量性区别2
前文已述,lambda函数默认是一个const函数,那么这种const特性主要体现在什么地方呢?看一看下述代码:
int main()
{
int val;
auto const_val_lambda = [=](){val = 3;} //#1
auto const_val_lambda = [=]()mutable {val = 3;}
auto const_ref_lambda = [&]{val = 3;}
auto const_param_lambda = [&](int v){v = 3;};
const_param_lambda_lambda(val);
}
在上述各种形式的声明中,只有#1处的值方式捕获在修改捕获变量时会报错,而引用捕获则不会。
这里目前先提出该结论,暂不解释原因,原因在后文中会提及。
lambda函数的实现
lambda函数到底是怎样实现的呢?事实上,仿函数是编译器实现lambda的一种方式,通常编译器都会把lambda函数转化成为一个仿函数对象,因此,lambda可以视为仿函数的一种等价形式。如下图所示:
从图中我们可以看到,lambda函数和仿函数都可以捕捉一些变量作为初始状态,并接受参数进行运算。
这也解释了上面所提及的常量性区别2的原因:因为当使用值方式捕获时,捕获量被等价为了仿函数中的一个私有成员,而根据const的特性,在const成员函数中,我们是不能改变成员数据的;而使用引用方式捕获,则不会改变引用本身,只会改变引用的值,因此编译器将编译通过。
如果我们还记的话,仿函数在STL的诸多算法中都有应用,而lambda函数本质又是基于仿函数实现的,这也决定lambda函数能够在STL中广泛应用。
注意事项
- lambda函数虽然基于仿函数实现,但无法完全等价于仿函数,主要原因在于其捕获区域限制在父作用域。
- 函数指针可以指向lambda函数,但是此时lambda函数必须无捕获值。
- lambda函数是一种局部封装,局部共享,如果要全局共享,还是需要使用仿函数或者普通函数。
- 以值方式捕获时,需要考虑到其拷贝成本,如果拷贝成本太大,建议使用引用方式。
- 捕获对象,既可以在父作用域使用,也可以在lambda函数中使用,这就决定了我们必须要考虑到可能存在的异步操作。