| 1 | |
|---|
| 2 | #ifndef BOOST_MPL_EQUAL_HPP_INCLUDED |
|---|
| 3 | #define BOOST_MPL_EQUAL_HPP_INCLUDED |
|---|
| 4 | |
|---|
| 5 | // Copyright Aleksey Gurtovoy 2000-2004 |
|---|
| 6 | // |
|---|
| 7 | // Distributed under the Boost Software License, Version 1.0. |
|---|
| 8 | // (See accompanying file LICENSE_1_0.txt or copy at |
|---|
| 9 | // http://www.boost.org/LICENSE_1_0.txt) |
|---|
| 10 | // |
|---|
| 11 | // See http://www.boost.org/libs/mpl for documentation. |
|---|
| 12 | |
|---|
| 13 | // $Id$ |
|---|
| 14 | // $Date$ |
|---|
| 15 | // $Revision$ |
|---|
| 16 | |
|---|
| 17 | #include <boost/mpl/aux_/iter_fold_if_impl.hpp> |
|---|
| 18 | #include <boost/mpl/aux_/iter_apply.hpp> |
|---|
| 19 | #include <boost/mpl/and.hpp> |
|---|
| 20 | #include <boost/mpl/not.hpp> |
|---|
| 21 | #include <boost/mpl/begin_end.hpp> |
|---|
| 22 | #include <boost/mpl/next.hpp> |
|---|
| 23 | #include <boost/mpl/always.hpp> |
|---|
| 24 | #include <boost/mpl/bool.hpp> |
|---|
| 25 | #include <boost/mpl/lambda.hpp> |
|---|
| 26 | #include <boost/mpl/bind.hpp> |
|---|
| 27 | #include <boost/mpl/apply.hpp> |
|---|
| 28 | #include <boost/mpl/void.hpp> |
|---|
| 29 | #include <boost/mpl/aux_/na_spec.hpp> |
|---|
| 30 | #include <boost/mpl/aux_/lambda_support.hpp> |
|---|
| 31 | #include <boost/mpl/aux_/msvc_eti_base.hpp> |
|---|
| 32 | |
|---|
| 33 | #include <boost/type_traits/is_same.hpp> |
|---|
| 34 | |
|---|
| 35 | namespace boost { namespace mpl { |
|---|
| 36 | |
|---|
| 37 | namespace aux { |
|---|
| 38 | |
|---|
| 39 | template< |
|---|
| 40 | typename Predicate |
|---|
| 41 | , typename LastIterator1 |
|---|
| 42 | , typename LastIterator2 |
|---|
| 43 | > |
|---|
| 44 | struct equal_pred |
|---|
| 45 | { |
|---|
| 46 | template< |
|---|
| 47 | typename Iterator2 |
|---|
| 48 | , typename Iterator1 |
|---|
| 49 | > |
|---|
| 50 | struct apply |
|---|
| 51 | { |
|---|
| 52 | typedef typename and_< |
|---|
| 53 | not_< is_same<Iterator1,LastIterator1> > |
|---|
| 54 | , not_< is_same<Iterator2,LastIterator2> > |
|---|
| 55 | , aux::iter_apply2<Predicate,Iterator1,Iterator2> |
|---|
| 56 | >::type type; |
|---|
| 57 | }; |
|---|
| 58 | }; |
|---|
| 59 | |
|---|
| 60 | template< |
|---|
| 61 | typename Sequence1 |
|---|
| 62 | , typename Sequence2 |
|---|
| 63 | , typename Predicate |
|---|
| 64 | > |
|---|
| 65 | struct equal_impl |
|---|
| 66 | { |
|---|
| 67 | typedef typename begin<Sequence1>::type first1_; |
|---|
| 68 | typedef typename begin<Sequence2>::type first2_; |
|---|
| 69 | typedef typename end<Sequence1>::type last1_; |
|---|
| 70 | typedef typename end<Sequence2>::type last2_; |
|---|
| 71 | |
|---|
| 72 | typedef aux::iter_fold_if_impl< |
|---|
| 73 | first1_ |
|---|
| 74 | , first2_ |
|---|
| 75 | , next<> |
|---|
| 76 | , protect< aux::equal_pred<Predicate,last1_,last2_> > |
|---|
| 77 | , void_ |
|---|
| 78 | , always<false_> |
|---|
| 79 | > fold_; |
|---|
| 80 | |
|---|
| 81 | typedef typename fold_::iterator iter1_; |
|---|
| 82 | typedef typename fold_::state iter2_; |
|---|
| 83 | typedef and_< |
|---|
| 84 | is_same<iter1_,last1_> |
|---|
| 85 | , is_same<iter2_,last2_> |
|---|
| 86 | > result_; |
|---|
| 87 | |
|---|
| 88 | typedef typename result_::type type; |
|---|
| 89 | }; |
|---|
| 90 | |
|---|
| 91 | |
|---|
| 92 | } // namespace aux |
|---|
| 93 | |
|---|
| 94 | |
|---|
| 95 | template< |
|---|
| 96 | typename BOOST_MPL_AUX_NA_PARAM(Sequence1) |
|---|
| 97 | , typename BOOST_MPL_AUX_NA_PARAM(Sequence2) |
|---|
| 98 | , typename Predicate = is_same<_,_> |
|---|
| 99 | > |
|---|
| 100 | struct equal |
|---|
| 101 | : aux::msvc_eti_base< |
|---|
| 102 | typename aux::equal_impl<Sequence1,Sequence2,Predicate>::type |
|---|
| 103 | >::type |
|---|
| 104 | { |
|---|
| 105 | BOOST_MPL_AUX_LAMBDA_SUPPORT(2,equal,(Sequence1,Sequence2)) |
|---|
| 106 | }; |
|---|
| 107 | |
|---|
| 108 | BOOST_MPL_AUX_NA_SPEC(2, equal) |
|---|
| 109 | |
|---|
| 110 | }} |
|---|
| 111 | |
|---|
| 112 | #endif // BOOST_MPL_EQUAL_HPP_INCLUDED |
|---|
| 113 | |
|---|
