如果你还在使用bind1st / bind2nd,那么恐怕已经out了,Boost提供了更强大的武器bind,用于函数对象的绑定;
bind接受的第一个参数必须是可调用对象f,包括函数、函数指针、函数对象、成员函数,之后最多可以接受9个参数,参数的数量必须与f的参数数量相等,这些参数将会作为f函数的参数。
bind会返回一个函数对象,它内部保存了f的拷贝,当发生调用时,之前参数将传给f函数完成调用。
bind与占位符可以很好地配合,占位符被定义为_1、_2一直到_9,占位符可以取代参数的位置,知道调用时菜接受真正的参数,占位符的名字表示它在调用式中的位置,但在绑定时则没有顺序要求,_1不一定第一个出现,也不一定只出现一次,例如:
bind(func,_2,_1)(a1,a2) //等价于func(a2,a1)
但需要注意:如果f只有两个参数,_3绝对不能出现。
当然,不使用占位符也是可以的,bind绑定实参,那么此时bind返回的相当于是个常数。
示例如下:
int f(int a,int b)
{return a+b;}
typedef int(*f_type)(int,int);
bind(f,_1,9)(x); //f(x,9)
bind(f,_1,_2)(x,y); //f(x,y)
bind(f,_2,_1)(x,y); //f(y,x)
bind(f,_1,_1)(x,y); //f(x,x),y被忽略
f_type pf = f;
bind(pf,_1,9)(x); //(*pf)(x,9) //绑定函数指针
bind绑定成员函数时与绑定普通函数略有不同,主要在于,用户必须提供一个类的实例、引用或者指针,毕竟,成员函数不能独立存在。我们可以像下面这样绑定成员函数:
bind(&x::func,x,_1,_2,...)
其中,x就是类实例、引用或者指针,大多数情况下,我们可以使用this指针;需要注意的是:&x::func这种形式是不可变的,否则将会报错。
更进一步,bind同样支持虚拟成员函数绑定,用法与非虚函数相同,虚函数的行为将由实际调用发生时的实例来决定。
示例如下:
bind(std::greater<int>(),_1,10); //检查 X > 10