仿函数（函数对象）

本文乃作者学习《C++标准程序库》的学习笔记，首先介绍了仿函数（函数对象）和函数适配器（配接器）的概念，然后列出STL中所有的仿函数，以及函数适配器，并摘录了几个例子演示仿函数和函数适配器的用法，最后讨论了仿函数的组合，以及实现方法。

1.仿函数是什么东西？

《C++标准程序库》里对仿函数的解释是：仿函数是泛型编程强大威力和纯粹抽象概念的又一例证。你可以说，任何东西，只要其行为像函数，它就是一个函数。因此如果你定义了一个对象，行为像函数，它就可以被当做函数来用。

那么，什么才算具备函数行为呢？所谓函数行为，是指可以"使用小括号传递参数，籍以调用某个东西"。例如：

function(argc1, argc2);

如果你指望对象也可以如此这般，就必须让它们也可以被"调用"——通过小括号的运用和参数的传递。你只需要定义operator()，并给予合适的参数型别：

class X { public: // define 'function call' operator return-value operator()(arguments) const; ...... };

现在，你可以把这个类别的对象当做函数来调用了：

X fo; ...... // call operator () for function object to fo(argc1, argc2);

上述调用等价于：

fo.operator() (argc1, argc2);

总结如下:

• 函数对象是一个普通对象
• 重载了operator ()操作符
• 函数对象一般都比较简单，主要用到operator()操作，其他成员函数和成员变量都是为operator()服务

为了帮助理解仿函数，我们来看一个例子：

#include <algorithm> class gen_by_two { public: gen_by_two( int seed = 0 ) : _seed( seed ){} int operator()() { return _seed += 2; } private: int _seed; }; vector<int> ivec( 10 ); // fills ivec: 102 104 106 108 110 112 114 116 118 120 generate_n( ivec.begin(), ivec.size(), gen_by_two(100) );
或者

generate_n( ivec.begin(), ivec.size(), gen_by_two() );

上面的程序使用generate_n函数，给容器赋值，在调用gen_by_two(100)的时候，我们其实是生成了一个对象，并调用对象的构造函数给成员变量赋值，然后多次（v.size())调用该变量的operator()成员函数，将返回的值依次存入容器中。

2.函数适配器又是什么东西？

函数适配器又称"函数配接器"，是只能够将仿函数和另一个仿函数（或某个值，或某一个函数）结合起来的仿函数。函数适配器声明于<functional>中。

下面来看一个例子：

find_if(coll.begin(), coll.end(), //range bind2nd(greater<int>(), 42));criterion

其中表达式bind2nd(greater<int>(),42)导致一个组合型的仿函，检查某个int值是否大于42.实际上bind2nd是将一个二元仿函数转换为一个一元仿函数。bind2nd的意思就是将42作为比较(greater<int>())函数的第二个参数，也就相当于是elem.value > 42，如果容器中没有42这个值，那么下面这条语句和上面的语句是一样的。

find_if(coll.begin(), coll.end(), //range bind1st(less<int>(), 42));criterion

上面两个小例子演示了适配器的功能，同时还讲解了bind1st和bind2nd的区别。

3.预定义的仿函数

4.预定义的函数适配器

5.仿函数(以及函数适配器)的使用示例

下面摘录几个《C++标准程序库》上的例子，以及个别我自己补充的实例，用于演示仿函数的使用，希望能够通过例子快速掌握仿函数。

5.1 查找25或者35第一次出现的位置

pos = find_if(coll.begin(), coll.end(), //range compose_f_gx_hx(logical_or<bool>(), //criterion bind2nd(equal_to<int>(), 25), bind2nd(equal_to<int>(), 35)));

5.2 将集合中全部元素都设为相反值

transform(coll.begin(), coll.end(),//source coll.begin(),//destination negate<int>());//operation

5.3 对集合中的所有元素求平方

transform(coll.begin(), coll.end(),//first source coll.begin(),//second source coll.begin(),//destination multiplies<int>());//operation

5.4 所有元素乘以10

transform(coll.begin(), coll.end(),//source back_inserter(coll2),//destination bind2nd(multiplies<int>(),10));//operation

5.5 将a替换为b

replace_if(coll2.begin(), coll2.end(),//range bind2nd(equal_to<int>(), 70),//replace criterion 42);//new value

5.6 删除小于50的元素

coll.erase(remove_if(coll.begin(), coll.end(),//range bind2nd(less<int>(), 50)), //remove criterion coll.end());

5.7 返回第一个偶数

pos = find_if(coll.begin(), coll.end(), //range not1(bind2nd(modulus<int>(), 2)));

上面几个例子都还是挺使用的，返回第一偶数么，怎么看怎么奇怪，没有关系，我们来看一个不奇怪的：

5.8 调整数组顺序，使得奇数位于偶数前面

stable_partition(v.begin(), v.end(), bind2nd(modulus<int>(), 2));

关于这里用到的泛型算法，如果还有不熟悉的，可以参考这里

5.9 mem_fun_ref 与mem_fun 的区别以及用法

• mem_fun_ref:调用某个对象的成员函数
• mem_fun:功能和mem_fun_ref 一样，如果容器里存放的是指向对象的指针，而不是对象，则应该使用mem_fun

下面来看一个使用mem_fun_ref 的例子，假设我们定义了一个类Person,并且定义了一个print 的成员函数，容器coll 里存放了coll.size() 个Person 对象，现在要调用每个对象的print 成员函数，那么我们就可以像下面这样。

class Person { public: ... void print() const { std::cout << name << std::endl; } void printWithPrefix(std::string prefix) const { std::cout << prefix << name << std::endl; } private: std::string name; }; void foo(const std::vector<Person> &coll) { for_each(coll.begin(), coll.end(), mem_fun_ref(&Person::print)); }

我们不能直接把一个成员函数传递给一个算法，所以这里必须运用函数适配器，下面这种做法会导致编译错误。

for_each(coll.begin(), coll.end(), &Person::print); //ERROR

通过使用函数适配器，我们还可以像被调用的成员函数传递一个参数。如下所示：

 //call member function printWithPrefix() for each element for_each(coll.begin(), coll.end(), bind2nd(mem_fun_ref(&Person::printWithPrefix), "person:"));

5.10 ptr_fun

ptr_fun 使得我们能够在其他函数适配器中使用一般函数，加入你自己定义了一个函数check()，用于检验容器中的中的元素是否符合某种条件，你就可以这样：

pos = find_if(coll.begin(), coll.end(), not1(ptr_fun(check)));

这里不能使用not1(check)，因为not1()需要用到由仿函数提供的某些特殊型别.

第二种用法是，当你有一个双参数的全局函数，又想把它当做一个单参数函数来使用，可以用如下语句：

//find first string that is not empty pos = find_if(coll.begin(), coll.end(), bind2nd(ptr_fun(strcmp),""));

6.让自定义的仿函数也可以使用函数适配器

你可以编写自己的仿函数，但如果希望它们能够和函数适配器搭配运用，就必须满足某些条件：必须提供一些型别成员来反映其参数和返回值的型别。为了方便我们，C++标准库提供了一些结构如下：

转载：http://mingxinglai.com/cn/2012/09/function-object/