is_same

Synopsis

template <class A, class B>
struct is_same
{
  // unspecified
};

Description

Lazy template metafunction with currying support for comparing two types. It returns a boolean value indicating if the two types are identical.

#include <mpllibs/metamonad/is_same.hpp>

Expression semantics

For any a and b types, for which a::type and b::type are not identical the following evaluate to true:

mpl::not_<is_same<a, b>::type>
is_same<a, a>::type
is_same<b, b>::type

Example

is_same<box<int>, box<double>>

[up]