Blame view

3rdparty/boost_1_81_0/boost/mpl/index_if.hpp 1.47 KB
63e88f80   Hu Chunming   提交三方库
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
  
  #ifndef BOOST_MPL_INDEX_IF_HPP_INCLUDED
  #define BOOST_MPL_INDEX_IF_HPP_INCLUDED
  
  // Copyright Eric Friedman 2003
  //
  // Distributed under the Boost Software License, Version 1.0. 
  // (See accompanying file LICENSE_1_0.txt or copy at 
  // http://www.boost.org/LICENSE_1_0.txt)
  //
  // See http://www.boost.org/libs/mpl for documentation.
  
  // $Id$
  // $Date$
  // $Revision$
  
  #include <boost/mpl/aux_/find_if_pred.hpp>
  #include <boost/mpl/begin_end.hpp>
  #include <boost/mpl/if.hpp>
  #include <boost/mpl/int.hpp>
  #include <boost/mpl/iter_fold_if.hpp>
  #include <boost/mpl/next.hpp>
  #include <boost/mpl/void.hpp>
  #include <boost/mpl/aux_/na_spec.hpp>
  #include <boost/mpl/aux_/lambda_support.hpp>
  #include <boost/type_traits/is_same.hpp>
  
  namespace boost { namespace mpl {
  
  template<
        typename BOOST_MPL_AUX_NA_PARAM(Sequence)
      , typename BOOST_MPL_AUX_NA_PARAM(Predicate)
      >
  struct index_if
  {
      typedef typename iter_fold_if<
            Sequence
          , int_<0>
          , next<>
          , aux::find_if_pred<Predicate>
          >::type result_;
  
      typedef typename end<Sequence>::type not_found_;
      typedef typename first<result_>::type result_index_;
      typedef typename second<result_>::type result_iterator_;
  
      typedef typename if_<
            is_same< result_iterator_,not_found_ >
          , void_
          , result_index_
          >::type type;
  
      BOOST_MPL_AUX_LAMBDA_SUPPORT(2,index_if,(Sequence,Predicate))
  };
  
  BOOST_MPL_AUX_NA_SPEC(2, index_if)
  
  }}
  
  #endif // BOOST_MPL_INDEX_IF_HPP_INCLUDED