boost_iterator/test/static_assert_same.hpp

// Copyright David Abrahams 2003. Permission to copy, use,
// modify, sell and distribute this software is granted provided this
// copyright notice appears in all copies. This software is provided
// "as is" without express or implied warranty, and with no claim as
// to its suitability for any purpose.
#ifndef STATIC_ASSERT_SAME_DWA2003530_HPP
# define STATIC_ASSERT_SAME_DWA2003530_HPP

# include <boost/type.hpp>
# include <boost/static_assert.hpp>

#ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
template <class T, class U>
struct static_assert_same_base;

template <class T>
struct static_assert_same_base<T,T>
{
    enum { value = 1 };
};

template <class T, class U>
struct static_assert_same : static_assert_same_base<T,U> {};

#else
# include <boost/mpl/if.hpp>
# include <boost/mpl/bool.hpp>
# include <boost/type_traits/is_same.hpp>

template <class T, class U>
struct static_assert_same
    : boost::mpl::if_<boost::is_same<T,U>,boost::mpl::true_,void>::type
{};
#endif

#define STATIC_ASSERT_SAME( T1,T2 )                   \
   enum { BOOST_JOIN(boost_static_assert_enum_, __LINE__) \
          = static_assert_same<T1,T2>::value }

#endif // STATIC_ASSERT_SAME_DWA2003530_HPP