7 仿函数

7.1 仿函数概念

使用方法：

greater<int> ig;
cout << ig(4,6);  //常规用法
cout << greater<int>()(6,4); //使用临时对象。

7.2 可配接的关键

为了拥有可配接能力，每一个仿函数必须定义自己的相应型别。为了方便，定义了两个class，分别代表一元仿函数和二元仿函数（STL不支持三元仿函数）。任何仿函数，只有继承其中一个class，就可以获得相应型别，也就自动拥有了配接能力。

1、unary_function——用于一元函数

template <class Arg, class Result>
struct unary_function {
	typefef Arg argument_type;
	typedef Result result_type;
}

2、binary_function——用于二元函数

template <class Arg1, class Arg2, class Result>
struct binary_function{
	typedef Arg1 first_argument_type;
	typedef Arg2 secong_argument_type;
	typedef Result result_type;
}

7.3 算数类仿函数

plus<T> minus<T> multiplies<T> divides<T> modules<T> negate<T>

template <class T>
struct plus : public binary_function<T, T, T> {
	T operator()(const T& x, const T& y) const{result x + y;}
};

7.4 关系运算符

equal_to<T> not_equal_to<T> greater<T> greater_equal<T> less<T> less_equal<T>

template <class T>
struct equal_to : public binary_function<T, T, bool> {
	T operator()(const T& x, const T& y) const{result x == y;}
};

7.5 逻辑运算符

logical_and<T> logical_or<T> logical_not<T>

7.6 证同（identity）、选择（select）、投射（project）

这些仿函数只是将参数原封不动的传回，这只是为了间接性，间接性是抽象化的重要工具。

template <class T>
struct idendity : public unary_function<T, T>{
	const T& operator()(const T& x) const { return x; }
};

template <class Pair>
struct select1st : public unary_function<Pair, typename Pair::first_type> {
	const typename Pair::first_type& operater()(const Pair& x) const { return x.first; }
};

template <class Pair>
struct select2nd : public unary_function<Pair, typename Pair::second_type> {
	const typename Pair::second_type& operater()(const Pair& x) const { return x.second; }
};