// (C) Copyright John Maddock 2007. | |
// Use, modification and distribution are subject to the Boost Software License, | |
// Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at | |
// http://www.boost.org/LICENSE_1_0.txt). | |
// | |
// See http://www.boost.org/libs/type_traits for most recent version including documentation. | |
#ifndef BOOST_TT_MAKE_SIGNED_HPP_INCLUDED | |
#define BOOST_TT_MAKE_SIGNED_HPP_INCLUDED | |
#include <boost/mpl/if.hpp> | |
#include <boost/type_traits/is_integral.hpp> | |
#include <boost/type_traits/is_signed.hpp> | |
#include <boost/type_traits/is_unsigned.hpp> | |
#include <boost/type_traits/is_enum.hpp> | |
#include <boost/type_traits/is_same.hpp> | |
#include <boost/type_traits/remove_cv.hpp> | |
#include <boost/type_traits/is_const.hpp> | |
#include <boost/type_traits/is_volatile.hpp> | |
#include <boost/type_traits/add_const.hpp> | |
#include <boost/type_traits/add_volatile.hpp> | |
#include <boost/type_traits/detail/ice_or.hpp> | |
#include <boost/type_traits/detail/ice_and.hpp> | |
#include <boost/type_traits/detail/ice_not.hpp> | |
#include <boost/static_assert.hpp> | |
// should be the last #include | |
#include <boost/type_traits/detail/type_trait_def.hpp> | |
namespace boost { | |
namespace detail { | |
template <class T> | |
struct make_signed_imp | |
{ | |
BOOST_STATIC_ASSERT( | |
(::boost::type_traits::ice_or< ::boost::is_integral<T>::value, ::boost::is_enum<T>::value>::value)); | |
#if !BOOST_WORKAROUND(BOOST_MSVC, <=1300) | |
BOOST_STATIC_ASSERT( | |
(::boost::type_traits::ice_not< ::boost::is_same< | |
typename remove_cv<T>::type, bool>::value>::value)); | |
#endif | |
typedef typename remove_cv<T>::type t_no_cv; | |
typedef typename mpl::if_c< | |
(::boost::type_traits::ice_and< | |
::boost::is_signed<T>::value, | |
::boost::is_integral<T>::value, | |
::boost::type_traits::ice_not< ::boost::is_same<t_no_cv, char>::value>::value, | |
::boost::type_traits::ice_not< ::boost::is_same<t_no_cv, wchar_t>::value>::value, | |
::boost::type_traits::ice_not< ::boost::is_same<t_no_cv, bool>::value>::value >::value), | |
T, | |
typename mpl::if_c< | |
(::boost::type_traits::ice_and< | |
::boost::is_integral<T>::value, | |
::boost::type_traits::ice_not< ::boost::is_same<t_no_cv, char>::value>::value, | |
::boost::type_traits::ice_not< ::boost::is_same<t_no_cv, wchar_t>::value>::value, | |
::boost::type_traits::ice_not< ::boost::is_same<t_no_cv, bool>::value>::value> | |
::value), | |
typename mpl::if_< | |
is_same<t_no_cv, unsigned char>, | |
signed char, | |
typename mpl::if_< | |
is_same<t_no_cv, unsigned short>, | |
signed short, | |
typename mpl::if_< | |
is_same<t_no_cv, unsigned int>, | |
int, | |
typename mpl::if_< | |
is_same<t_no_cv, unsigned long>, | |
long, | |
#if defined(BOOST_HAS_LONG_LONG) | |
boost::long_long_type | |
#elif defined(BOOST_HAS_MS_INT64) | |
__int64 | |
#else | |
long | |
#endif | |
>::type | |
>::type | |
>::type | |
>::type, | |
// Not a regular integer type: | |
typename mpl::if_c< | |
sizeof(t_no_cv) == sizeof(unsigned char), | |
signed char, | |
typename mpl::if_c< | |
sizeof(t_no_cv) == sizeof(unsigned short), | |
signed short, | |
typename mpl::if_c< | |
sizeof(t_no_cv) == sizeof(unsigned int), | |
int, | |
typename mpl::if_c< | |
sizeof(t_no_cv) == sizeof(unsigned long), | |
long, | |
#if defined(BOOST_HAS_LONG_LONG) | |
boost::long_long_type | |
#elif defined(BOOST_HAS_MS_INT64) | |
__int64 | |
#else | |
long | |
#endif | |
>::type | |
>::type | |
>::type | |
>::type | |
>::type | |
>::type base_integer_type; | |
// Add back any const qualifier: | |
typedef typename mpl::if_< | |
is_const<T>, | |
typename add_const<base_integer_type>::type, | |
base_integer_type | |
>::type const_base_integer_type; | |
// Add back any volatile qualifier: | |
typedef typename mpl::if_< | |
is_volatile<T>, | |
typename add_volatile<const_base_integer_type>::type, | |
const_base_integer_type | |
>::type type; | |
}; | |
} // namespace detail | |
BOOST_TT_AUX_TYPE_TRAIT_DEF1(make_signed,T,typename boost::detail::make_signed_imp<T>::type) | |
} // namespace boost | |
#include <boost/type_traits/detail/type_trait_undef.hpp> | |
#endif // BOOST_TT_ADD_REFERENCE_HPP_INCLUDED | |