STL中的适配器

王朝other·作者佚名  2006-01-08
窄屏简体版  字體: |||超大  

我们知道在STL中函数对象发挥着很大作用:

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

这里bind2nd就是一个函数对象,他提供了operator()的处理,是的我们可以象调用函数一样操作,这也就是他名字的由来.

find_if的第三个参数我们也可以使用传递函数指针,比如

bool mygreater(int t)

{

return true;

}

find_if(coll.begin(),coll.end(),mygreater);这样是完全合法的.

但是问题来了,如果我们想使用成员函数该怎么办?

class A

{

public:

bool greater()

{

return true;

}

};

我怎么对vector<A>中的元素执行这个greater?直接使用是不行了,只有采用的别的策略.

在设计模式中有一种适配器模式,目的就是解决两种接口不兼容的问提,我们再回过头看看我们上面的问题,我们正是遇到这种不兼容的问题.摸板函数需要的类型和我们的准备提供的操作接口不兼容.(成员函数指针多了一个this,所以调用上和一般函数有所不同).

当然你也可以多做一个版本的find_if来适应成员函数,下面的这个函数

template<class _InIt,class _Type>

inline _InIt mem_find_if(_InIt _First, _InIt _Last, bool (_Type::*_P)())

{ // find first satisfying _Pred

for (; _First != _Last; ++_First)

if (((*_First).*_P)())

break;

return (_First);

}

现在就可以直接

mem_find_if(coll.begin(),coll.end(),&A::greater);

但这种方法有点象补漏洞的感觉,有没有更加优雅的,不用在在最基础的地方添加函数的方式呢?

这里就是STL中的适配器的一个作用了,这里要谈到的适配器是mem_fun_ref,将成员函数接口转化成一个函数对象.我们先来看看他的使用:

find_if(coll.begin(),coll.end(),mem_fun_ref(&A::greater));

接下来让我们仔细看看这个适配器:

template<class _Result,class _Ty> inline

mem_fun_ref_t<_Result, _Ty> mem_fun_ref(_Result (_Ty::*_Pm)())

{ // return a mem_fun_ref_t functor adapter

return (std::mem_fun_ref_t<_Result, _Ty>(_Pm));

}

这个函数返回一个mem_fun_ref_t<_Result, _Ty>对象(这个函数对象就是适配两个接口的对象),调用的是mem_fun_ref_t<_Result, _Ty>(_Pm))这个构造函数.在这里_Result是我们成员函数的返回值,_Ty是我们的类的类型,_Pm就是我们打算调用的成员函数的指针.

我们再来看看我们真正传递给find_if的函数对象

template<class _Result,class _Ty>

class mem_fun_ref_t: public unary_function<_Ty, _Result>

{ // functor adapter (*left.*pfunc)(), non-const *pfunc

public:

explicit mem_fun_ref_t(_Result (_Ty::*_Pm)()): _Pmemfun(_Pm)

{ // construct from pointer

}

_Result operator()(_Ty& _Left) const

{ // call function

return ((_Left.*_Pmemfun)());

}

private:

_Result (_Ty::*_Pmemfun)(); // the member function pointer

};

这里最需要关注的就是operator(),这个函数有一个参数_Ty& _Left,这里的_Ty就是我们上面谈到的类的类型,这个operator()满足了find_if对于操作的要求.这个operator()的实质就是对于_Left调用Pmemfun,而这个Pmemfun在构造函数中初始化为我们传递的函数指针.

这样就完成我们对于成员函数的调用了.这个适配器产生一个函数对象将原本不兼容的两个接口(find_if所需要的类型和成员函数类型)完美的兼容了.

欢迎光临我的Blog http://www.blogcn.com/blog/?u=sevecol

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有  導航