c++、 STL中函数对象（仿函数）

定义：

重载函数调用操作符的类，其对象常称为函数对象（function object），即它们是行为类似函数的对象。又称仿函数。函数调用操作符必须声明为成员函数。一个类可以定义函数调用操作符的多个版本，由形参的数目或类型加以区别。

仿函数主要用于STL中的算法中，虽然函数指针虽然也可以作为算法的参数，但是函数指针不能满足STL对抽象性的要求，也不能满足软件积木的要求--函数指针无法和STL其他组件搭配，产生更灵活变化。

仿函数的本质就是，类重载了operator（）方法，创建一个行为类似于函数的对象。

与普通函数相比，函数对象比函数更加灵活，函数对象的优势：

• 函数对象可以有自己的状态。我们可以在类中定义状态变量，这样一个函数对象在多次的调用中可以共享这个状态；
• 函数对象有自己特有的类型。我们可以传递相应的类型作为参数来实例化相应的模板，比如说带参数的函数形参

例如：

#include<iostream>
using namespace std;

class Fun
{
public:
	Fun(int a = 0,int b=0) :a(a), b(b){ cout << "FUN()" << endl; }
	int operator()( const int& a, const int& b)
	{
		cout << "()" << endl;
		return a*b;
	}
private:
	int a;
	int b;
};

int main()
{
	Fun a;
	cout << a(2, 3) << endl;//a为一个函数对象
	return 0;
}

（二）STL 仿函数的分类，若以操作数的个数划分，可分为一元和二元仿函数；若以功能划分，可分为算术运算、关系运算、逻辑运算三大类。

    任何应用程序欲使用STL内建的仿函数，都必须含入<functional>头文件，SGI则将它们实际定义于<stl_function.h>文件中。

仿函数的相应型别主要用来表现函数参数型别和传回值型别。为了方便起见，<stl_function.h>定义了两个classes，分别代表一元仿函数和二元仿函数（STL不支持三元仿函数）

// C++ Standard 规定，每一個 Adaptable Unary Function 都必须继承此类别  
template <class Arg, class Result>
struct unary_function {
	typedef Arg argument_type;
	typedef Result result_type;
};

// C++ Standard 規定，每一個 Adaptable Binary Function 都必须继承此类别  
template <class Arg1, class Arg2, class Result>
struct binary_function {
	typedef Arg1 first_argument_type;
	typedef Arg2 second_argument_type;
	typedef Result result_type;
}；