1. bind函数模板介绍
在之前的一篇文章中提到在c++11之前的两个绑定器bind1st,bind2nd
,用来绑定二元函数对象的第一个或者第二个形参,使得将二元函数对象转变成一个一元函数对象,随着软件发展,明显不能满足需求,因为如果要绑定三个、四个…参数是不是就显得很无力了?
template< class F, class... Args >
/*unspecified*/ bind( F&& f, Args&&... args );
f:
可调用 (Callable) 对象(函数对象、指向函数指针、函数引用、指向成员函数指针或指向数据成员指针)
args:
f可调用对象调用时需要绑定的参数列表,无需绑定参数为命名空间 std::placeholders 的占位符 _1, _2, _3… 所替换占位即可。
返回值:
bind返回以后,返回的依然是一个可调用对象,std::function
。
2. std::bind
好搭档,占位符placeholders
使用介绍
2.1 将show函数的所有参数都绑定,bind中的args参数列表的顺序一定要和原函数参数列表顺序一致:
2.2 占位符placeholders
使用介绍
placeholders::_n
其中,_n表示调用bind返回的可调用对象参数的第几个位置
参数a被placeholders::_3占位,placeholders::_3中的_3表示调用f6时,第三个参数对应的才是原函数的参数a;
同理:
参数b被placeholders::_2占位,placeholders::_2中的_2表示调用f6时,第二个参数对应的才是原函数的参数b;
参数a被placeholders::_1占位,placeholders::_1中的_1表示调用f6时,第三个参数对应的才是原函数的参数str;
当然上面举得极端的例子就是为了让大家理解他们的对应关系,正常开发中我们不会像图二一样用将placeholders::_n
的位置打乱。正常使用应该如下:
auto f7 = bind(show, placeholders::_1, placeholders::_2, placeholders::_3);
f7(2, 3.3, "f7");
搭配全局函数使用的完整代码:
void show(int a = 0, double b = 0.0, const string& str = "0") {
cout << "a = " << a << endl;
cout << "b = " << b << endl;
cout << "str = " << str << endl;
}
int main() {
show();
auto f1 = bind(show, placeholders::_1, 7.0, "hello");
f1(1);
auto f2 = bind(show, 8, placeholders::_1, "world");
f2(9.9);
auto f3 = bind(show, 8, 8.8, placeholders::_1);
f3("f3");
auto f4 = bind(show, 8, placeholders::_2, placeholders::_1);
f4("f4", 7.7);
auto f5 = bind(show, 8, placeholders::_1, placeholders::_2);
f5(7.7, "f5");
auto f6 = bind(show, placeholders::_3, placeholders::_2, placeholders::_1);
f6("f6", 6.6, 1);
auto f7 = bind(show, placeholders::_1, placeholders::_2, placeholders::_3);
f7(2, 3.3, "f7");
return 0;
}
OOP中绑定类的成员函数
class Test{
public:
void show(){
std::cout<<"show"<<std::endl;
}
void testbind(){
func = std::bind(&Test::show,this); //每个非静态成员方法又会有一个this指针
}
void callfunc(){
func();
}
private:
std::function<void()> func;
};
int main(){
Test t;
t.testbind();
t.callfunc();
return 0;
}
注意:需要绑定一个类的非静态成员方法时一定记得函数的第一个参数是this指针,否则将出错。