not1,not2,bind1st和bind2nd詳解，not1bind2nd
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[] = {1, 2, 100, 200};
std::vector< int> arr(a, a + 4);
// 移除所有小於100的元素
arr.erase( std::remove_if( arr.begin(), arr.end(),std::bind2nd( std::less< int>(), 100)), arr.end());
這裡的比較表達式相當於arr.value < 100，如果用bind1st則表達的意思就恰恰相反
// 移除所有大於100的元素
arr.erase( std::remove_if( arr.begin(), arr.end(),std::bind1st( std::less< int>(), 100)), arr.end());
這裡的表達式相當於100 < arr.value，然為了實現刪除大於100的元素你同樣可以使用bind2nd
// 移除所有大於100的元素
arr.erase( std::remove_if( arr.begin(), arr.end(),std::bind2nd( std::greater< int>(), 100)), 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>(), 100))), arr.end());
3.not1和not2例子
not1是構造一個與謂詞結果相反的一元函數對象，not2是構造一個與謂詞結果相反的二元函數對象。
3.1 not1例子
![]()
1 // not1 example
2 #include <iostream> // std::cout
3 #include <functional> // std::not1
4 #include <algorithm> // std::count_if
5
6 struct IsOdd {
7 bool operator() (const int& x) const {return x%2==1;}
8 typedef int argument_type;
9 };
10
11 int main () {
12 int values[] = {1,2,3,4,5};
13 int cx = std::count_if (values, values+5, std::not1(IsOdd()));
14 std::cout << "There are " << cx << " elements with even values.\n";
15 return 0;
16 }
View Code
3.2 not2例子
![]()
1 // not2 example
2 #include <iostream> // std::cout
3 #include <functional> // std::not2, std::equal_to
4 #include <algorithm> // std::mismatch
5 #include <utility> // std::pair
6
7 int main () {
8 int foo[] = {10,20,30,40,50};
9 int bar[] = {0,15,30,45,60};
10 std::pair<int*,int*> firstmatch,firstmismatch;
11 firstmismatch = std::mismatch (foo, foo+5, bar, std::equal_to<int>());
12 firstmatch = std::mismatch (foo, foo+5, bar, std::not2(std::equal_to<int>()));
13 std::cout << "First mismatch in bar is " << *firstmismatch.second << '\n';
14 std::cout << "First match in bar is " << *firstmatch.second << '\n';
15 return 0;
16 }
View Code
例子需要包含頭文件
#include <vector>
#include <algorithm>
#include <functional>
