C++

参考

<functional>

类模板
<functional>

std::binary_negate

template <class Predicate> class binary_negate;
二元函数对象类，其调用返回构造函数传递的另一个二元函数的相反值。
此类是一个二元函数对象类，并定义了成员 first_argument_type、second_argument_type 和 result_type。

类型为 binary_negate 的对象通常使用函数 not2 来构造。

此类定义了与以下行为相同的行为：

1
2
3
4
5
6
7
8
9
10
11
12
 
template <class Predicate> class binary_negate
  : public binary_function <typename Predicate::first_argument_type,
                            typename Predicate::second_argument_type, bool>
{
protected:
  Predicate fn_;
public:
  explicit binary_negate ( const Predicate& pred ) : fn_ (pred) {}
  bool operator() (const typename Predicate::first_argument_type& x,
                   const typename Predicate::second_argument_type& y) const
  { return !fn_(x,y); }
};
 
1
2
3
4
5
6
7
8
9
10
11
 
template <class Predicate> class binary_negate
{
protected:
  Predicate fn_;
public:
  explicit binary_negate (const Predicate& pred) : fn_ (pred) {}
  bool operator() (const typename Predicate::argument_type& x) const {return !fn_(x,y);}
  typedef typename Predicate::first_argument_type  first_argument_type;
  typedef typename Predicate::second_argument_type second_argument_type;
  typedef bool result_type;
};

模板参数

谓词
一个二元函数对象类，定义了成员 first_argument_type 和 second_argument_type。

成员类型

成员类型定义说明
first_argument_typeT成员 operator() 的第一个参数的类型
second_argument_typeT成员 operator() 的第二个参数的类型
result_typeT成员 operator() 返回的类型

成员函数

构造函数
构造一个对象，该对象的函数调用返回与其构造时传入的对象相反的值。
operator()
成员函数，返回与构造该对象时使用的函数对象相反的值。

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
// binary_negate example
#include <iostream>     // std::cout
#include <functional>   // std::binary_negate, std::equal_to
#include <algorithm>    // std::mismatch
#include <utility>      // std::pair

int main () {
  std::equal_to<int> equality;
  std::binary_negate < std::equal_to<int> > nonequality (equality);
  int foo[] = {10,20,30,40,50};
  int bar[] = {0,15,30,45,60};
  std::pair<int*,int*> firstmatch,firstmismatch;
  firstmismatch = std::mismatch (foo,foo+5,bar,equality);
  firstmatch = std::mismatch (foo,foo+5,bar,nonequality);
  std::cout << "First mismatch in bar is " << *firstmismatch.second << "\n";
  std::cout << "First match in bar is " << *firstmatch.second << "\n";
  return 0;
}

输出

First mismatch in bar is 0
First match in bar is 30


另见

not2
返回二元函数对象的否定 (函数模板)
unary_negate
否定一元函数对象类 (类模板)
binary_function
二元函数对象基类 (类模板)