STL中仿函数(functors)、类成员和mem_fun的使用

原创 2005年05月26日 15:44:00

众所周知,STL使用起来非常方便,其中仿函数(functor)扮演了一个非常重要的角色。灵活运用仿函数的使用对于发挥STL强大功能非常关键。本文详细介绍了如何使用mem_fun和mem_fun1来绑定类成员函数,使之成为functor

什么是仿函数?就是一个重载了"()"运算符的struct,例如:

struct print_obj{
   
void operator(int a)const{
        
cout<<a<<endl;
    }
};

在STL的许多算法(algorithm)中都需要使用functor. 如:for_each. 同样在关联容器中也需要使用functor, 如map, set等。经常在使用STL算法的时候,经常需要把仿函数和类联系在一起,如果可以直接使用类的成员函数作为仿函数,那就方便多了。mem_fun的功能就是如此。

先看个简单的例子:

struct D {
  D(int i=0){num=i;}
  int num;
};
struct print_D{
 
void operator()(const D* d)const{
     
cout<<"I am D. my num="<<d->num<<endl;
    }
};

int main()
{
  vector<D*> V;

  V.push_back(new D(1));
  V.push_back(new D(2));
  V.push_back(new D);
  V.push_back(new D(3));

  for_each(V.begin(), V.end(), print_D());
}
编译输出:

I am D. my num=1
I am D. my num=2
I am D. my num=0
I am D. my num=3

如果使用mem_fun,会方便很多:

struct D {
  D(int i=0){num=i;}
  void print() { cout << "I'm a D. my num=" << num<< endl; }
  int num;
};

int main()
{
  vector<D*> V;

  V.push_back(new D(1));
  V.push_back(new D(2));
  V.push_back(new D);
  V.push_back(new D(3));

  for_each(V.begin(), V.end(), mem_fun(&D::print));
}

是不是省了一个仿函数?方便多了,没错吧。这也更符合面向对象的规则。不过这样好像让人难以理解,这里告诉你一个理解STL的诀窍:

    如果对STL的某个部分不了解,就去看源码,源码是最好的老师。

那看看源码是怎么回事,在SGI STL的stl_function.h:

template <class _Ret, class _Tp>
inline mem_fun_t<_Ret,_Tp> mem_fun(_Ret (_Tp::*__f)())
{ return mem_fun_t<_Ret,_Tp>(__f); }
 

原来mem_fun返回的是一个对象:mem_fun_t<_Ret,_Tp>.(不要嫌人家命名太怪异).那mem_fun_t<_Ret,_Tp>又是什么东东?还是看源码:

template <class _Ret, class _Tp>
class mem_fun_t : public unary_function<_Tp*,_Ret> {
public:
   
explicit mem_fun_t(_Ret (_Tp::*__pf)()) : _M_f(__pf) {}
    _Ret operator()(_Tp* __p)
const { return (__p->*_M_f)(); }
private:
    _Ret (_Tp::*_M_f)();
};

看明白了吗?原来mem_fun_t就是一个functor,这下就满足了for_each的要求了。其调用流程是这样的,for_each把vector中的元素传送给mem_fun,mem_fun自己产生一个仿函数mem_fun_t,然后仿函数调用其重载的()。过程就这么简单。当然你不能对其他类的成员函数进行绑定,因为在for_each调用过程中,会传递其*iterator值,如果是其他类的成员函数,那么这个类的对象无法传入,当然就无法完成任务了。

这里使用的是vector<D*> V; 在mem_fun_t构造函数中,刚好需要指针,如果不是D*, 而是使用vector<D> V; 还能用吗?

这是你需要使用的是mem_fun_ref。把程序改成:

struct D {
  D(int i=0){num=i;}
  void print() { cout << "I'm a D. my num=" << num<< endl; }
  int num;
};

int main()
{
  vector<D> V;

  V.push_back(D(1));
  V.push_back( D(2));
  V.push_back( D());
  V.push_back( D(3));

  for_each(V.begin(), V.end(), mem_fun_ref(&D::print));
}

一切都OK了。

mem_fun对于一些多态的虚函数也十分有用,注意看下面的例子:

struct B {
  virtual void print() = 0;
};

