这两天在看c++ STL模板库，被函数适配器折磨得死去活来的，查阅了很多资料，终于有点小小的见解。
我们现在想做的事情是找出vector中大于5的数的个数，我们当然会立刻想到用for循环来写，比如下面的方式
for(std::vector<int>::iterator ite = vec.begin(), ite != vec.end(), ++ ite)
{
if(5< *ite)
++count;
}
这样做是正确的，但是当我们学了泛型算法，我们就会找到更为合适的方法来达到这个目的，并且能保证正确性和简洁性，比如
count_if，count_if需要传入一个函数对象，但问题在于我们还要传入一参数5，让容器的所有数都和5做比较，这个时候函数对象适
配器就隆重登场了，让我们来看看，它是怎么工作得。
首先我将STL中的binder1st的源码中最重要的部分摆出来，稍微做一些修改，注意完全是为了我们好理解。
binder1st：
template<class T>class binder1st:public unary_function<typename T::second_argument_type,typename T::result_type>
{
//最核心代码，我们需要理解的部分
binder1st(const T& X, const typename T::first_argument_type& Y):
op(X),value(Y){} //构造函数将X作为运算符，然后传入一个绑定为常量的值
result_type operator() ( const argument_type& X) const{
return (op(value,X));
private:
T op; //运算符
typename T::first_argument_type value; //常量值
}
}
binder1st一般不怎么使用，在程序中一般使用bind1st，bind1st调用了binder1st类。我们来做一下测试。
int main()
{
//声明一个数组
int a[] = {1,2,3,4,5,6,7,8};
const int N = sizeof(a)/sizeof(int);
std::vector<int> vec(a,a+N);
int vcount = std::count_if(vec.begin(),vec.end(),std::bind1st(std::less<int>(),5));
std::cout<<vcount<<std::endl;
return 0;
}
我们对上面的程序调用做一下说明，调用bind1st(std::less<int>(),5)，将less<int>()这个操作符传入到binder1st的构造函数中去，相当
于OP现在代表的是less<int>(),而binder1st::value = 5,在后面的算法中就会调用op(value,X)less(5,*iter)，就相当于是每一次比较是否有
5<*iter，如果结果为真，则返回true，否则返回false。同理binder2nd的实现原理和binder1st类似，不过不同在于在后面执行op操作
的时候是采用op（X,value),那上面的程序用binder2nd可以修改如下：
int main()
{
//声明一个数组
int a[] = {1,2,3,4,5,6,7,8};
const int N = sizeof(a)/sizeof(int);
std::vector<int> vec(a,a+N);
int vcount = std::count_if(vec.begin(),vec.end(),std::bind2nd(std::greater<int>(),5));
std::cout<<vcount<<std::endl;
return 0;
}
输出的结果都是3