not1,not2,bind1st和bind2nd详解

1.引言

　　bind1st和bind2nd函数用于将一个二元函数对象（binary functor，bf）转换成一元函数对象（unary functor，uf）。为了达到这个目的，它们需要两个参数：要转换的bf和一个值（v）。

可能这么解释以后大家还不是很清楚，那么就说点白话吧。我们在做比较的时候所写的表达式像 x > k ，x < k，这里的k是一个参数表示你程序里面的表达式要和k值去比较。上面这两个表达式对应的应该是bind2nd ，简单的理解就是把k作为比较表达式的第二个参数。如果使用bind1st则对应的表达式是 k > x，k < x，也就是把k作为比较表达式的第一个参数。大家可能会注意到这里面没有＝的比较，先别着急，后面将会说道如何实现＝的比较。先举两个例子看看bind1st和bind2nd的用法。　

• f = std::bind1st( functor, v); 'f( x)'等价于'functor( v, x)'
• f = std::bind2nd( functor, v); 'f( x)'等价于'functor( x, v)'

2.bind1st和bind2nd例子

int a[] = {, , , };

std::vector< int> arr(a, a + );

// 移除所有小于100的元素
arr.erase( std::remove_if( arr.begin(),  arr.end(),std::bind2nd( std::less< int>(), )), arr.end());

这里的比较表达式相当于arr.value < 100，如果用bind1st则表达的意思就恰恰相反

// 移除所有大于100的元素
arr.erase( std::remove_if( arr.begin(),  arr.end(),std::bind1st( std::less< int>(), )), arr.end());

这里的表达式相当于100 < arr.value，然为了实现删除大于100的元素你同样可以使用bind2nd

// 移除所有大于100的元素
arr.erase( std::remove_if( arr.begin(),  arr.end(),std::bind2nd( std::greater< int>(), )), arr.end());

前面说道=的比较，比如说x <= k怎么实现呢，std又提供了一个好东西not1，我们可以说 !(x > k) 和 x <= k是等价的，那么我们看看下面的表达式：

// 移除所有小于等于100的元素
arr.erase( std::remove_if( arr.begin(),  arr.end(),std::not1(std::bind2nd( std::greater< int>(), ))), arr.end());

3.not1和not2例子

not1是构造一个与谓词结果相反的一元函数对象，not2是构造一个与谓词结果相反的二元函数对象。

3.1 not1例子

 // not1 example
 #include <iostream>     // std::cout
 #include <functional>   // std::not1
 #include <algorithm>    // std::count_if

 struct IsOdd {
   bool operator() (const int& x) const {return x%==;}
   typedef int argument_type;
 };

 int main () {
   int values[] = {,,,,};
   int cx = std::count_if (values, values+, std::not1(IsOdd()));
   std::cout << "There are " << cx << " elements with even values.\n";
   return ;
 }

3.2 not2例子

 // not2 example
 #include <iostream>     // std::cout
 #include <functional>   // std::not2, std::equal_to
 #include <algorithm>    // std::mismatch
 #include <utility>      // std::pair

 int main () {
   int foo[] = {,,,,};
   int bar[] = {,,,,};
   std::pair<int*,int*> firstmatch,firstmismatch;
   firstmismatch = std::mismatch (foo, foo+, bar, std::equal_to<int>());
   firstmatch = std::mismatch (foo, foo+, bar, std::not2(std::equal_to<int>()));
   std::cout << "First mismatch in bar is " << *firstmismatch.second << '\n';
   std::cout << "First match in bar is " << *firstmatch.second << '\n';
   return ;
 }

例子需要包含头文件

#include <vector>

#include <algorithm>

#include <functional>