bind函数
在c++11之前,要绑定某个函数、函数对象或者成员函数的不同参数值需要用到不同的转换器,如bind1st、bind2nd、fun_ptr、mem_fun和mem_fun_ref等.在c++11中,绑定参数的方法得以简化.c++11提供了"一站式"绑定模板bind,其用法为:
#include <functional> std::bind(待绑定的函数对象/函数指针/成员函数指针,参数绑定值1,参数绑定值2,...,参数绑定值n);
bind的第一个参数是待绑定的函数对象或者函数指针,之后跟随多个参数以设定待绑定函数的参数绑定方式。待绑定函数有多少个参数,则bind后便需要多少个参数以一一声明其参数的绑定方法.当参数绑定为某一固定值时,则其对应参数绑定值可以使一个变量或常量.当需要将参数与绑定所生成的函数对象的某个参数相关联时,则需要用到在标准中预定义的几个常量_1、_2、_3等.这些常量声明在std::placeholders命名空间内.
绑定成员函数的注意点:
在将一个R (T::*ptr)(Arg0,Arg1,...)形式的成员函数指针ptr用bind绑定参数时,bind的第一个绑定的参数是成员函数的调用者,随后跟随成员函数的参数绑定方式.例如bind(ptr,a,b,c)将会调用a.*ptr(b,c)。当采用_n常量将首参数与函数对象的参数相关联时,所生成的函数对象自动可接受T类型的引用及指针类型,无需再进行封装.但要想调用外部数据的成员函数,还需要用ref()、cref()来包装或者绑定一个对该变量的指针.
1 #include <functional>
2 #include <iostream>
3
4 //一个自定义的整数类
5 struct integer{
6 int i;
7 integer(int i):i(i){}
8 void incr_by(int j){ i+=j;}
9 };
10
11 void mem_func_sample(){
12 integer x(0); //x.i=0;
13 integer *y=&x; //y指向x
14 using namespace std::placeholders;
15 using namespace std;
16
17 auto f0=bind(&integer::incr_by,_1,_2);
18 f0(x,2); //x.incr_by(2)
19 cout<<x.i<<endl;
20
21 f0(y,2); //y->incr_by(2)
22 cout<<x.i<<endl; //x.i=4
23
24 auto f1=bind(&integer::incr_by,x,_1);
25 f1(2); //x在f1的副本.incr(2)
26 cout<<x.i<<endl; x.i=4;
27
28 auto f2=bind(&integer::ince_by,ref(x),_1);
29 f2(2); //x.incr_by(2)
30 cout<<x.i<<endl; //x.i=6;
31
32 auto f3=bind(&integer::incr_by,&x,_1);
33 f3(2); //(&x)->incr_by(2)
34 cout<<x.i<<endl; //x.i=8
35
36 //利用mem_fn将成员函数转换为函数对象
37 auto f4=mem_fn(&integer::incr_by);
38 f4(x,2);
39 cout<<x.i<<endl;//x.i=10;
40 f4(y,2);
41 cout<<x.i<<endl;//x.i=12
42
43
44 }
上例中用不同的方式为integer类的incr_by成员函数绑定参数.对于所得的函数对象f0，由于bind的首参数与f0的第一个参数相关联,f0将自动以integer为首参数类型,所以f0(x,2)实际调用了x.incr_by(2)，使得x的i值增加2；另外f0也自动支持integr指针,所以调用f0(y,2)相等于执行了y->incr_by(2),同样使得x的i值增加2。而f1的调用是x在f1内的副本,不会影响x的状态.只有如f2或f3那样绑定x才会真正调用x的成员函数.