forked from boostorg/mpl
106 lines
3.0 KiB
C++
106 lines
3.0 KiB
C++
//-----------------------------------------------------------------------------
|
|
// boost mpl/equal.hpp header file
|
|
// See http://www.boost.org for updates, documentation, and revision history.
|
|
//-----------------------------------------------------------------------------
|
|
//
|
|
// Copyright (c) 2000-02
|
|
// Aleksey Gurtovoy
|
|
//
|
|
// Permission to use, copy, modify, distribute and sell this software
|
|
// and its documentation for any purpose is hereby granted without fee,
|
|
// provided that the above copyright notice appears in all copies and
|
|
// that both the copyright notice and this permission notice appear in
|
|
// supporting documentation. No representations are made about the
|
|
// suitability of this software for any purpose. It is provided "as is"
|
|
// without express or implied warranty.
|
|
|
|
#ifndef BOOST_MPL_EQUAL_HPP_INCLUDED
|
|
#define BOOST_MPL_EQUAL_HPP_INCLUDED
|
|
|
|
#include "boost/mpl/aux_/iter_fold_if_impl.hpp"
|
|
#include "boost/mpl/aux_/iter_apply.hpp"
|
|
#include "boost/mpl/logical/and.hpp"
|
|
#include "boost/mpl/logical/not.hpp"
|
|
#include "boost/mpl/begin_end.hpp"
|
|
#include "boost/mpl/next.hpp"
|
|
#include "boost/mpl/always.hpp"
|
|
#include "boost/mpl/bool_c.hpp"
|
|
#include "boost/mpl/lambda.hpp"
|
|
#include "boost/mpl/bind.hpp"
|
|
#include "boost/mpl/apply.hpp"
|
|
#include "boost/mpl/void.hpp"
|
|
#include "boost/mpl/aux_/void_spec.hpp"
|
|
#include "boost/mpl/aux_/lambda_support.hpp"
|
|
#include "boost/type_traits/is_same.hpp"
|
|
|
|
namespace boost {
|
|
namespace mpl {
|
|
|
|
namespace aux {
|
|
|
|
template<
|
|
typename Predicate
|
|
, typename LastIterator1
|
|
, typename LastIterator2
|
|
>
|
|
struct equal_pred
|
|
{
|
|
template<
|
|
typename Iterator2
|
|
, typename Iterator1
|
|
>
|
|
struct apply
|
|
{
|
|
typedef typename logical_and<
|
|
logical_not< is_same<Iterator1,LastIterator1> >
|
|
, logical_not< is_same<Iterator2,LastIterator2> >
|
|
, aux::iter_apply2<Predicate,Iterator1,Iterator2>
|
|
>::type type;
|
|
};
|
|
};
|
|
|
|
} // namespace aux
|
|
|
|
template<
|
|
typename BOOST_MPL_AUX_VOID_SPEC_PARAM(Sequence1)
|
|
, typename BOOST_MPL_AUX_VOID_SPEC_PARAM(Sequence2)
|
|
, typename Predicate = is_same<_,_>
|
|
>
|
|
struct equal
|
|
{
|
|
private:
|
|
typedef typename begin<Sequence1>::type first1_;
|
|
typedef typename begin<Sequence2>::type first2_;
|
|
typedef typename end<Sequence1>::type last1_;
|
|
typedef typename end<Sequence2>::type last2_;
|
|
typedef typename lambda<Predicate>::type pred_;
|
|
|
|
typedef aux::iter_fold_if_impl<
|
|
first1_
|
|
, first2_
|
|
, next<>
|
|
, aux::equal_pred<pred_,last1_,last2_>
|
|
, void_
|
|
, always<false_c>
|
|
> fold_;
|
|
|
|
typedef typename fold_::iterator iter1_;
|
|
typedef typename fold_::state iter2_;
|
|
typedef logical_and<
|
|
is_same<iter1_,last1_>
|
|
, is_same<iter2_,last2_>
|
|
> result_;
|
|
|
|
public:
|
|
typedef typename result_::type type;
|
|
|
|
BOOST_MPL_AUX_LAMBDA_SUPPORT(2,equal,(Sequence1,Sequence2))
|
|
};
|
|
|
|
BOOST_MPL_AUX_VOID_SPEC(2, equal)
|
|
|
|
} // namespace mpl
|
|
} // namespace boost
|
|
|
|
#endif // BOOST_MPL_EQUAL_HPP_INCLUDED
|