文章目录
1.lambda表达式捕获列表说明C++11 lambda原理2.包装器bind绑定 1.lambda表达式
【捕捉列表】(参数列表)mutable ->返回值类型 {函数体}
mutable:默认条件下,lambda表达式默认具有const属性,mutable可以取消其const属性。注意:使用该修饰符时,参数列表即便为空也不能省略
参数列表在没有mutable时,如果为空可以省略,返回值类型也可以省略
[ ]:捕捉列表,在lambda表达式最开始,编译器可以捕捉上下文变量给lambda表达式使用,减少传参
捕获列表说明
捕捉列表描述了上下文中那些数据可以被lambda使用,以及使用的方式传值还是传引用。
[var]:表示值传递方式捕捉变量var
[=]:表示值传递方式捕获所有父作用域中的变量(成员函数中包括this)
[&var]:表示引用传递捕捉变量var
[&]:表示引用传递捕捉所有父作用域中的变量(包括this)
注意:
a、父作用域指包含lambda函数的语句块
b、语法上捕捉列表可由多个捕捉项组成,并以逗号分割
eg:
[=, &a, &b]:以引用传递的方式捕捉变量a和b,值传递方式捕捉其他所有变量[&,a, this]:值传递方式捕捉变量a和this,引用方式捕捉其他变量
c、捕捉列表不允许变量重复传递,否则就会导致编译错误。
eg:
[=, a]:=已经以值传递方式捕捉了所有变量,捕捉a重复
d、在块作用域以外的lambda函数捕捉列表必须为空
e、lambda表达式之间不能相互赋值
eg:C++swap函数lambda表达式写法
#includeusing std::cout; using std::endl;int main(){int a = 10; int b = 20;auto swap = [](int& x, int& y)->void {int tmp = x; x = y; y = tmp; };//使用捕捉列表auto swap1 = [&a, &b] {int tmp = a; a = b; b = tmp; };//mutable取消lambda表达式的常量性auto swap2 = [&] {int tmp = a; a = b; b = tmp; };//引用全捕捉return 0;}
C++11 lambda原理
lambda表达式被编译器转化为仿函数,类的名称为lambda+uuid字符串
eg:
调用仿函数的operator()捕捉或者传递的参数都会以参数的形式传递给仿函数
所以lambda表达式不能相互赋值,因为两个lambda表达式的类型名不同
2.包装器
C++可调用对象类型有:
函数指针,仿函数,lambda表达式
#includeusing std::cout; using std::endl;templateT usF(F f, T t){static int a = 0;cout << a << endl;a++;cout << &a << endl;return f(a);}double fun(double num){return num / 2;}struct Functer{double operator()(double Num){return Num / 2;}};int main(){//函数指针cout << usF(fun, 15.6) << endl;//仿函数cout << usF(Functer(), 12.4) << endl;//lambda表达式cout << usF([](double Num)->double {return Num / 2; }, 12.4) << endl;return 0;}
分析上述代码:
上述函数模板会被实例化三次。
为了减少实例化对象,引出了包装器。将上述所有可调用对象进行封装,以统一的方式调用。
#include#includeusing std::cout; using std::endl;templateT usF(F f, T t){static int a = 0;cout << a << endl;a++;cout << &a << endl;return f(a);}double fun(double num){return num / 2;}struct Functer{double operator()(double Num){return Num / 2;}};struct Functer1{static double Print(double x){cout << "Static" << endl;return x / 2;}double Print2(double x){return x / 2;}};int main(){//包装器函数指针std::functionff = fun;//std::functionff表示为参数为double返回值为double的可调用对象//包装仿函数std::functionff1 = Functer();//包装静态成员函数std::functionff2 = Functer1::Print;// 包装非静态的成员函数std::functionff3 = &Functer1::Print2;//this指针cout << ff3(Functer1(), 12.3) << endl;//调用时需要对象才可以调用//包装lambda表达式auto tmp = [](double num)->double {return num / 2; };std::functionff4 = tmp;cout << usF(ff, 12.4) << endl;cout << usF(ff1, 12.4) << endl;cout << usF(ff2, 12.4) << endl;cout << usF(ff4, 12.4) << endl;return 0;}
根据上述代码可知,如果参数以及返回值类型相同,不管是那种可调用类型都可以通过相同的包装器表示。这样传递给模板函数时就可以减少实例化个数
bind绑定
std::band函数在functional头文件中,是一个通用函数适配器,接受一个对象,生成一个新的可调用对象来适应原来对象的参数列表
#include#includeusing std::cout; using std::endl;struct Sub{int sub(int a, int b){return a - b;}};int Add(int a, int b){return a + b;}int main(){//将Add函数绑定为参数+10std::functionff = std::bind(Add, std::placeholders::_1, 10);//接受两个参数,第一个参数给_1,第二个参数给_2cout << ff(12) << endl;//非静态成员函数调用需要对象,绑定传参对象std::functionff1 = std::bind(&Sub::sub, Sub(), std::placeholders::_1, std::placeholders::_2);cout << ff1(12, 10) << endl;return 0;}
还可以控制传参顺序,只要调整std::placeholders::_1, std::placeholders::_2顺序即可