not_equal_to

Synopsis

template<
      typename T1
    , typename T2
    >
struct not_equal_to
{
    typedef unspecified type;
};

Description

Returns a true-valued Integral Constant if T1 and T2 are not equal.

Header

#include <boost/mpl/not_equal_to.hpp>
#include <boost/mpl/comparison.hpp>

Parameters

Parameter	Requirement	Description
`T1`, `T2`	Integral Constant	Operation's arguments.

[Note: The requirements listed in this specification are the ones imposed by the default implementation. See Numeric Metafunction concept for the details on how to provide an implementation for a user-defined numeric type that does not satisfy the Integral Constant requirements. — end note]

Expression semantics

For any Integral Constants c1 and c2:

typedef not_equal_to<c1,c2>::type r;

Return type: Integral Constant.

Semantics:

Return type:	Integral Constant.
Semantics:	Equivalent to typedef bool_< (c1::value != c2::value) > r;

Equivalent to

typedef bool_< (c1::value != c2::value) > r;

typedef not_equal_to<c1,c2> r;

Return type: Integral Constant.

Semantics:

Return type:	Integral Constant.
Semantics:	Equivalent to struct r : not_equal_to<c1,c2>::type {};

Equivalent to

struct r : not_equal_to<c1,c2>::type {};

Complexity

Amortized constant time.

Example

BOOST_MPL_ASSERT(( not_equal_to< int_<0>, int_<10> > ));
BOOST_MPL_ASSERT(( not_equal_to< long_<10>, int_<0> > ));
BOOST_MPL_ASSERT_NOT(( not_equal_to< long_<10>, int_<10> > ));