struct D1 : public B {
  void print() { cout << "I'm a D1" << endl; }
};

struct D2 : public B {
  void print() { cout << "I'm a D2" << endl; }
};

int main()
{
  vector<B*> V;

  V.push_back(new D1);
  V.push_back(new D2);
  V.push_back(new D2);
  V.push_back(new D1);

  for_each(V.begin(), V.end(), mem_fun(&B::print));
}

理解了吗? 有更多的兴趣,可以看看mem_fun1mem_fun1_ref,他们可以使用绑定一个参数的类成员。

【C++ STL】深入解析神秘的 --- 仿函数

一,概述         仿函数(functor),就是使一个类的使用看上去象一个函数。其实现就是类中实现一个operator(),这个类就有了类似函数的行为,就是一个仿函数类了。   有些功能的...
  • tianshuai11
  • tianshuai11
  • 2012年06月24日 21:36
  • 26433

STL学习_仿函数篇

STL学习_仿函数篇 简介仿函数,实质是函数对象,是一种具有函数特质的对象。对调用者,它可以像函数一样地被调用;对被调用者,它可以以对象所定义的function call operator扮演函数的实...
  • yzhang6_10
  • yzhang6_10
  • 2016年05月02日 17:58
  • 2149

STL之仿函数排序(1)

在逐步深入对STL库的研究过程中,接触到很多参数是函数指针形式。例如在for_each,sort等算法中,对内置类型可以直接使用。当我们想要以自己的方式去实现时,又改如何去做呢?   首先,来看看其...
  • u013184159
  • u013184159
  • 2016年04月23日 13:41
  • 303

浅析STL 谓词 + 仿函数 + 函数指针(c)

一:起因 (0)提到C++ STL,首先被人想到的是它的三大组件:Containers(容器), Iterators(迭代器), Algorithms(算法)。容器为用户提供了常用的数据结构(如,ve...
  • u010700335
  • u010700335
  • 2015年01月30日 20:57
  • 2294

C++ STL 仿函数使用

1. 前言 仿函数作为C++ STL 6大组件之一,它在行为类似函数,可作为算法的某种策略。这里补充C++ STL的6大组件的基本介绍: 1. 容器:其中包含各种数据结构,如vector、list...
  • m_buddy
  • m_buddy
  • 2016年11月20日 17:08
  • 392

STL源码学习——仿函数和配接器

仿函数 仿函数又称函数对象,它本质上是 一种具有函数特质的对象,它 重载了operator()运算符,我们可以像使用函数一样使用该对象。 比如: template class T> stru...
  • jiange_zh
  • jiange_zh
  • 2016年03月06日 13:44
  • 1801

仿函数(functors/function objects)原理及使用

仿函数(functors,或名 function objects,函数对象),是 STL 六大组件(Components)的重要一环,如下图: 仿函数的应用场景主要在:作为算法组件中的相关函数接...
  • lanchunhui
  • lanchunhui
  • 2016年02月19日 08:53
  • 639

理解STL中的函数子,函数子类,和其用法

 本文最初发表于SpriteLW的博客http://blog.csdn.net/SpriteLW,欢迎转载,但请务必保留原文完整,并保留本声明。  首先要知道什么是函数子,什么是函数子类,与其和函数的...
  • SpriteLW
  • SpriteLW
  • 2006年12月07日 20:58
  • 2438

c++中仿函数的理解

先考虑一个简单的例子:假设有一个vector,你的任务是统计长度小于5的string的个数,如果使用count_if函数的话,你的代码可能长成这样:1 bool LengthIsLessThanFiv...
  • XiaoHeiBlack
  • XiaoHeiBlack
  • 2016年11月11日 17:47
  • 946

STL与泛型编程<十五>:预定义的仿函数和仿函数适配器

如下图,STL中预定于的这些仿函数 使用请先头文件#include 由上图可以看出,总的来说可以分成一元仿函数(只有一个参数)和二元仿函数(两个参数);又可以分为:算术类,相对关系类,逻辑运...
  • MonroeD
  • MonroeD
  • 2016年04月04日 21:59
  • 528
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:STL中仿函数(functors)、类成员和mem_fun的使用
举报原因:
原因补充:

(最多只允许输入30个字)