The MPL Reference Manual: equal

equal

template<
      typename Seq1
    , typename Seq2
    , typename Pred = is_same<_1,_2>
    >
struct equal
{
    typedef unspecified type;
};

Returns a true-valued Integral Constant if the two sequences Seq1 and Seq2 are identical when compared element-by-element.

#include <boost/mpl/equal.hpp>

Parameter	Requirement	Description
`Seq1`, `Seq2`	Forward Sequence	Sequences to compare.
`Pred`	Binary Lambda Expression	A comparison criterion.

For any Forward Sequences s1 and s2 and a binary Lambda Expression pred:

typedef equal::type c;

Return type:	Integral Constant
Semantics:	`c::value == true` is and only if `size::value == size::value` and for every iterator `i` in [`begin::type`, `end::type`) `deref::type` is identical to advance< begin::type, distance< begin::type,i >::type >::type

Linear. At most size::value comparisons.

typedef vector s1;
typedef list s2;

BOOST_MPL_ASSERT(( equal ));

Boost C++ Libraries