详解STL的find_if函数

在写程序的时候，需要经常在map或者vector中查找符合条件的记录，而在map和vector中都没有提到查找函数。在本文中，详细说明了find_if用在map和vector中的用法。

我们首先看下在STL中find_if是怎样实现的,然后就能写出针对各种类型的find_if函数.

// 定义在STL实现代码stl_algo.h中

template  < class  InputIterator,  class  Predicate >

InputIterator find_if(InputIterator first, InputIterator last,Predicate pred) 

... ... {

       while (first != last && !pred(*first)) ++first;

       return first;

}

可见STL是把find_if定义为一个函数模板，该函数模板接收两个数据类型，InputItearator是输入的迭代器，Predicate是用于比较的函数或者函数对象（仿函数）。这里有个问题需要注意，那就是为什么这里要将比较函数定义为函数对象呢?这个问题在下面进行分析下。

1．map的查找方法

       如果给定map的一个second值，要求在该map中找出与之相符的map索引，则需要使用STL的算法find_if来查找，而find_if的比较函数需写为函数对象。下面是一个示例：

// 用于map比较的函数对象

class  CMapFindIf

... {

    public:

       CMapFindIf(string szFindString):_szFindString(szFindString)...{};

       ~CMapFindIf()...{};

    public:

       bool operator()(map<string,string>::value_type &it)

       ...{

          //TODO:这里写比较函数的算法，如果认为和给定值相符，则返回true，否则返//回false

if ( _szFindString.find(it.second) != string::npos )

              return true;

           else

              return false;

       }   

    private:

       string _szFindString;    

} ;

这个用于比较的函数对象实际上重载了()运算符，因为在find_if函数中是这样调用该函数对象的pred(*first))，实际上是将它作为一个bool key_comp() 函数使用的，在函数对象中的()运算符的形参类型是比较对象的value_type，是因为find_if中传入*first的缘故。而value_type到底是什么类型，下面有相信定义。

       上面给出了仿函数的写法，下面是针对map的find_if使用方法。

上面的vector查找方式是调用函数的查找，仅能查找符合某一条件的数据，而在实际情况中可能需要查找不同条件的数据，所以此处我们也使用函数对象（仿函数）方法实现一个。

class  CVecFindFun

... {

    public:

       CVecFindFun(string szFindString):m_szFindString(szFindString)

...{}

       ~CVecFindFun()...{}

    private:

       string m_szFindString;

    public:

       //bool operator() (string &vecValue)

bool operator() (vector<string>::value_type &vecValue)

       ...{

           if ( vecValue == m_szFindString )

              return true;

           else

              return false;

       } 

} ;

template  < class  T,  class  Alloc  =  alloc >

class  vector 

... {

    public:

       typedef T value_type;

       typedef value_type* pointer;

       typedef const value_type* const_pointer;

       typedef value_type* iterator;

       typedef const value_type* const_iterator;

       typedef value_type& reference;

       typedef const value_type& const_reference;

       typedef size_t size_type;

    .......

} ;

2．map插入时的排序

 

把比较函数写成函数对象才可以的,比如:

class  CompEr

... {

    public:

       bool operator()(const string& ls, const string& rs) const

       ...{

           return ls < rs;                                        

       }

} ;

typedef std::map < string ,  int , CompEr >  mymap;

int  main( int  argc,  char *  argv[])

... {

     //TODO:

return 0;

}

map < string ,  string >  _m_FileAcceptExeName;

char  szBuf[ 100 ]; // 查找值

if ( find_if(_m_FileAcceptExtName.begin(),_m_FileAcceptExtName.end(),

CMapFindIf( string (szBuf)))  !=  _m_FileAcceptExtName.end() )

     return   true ;

else

     return   false ;

 

在stl_map.h头文件中定义有以下的map::value_type 。可见map的value_type是pair类型的数据类型。

template  < class  Key,  class  T,  class  Compare,  class  Alloc  =  alloc >

class  map 

... {

    public:

    // typedefs:

       typedef Key key_type;

       typedef T data_type;

       typedef T mapped_type;

       typedef pair<const Key, T> value_type;

       typedef Compare key_compare;

    private:

       typedef rb_tree<key_type, value_type, 

                  select1st<value_type>, key_compare, Alloc> rep_type;

       rep_type t;  // red-black tree representing map

    public:

       typedef typename rep_type::pointer pointer;

       typedef typename rep_type::const_pointer const_pointer;

       typedef typename rep_type::reference reference;

       typedef typename rep_type::const_reference const_reference;

       typedef typename rep_type::iterator iterator;

       typedef typename rep_type::const_iterator const_iterator;

       typedef typename rep_type::reverse_iterator reverse_iterator;

       typedef typename rep_type::const_reverse_iterator

 const_reverse_iterator;

       typedef typename rep_type::size_type size_type;

       typedef typename rep_type::difference_type difference_type;

    ........

} ;  

map 的 iterator 的定义是在 stl_tree.h 中，定义如下：

template  < class  Key,  class  Value,  class  KeyOfValue,  class  Compare,

           class  Alloc  =  alloc >

class  rb_tree 

... {

    protected:

       typedef void* void_pointer;

       typedef __rb_tree_node_base* base_ptr;

       typedef __rb_tree_node<Value> rb_tree_node;

       typedef simple_alloc<rb_tree_node, Alloc> rb_tree_node_allocator;

       typedef __rb_tree_color_type color_type;

    public:

       typedef Key key_type;

       typedef Value value_type;

       typedef value_type* pointer;

       typedef const value_type* const_pointer;

       typedef value_type& reference;

       typedef const value_type& const_reference;

       typedef rb_tree_node* link_type;

       typedef size_t size_type;

       typedef ptrdiff_t difference_type;

    ......

} ;  

2．vector的查找方法

       vector的查找这里有两种方法，一个是定义查找函数，另一个是定义仿函数。

if  ( vto.size()  ==   1   &&  

find_if(vto.begin(), vto.end(),find_qq)  !=  vto.end() )

... {

    //TODO:    

}

bool  find_qq( string   & szMail) // find_qq(vector<string>::value_type )

... {

    if ( szMail.find("@qq.com") != string::npos )

       return true;

    return false;

}