函数对象

本文乃作者学习《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函数,给容器赋值,在调用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++标准库提供了一些结构如下:

待补充

#7.待补充

仿函数的组合。等我学习了boost 再来补充吧。

赖明星 /
Published under (CC) BY-NC-SA in categories 程序语言  tagged with function object  functor