C++仿函数周边及包装器
lambda表达式
lambda表达式很久就在python,java,C#等语言流行,其意义是为了将某些实现简单的函数写在某个区域内,让代码的可读性增加,增加程序员的开发效率。
lambad表达式的格式和注意
lambda表达式的格式如下。
[捕获列表] (形参列表) mutable-> 返回类型
{
函数体
}
1).[捕获列表]主要捕获该局部区域内的表达式上方的参数,捕获列表中可以传递如下值。
[&]引用捕捉当前区域内部的表达式上方的参数,并且可在函数体内修改。
[=]传值捕捉当前区域内表达式上方的的参数,捕捉后的参数不可在函数体内修改。
[val]传值捕捉当前表达式上方的区域名为val的变量,不可修改。
[&val]引用捕捉表达式上方的区域名为val的变量,可修改。
其中上面的可以套用,如
[=, &val]对val引用捕捉,但对其他参数传值捕捉。
[&, val]对val传值捕捉,但对其他参数引用捕捉。
但不可重复捕捉,如[=,val]…
在类的方法内,捕捉列表还可以捕捉this指针。
2).(形参列表)和普通函数一样,我们可能需要定义一些形参,形参列表中就可以定义。
3).mutable该选项一般定义lambda表达式时都不会被加入,该选项可以让捕捉列表捕捉的变量改变属性,如[ 捕获列表 ]中,传值会导致函数体内部无法修改捕获的结果,而mutable关键字加入后,就可以被修改了。
4).-> 返回值在写lambad表达式时,都可以忽略不写,编译器会自动识别函数体内的返回值,返回。
5).{} 函数体内需要写函数的实现过程,与普通函数的实现无异。
注意:
1).lambda表达式的底层实际上是一个匿名仿函数,每个lambda表达式都通过算法生成一个唯一的类型,所有lambda表达式在未了解包装器前,只能使用auto接收。
2).lambda表达式本质是仿函数,仿函数本质是一个类,lambda表达式内被实现了拷贝构造,可以用另一个lambda表达式构造另一个。
3).lambda表达式若没有参数,则(参数列表)可以不写,但捕捉列表, 和函数体一定得写。
C++包装器
C++兼容C,所有C++内也可以使用函数指针类型,在前面,还存在lambda表达式表示一个函数,同时还存在仿函数可以实现向函数一样调用,已经类内的各种函数,如静态成员函数,成员函数,C++为了整合统一上面三个类型,推出了包装器。
包装器是一个可变模板参数的模板类,Ret是function要包装的函数的返回值,后续的参数包则是要包装的函数的参数。
都可以使用function<ret(arg1…)> 格式包装。
并且被包装后,它们的类型都相同。
包装器包装类内的函数。
要注意包装类内的函数,需要指定类域,同时,静态成员函数,则需要在前面加上&,而成员函数则无所谓。
所以包装器的出现让多种函数定义了相同的类型,在统一编码方面大有好处,比如回调函数。
bind函数
bind函数也是C++11后加入的,其作用是在传递函数参数的时候,绑定某个参数,让函数的调用更加方便。
bind函数接收的第一个参数是其要绑定的函数名,后续接收一个参数包,参数包可以传递占位符,或者直接将某个参数绑定。
占位符必须从_1开始,并且要求必须是连续的,但是占位符的顺序可以是不一样的。
实际上,占位符中_1代表被绑定函数的第一个参数,以此类推,若想要正确调用f_bind_class,则需要将参数传递的顺序改变。
为了调用示例函数更加方便,我们可以将testclass绑定。
绑定某些参数可以让我们在调用函数时,更加方便,若使用bind函数绑定了某个参数,在使用function接收该函数的返回值时,则也不需要在模板列表中写被绑定的参数的类型。