算法库的使用细节
算法库在使用的时候,有时不用关心其具体实现,有时却不得不关心.
不用关心,有find等.(说不关心细节,并不是说连其功能都可不晓.而是说其内部的实现.如果我们使用这个函数时,无需过多深入).
然而,算法库还有一些函数,如果你不知晓其内部实现的原理,只是知道它的功能,在使用上可能就达不到预期的目的.这类的函数有:remove_if等.
还是举例说明吧!
例子一:
class Int_Example
{
private:
int_iVal;
public:
Int_Example( intinitValue ):_iVal( initValue ){}
int operator()()
{
return_iVal ++;
}
};
int main()
{
vector<int>coll;
generate_n( back_inserter( coll),10,Int_Example( 1 ) );
copy(coll.begin(),coll.end(),ostream_iterator<int>(cout," " ) );
return0;
}
输入结果:
1 2 3 4 5 6 7 8 9 10
对于结果,我们先来看看generate_n实际上做了些什么操作:
template<class _OutIt,
class_Diff,
class_Fn0> inline
void_Generate_n(_OutIt _Dest, _Diff _Count, _Fn0 _Func)
{ // replace [_Dest, _Dest + _Count) with _Func()
for (;0 < _Count; --_Count, ++_Dest)
*_Dest = _Func();
}
首先,仿函数(function object)都是具有状态的,从原始术语我们很容易得知,可以把它当做一般的类.对象
算法库generate_n把Int_Example(1)传递给_Func,而由源码可以得知,此仿函数的状态其实是变化的.第一次是1,第二次为2.第三次为3...
所以才有上面所示结果.
之所以把generate_n挑出来,是因为这个函数有做”特殊”的操作,唯一需要注意的是仿函数状态改变.了.
那么读者可能就会问了,难道存在其他的算法,使得仿函数不变的?
这里我们就引入remove_if.
同样我们也先看一个例子:
class Int_Example
{
private:
int_iVal;
intcount;
public:
Int_Example( intinitValue ):_iVal( initValue ),count( 0 ){}
bool operator()( int )
{
return++count == _iVal;
}
};
int main()
{
vector<int>coll;
for ( int i = 0;i < 10; ++ i )
{
coll.push_back( i );
}
vector<int>::iteratorpos = remove_if( coll.begin(),coll.end(),Int_Example( 3 ) );
coll.erase( pos,coll.end() );
copy(coll.begin(),coll.end(),ostream_iterator<int>(cout," " ) );
system( "pause");
return0;
}
输出结果:
0 1 3 4 6 7 8 9
照上给出remove_if的实现:
template<class _FwdIt,
class_Pr> inline
_FwdIt remove_if(_FwdIt _First, _FwdIt_Last, _Pr _Pred)
{ // remove each satisfying _Pred
_First = _STD find_if(_First, _Last,_Pred);
if(_First == _Last)
return(_First); //empty sequence, all done
else
return(_Rechecked(_First,
_Remove_if(_Unchecked(_First),_Unchecked(_Last), _Pred)));
}
请注意的是:_First的取值是依靠find_if来得到的,此时会将_Pred副本的状态改变.此时_First指向value为2,程序接着继续往下走,注意此时_Pred的只并没有改变,其内部直_iVal,count分别为3和0.
这是函数调用_Remove_if,将cout增至3,然后删除找到的这两个数:2和5.
总结:当算法库需要用到仿函数时,要特别注意其状态.有些算法不会改变其状态,有些则不然.