二元函数与bind1st/bind2nd

最近看到bind1st，感觉很好玩的一个模板函数。其定义如下：

 

 

// TEMPLATE FUNCTION bind1st template<class _Fn2, class _Ty> inline binder1st<_Fn2> bind1st(const _Fn2& _Func, const _Ty& _Left) {// return a binder1st functor adapter typename _Fn2::first_argument_type _Val(_Left); return (std::binder1st<_Fn2>(_Func, _Val)); }

 

于是，自己查资料，google，找到了一点线索。弄了半个明白。~

 

它的作用就是预先绑定一个参数，是二元算子变为一元（有些地方需要，比如，遍历容器中每个元素对其进行操作时，那参数肯定只有一个。）

我找到了两种方法，来实现这个绑定过程。一个是继承binary_function类，实现()操作符。这样就可以用此类的对象作为bind1st的第一个参数了。看定义也知道，它要求第一个参数有first_argument_type这个域。而binary_function结构体里包含有此域，其定义如下：

// TEMPLATE STRUCT binary_function template<class _Arg1, class _Arg2, class _Result> struct binary_function { // base class for binary functions typedef _Arg1 first_argument_type; typedef _Arg2 second_argument_type; typedef _Result result_type; }

 

还有一种方法是使用pointer_to_binary_function进行转换，其定义如下：

template<class _Arg1, class _Arg2, class _Result> inline pointer_to_binary_function<_Arg1, _Arg2, _Result, _Result(__cdecl *)(_Arg1, _Arg2)> ptr_fun(_Result (__cdecl *_Left)(_Arg1, _Arg2)) { // return pointer_to_binary_function functor adapter return (std::pointer_to_binary_function<_Arg1, _Arg2, _Result, _Result (__cdecl *)(_Arg1, _Arg2)>(_Left)); }

 

好了，做个例子试试：

 

#include <iostream> #include <functional> using namespace std; // 定义二元函数 class CMyBf: public binary_function<const char * ,const char * ,void> { public: // 实现二元函数()操作符，这里要声明为 const 函数！ // 否则下面的 bind1st 无法使用，因为使用的()操作符就是这么定义的。 void operator ()(const char *s1,const char * s2) const { cout<<s1<<endl<<s2<<endl; } }; // 定义一个普通函数 void MyBff(int a,int b) { cout<<"First: "<<a<<endl <<"Second: "<<b<<endl; } // 入口函数 int main(int argc, char **argv) { // 使用普通函数绑定首参数 bind1st(ptr_fun(MyBff),12)(3); // 使用函数对象绑定首参数 CMyBf bf; bind1st(bf,"first")("second"); return 0; }

 

输出结果应该为：

 

First: 12 Second: 3 first second

 

好了，现在可以绑定一个参数了，到时候使用二元算子只需一个参数即可。差点忘了，还有一个问题，这只是绑定第一个参数。STL还是比较“明智”的，他当然也考虑到了有绑定第二个参数的情况，于是，你可以试试bind2nd~~

 

参考文章：

http://www.cnblogs.com/shootingstars/archive/2007/08/17/860042.html

http://blog.csdn.net/zxb_zxb/archive/2009/09/17/4563011.aspx