前言
本文将介绍包装器(适配器)
引入
我们之前接触过函数指针、仿函数、lambda
但他们各有优劣,有没有一种方法可以对众多类型进行打包封装,这样就可以提高效率了
那就是function包装器
包装器
function
包装器本质是一个类模板
给出一个例子
std::function在头文件<functional>// 类模板原型如下
template <class T> function; // undefinedtemplate <class Ret, class... Args>
class function<Ret(Args...)>;
模板参数说明:
Ret: 被调用函数的返回类型
Args…:被调用函数的形参
从上面可以看出,function结合了参数包
提示:
当对于成员函数进行包装的时候,我们需要注意:
- 静态成员函数
// 静态成员函数function<int(int, int)> fc2 = &Plus::plusi;cout << fc2(1, 1) << endl;
- 非静态成员函数
有一点需要注意:因为该函数有一个隐含的this指针参数,所以包装的时候,我们有两种写法
// 非静态成员函数// 非静态成员函数需要对象的指针或者对象去进行调用/*Plus plus;function<double(Plus*, double, double)> fc3 = &Plus::plusd;cout << fc3(&plus, 1, 1) << endl;*/function<double(Plus, double, double)> fc3 = &Plus::plusd;cout << fc3(Plus(), 1, 1) << endl;
绑定
bind
bind是一个函数模板,它就像一个函数包装器(适配器),接受一个可
调用对象(callable object),通过调整参数顺序和调整个数来生成一个新的可调用对象来“适应”原对象的参数列表。
可以将bind函数看作是一个通用的函数适配器,它接受一个可调用对象,生成一个新的可调用对
象来“适应”原对象的参数列表。
调用bind的一般形式:auto newCallable = bind(callable,arg_list);
其中,newCallable本身是一个可调用对象,arg_list是一个逗号分隔的参数列表,对应给定的
callable的参数。当我们调用newCallable时,newCallable会调用callable,并传给它arg_list中
的参数。
arg_list中的参数可能包含形如_n的名字,其中n是一个整数,这些参数是“占位符”,表示
newCallable的参数,它们占据了传递给newCallable的参数的“位置”。数值n表示生成的可调用对
象中参数的位置:_1为newCallable的第一个参数,_2为第二个参数,以此类推
调整参数顺序
int x = 10, y = 20;
cout << Sub(x, y) << endl;auto f1 = bind(Sub, placeholders::_2, placeholders::_1);
cout << f1(x, y) << endl;
调整参数个数
这个功能意义还是挺大的,可以简化代码
比如之前用function包装非静态成员函数的时候,第一个参数是函数自己
那么我们现在可以这么写
// 调整参数的个数// 某些参数绑死function<double(double, double)> fc4 = bind(&Plus::plusd, Plus(), placeholders::_1, placeholders::_2);//将第二个参数绑定cout << fc4(2, 3) << endl;
结语
本文介绍的包装器简单理解会用就可以了,下一篇要介绍重点:智能指针。