函数想要作为一元或者二元谓词,但是函数的参数却超过两个,这样我们是没有办法进行函数的调用的。使用bind()函数可以实现函数的参数绑定,参数绑定后就可以将函数作为谓词进行使用。其定义在头文件functional中的。
bind()
bind()的一般调用形式是这样的:
void fun(int a,int b,int c,int d);
auto newcallable = bind(fun,15,_2,_1,_3);
newcallable(12,20,25);
程序中调用newcallable(12,20,25);
等价于fun(15,20,12,25);
bind(call,argslist); 第一参数call是我们需要绑定参数的函数名,argslist是相应的绑定的函数的参数绑定,call函数有几个参数argslist就有多少个参数,上述案例中的argslist为15,_2,_1,_3
参数中的_n表示对应调用函数中参数的位置。_n以外的参数则是绑定到fun函数的参数,其在参数列表的位置就是代表他在fun函数中的位置,_1所在的位置则表示newcallable(12,20,25) 中第一个参数所在的位置,_2所在的位置则表示newcallable(12,20,25) 中第二个参数的位置。_n 所在的位置则表示**newcallable(12,20,25)**中的第n个参数在fun函数函数中的的位置。
上述例子如下图:
更多的例子:
auto newcallable = bind(fun,15,_2,_1,60);
newcallable(20,25);//相当于fun(15,25,20,60);
---------------------------------------
auto newcallable = bind(fun,15,30,_1,_2);
newcallable(20,25);//相当于fun(15,30,20,25);
---------------------------------------
auto newcallable = bind(fun,15,_2,20,_1);
newcallable(1,0);//相当于fun(15,0,20,1);
上述例子中的_1、_2等都是定义在命名空间std::placeholder中的,使用时必须引用明明空间.
using namespace std;
using namespace std::placeholders;
bind()和sort()
bind()函数除了可以用于传递更多参数,还可以用于改变排序的方式:
bool cmp(int a,int b) {
return a > b;
}
vector<int> vec = {1,5,2,3,6,8,4,1,5,6};
sort(vec.begin(), vec.end(), cmp);//降序排序
sort(vec.begin(), vec.end(), bind(cmp, _2, _1));//升序排序
非拷贝的方式
如果要绑定的对象是不可以拷贝的对象,那么我们需要调用ref函数来告诉编译器该参数不是拷贝的参数。其作用类似于引用传递。
如IO类不支持拷贝:
string str = "hello world";
ostringstream word;
auto call = bind(print,ref(word),_1);
call(str);
cout << word.str() << endl;
bind和类的成员函数的绑定
bind同时也是可以和成员函数进行绑定的,但是和成员函数进行绑定时,我们必须指定相应的类的对象方能对该函数进行调用。
如果我们不指定特定的对象的话我们需要用在调用时将类的对象作为参数传入到其中。
class Base {
public:
void show(int i) {
cout << i << endl;
}
private:
};
Base b;
auto call = bind(&Base::show,b,_1);
auto call_ = bind(&Base::show,_1,_2);
call(15);
call_(b,15);