C++

参考

<functional>

类模板
<functional>

std::binary_function

template <class Arg1, class Arg2, class Result> struct binary_function;
template <class Arg1, class Arg2, class Result> struct binary_function; // deprecated
二元函数对象基类
注意：该类在 C++11 中已被弃用。

这是一个标准*二元函数对象*的基类。

一般而言，*函数对象*是指定义了成员函数 operator() 的类的实例。这个成员函数允许该对象以与普通函数调用相同的语法使用，因此当需要通用函数类型时，它的类型可以用作模板参数。

对于*二元函数对象*，这个 operator() 成员函数接受两个参数。

binary_function 只是一个基类，具体的二元函数对象从中派生。它没有定义 operator() 成员（派生类需要定义它）——它只有三个公共数据成员，它们是模板参数的*typedef*。它定义为

1
2
3
4
5
6
 
template <class Arg1, class Arg2, class Result>
  struct binary_function {
    typedef Arg1 first_argument_type;
    typedef Arg2 second_argument_type;
    typedef Result result_type;
  };

成员

成员类型定义说明
first_argument_type第一个模板参数（Arg1）成员 operator() 的第一个参数的类型
second_argument_type第二个模板参数（Arg2）成员 operator() 的第二个参数的类型
return_type第三个模板参数（Result）成员 operator() 返回的类型

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
 
// binary_function example
#include <iostream>     // std::cout, std::cin
#include <functional>   // std::binary_function

struct Compare : public std::binary_function<int,int,bool> {
  bool operator() (int a, int b) {return (a==b);}
};

int main () {
  Compare Compare_object;
  Compare::first_argument_type input1;
  Compare::second_argument_type input2;
  Compare::result_type result;

  std::cout << "Please enter first number: ";
  std::cin >> input1;
  std::cout << "Please enter second number: ";
  std::cin >> input2;

  result = Compare_object (input1,input2);

  std::cout << "Numbers " << input1 << " and " << input2;
  if (result)
	  std::cout << " are equal.\n";
  else
	  std::cout << " are not equal.\n";

  return 0;
}

可能的输出

Please enter first number: 2
Please enter second number: 33
Numbers 2 and 33 are not equal.


另见

unary_function
一元函数对象基类 (类模板)