_meta_sign.h

Go to the documentation of this file.

 
#ifndef _RWSTD_RW_META_SIGN_H_INCLUDED
#define _RWSTD_RW_META_SIGN_H_INCLUDED
 
#include <rw/_defs.h>
#include <rw/_meta_other.h>
#include <rw/_meta_rel.h>
#include <rw/_meta_cv.h>
#include <rw/_static_assert.h>
 
_RWSTD_NAMESPACE (__rw) {
 
// Provides typedefs mapping non-boolean integral types to signed
// and unsigned integral types of the same base type.
template <class _TypeT>
struct __rw_sign_helper
{
    typedef void _C_Sint;
    typedef void _C_Uint;
};
 
template <>
struct __rw_sign_helper<char>
{
#if (_RWSTD_CHAR_MIN < 0)
    typedef          char _C_Sint;
    typedef unsigned char _C_Uint;
#else
    typedef   signed char _C_Sint;
    typedef          char _C_Uint;
#endif
};
 
#ifndef _RWSTD_NO_NATIVE_WCHAR_T
 
template <>
struct __rw_sign_helper<wchar_t>
{
#if (_RWSTD_WCHAR_MIN < 0)
    typedef wchar_t             _C_Sint;
 
#  if (_RWSTD_WCHAR_SIZE == _RWSTD_CHAR_SIZE)
    typedef unsigned char _C_Uint;
#  elif (_RWSTD_WCHAR_SIZE == _RWSTD_SHRT_SIZE)
    typedef unsigned short _C_Uint;
#  elif (_RWSTD_WCHAR_SIZE == _RWSTD_INT_SIZE)
    typedef unsigned int _C_Uint;
#  elif (_RWSTD_WCHAR_SIZE == _RWSTD_LONG_SIZE)
    typedef unsigned long _C_Uint;
#  elif (_RWSTD_WCHAR_SIZE == _RWSTD_LLONG_SIZE)
    typedef unsigned long long _C_Uint;
#  endif
 
#  else   // 0 <= _RWSTD_WCHAR_MIN
 
#  if (_RWSTD_WCHAR_SIZE == _RWSTD_CHAR_SIZE)
    typedef signed char _C_Sint;
#  elif (_RWSTD_WCHAR_SIZE == _RWSTD_SHRT_SIZE)
    typedef signed short _C_Sint;
#  elif (_RWSTD_WCHAR_SIZE == _RWSTD_INT_SIZE)
    typedef signed int _C_Sint;
#  elif (_RWSTD_WCHAR_SIZE == _RWSTD_LONG_SIZE)
    typedef signed long _C_Sint;
#  elif (_RWSTD_WCHAR_SIZE == _RWSTD_LLONG_SIZE)
    typedef signed long long _C_Sint;
#  endif
 
    typedef wchar_t             _C_Uint;
#  endif   // 0 <= _RWSTD_WCHAR_MIN
};
 
#endif   // _RWSTD_NO_NATIVE_WCHAR_T
 
template <>
struct __rw_sign_helper<signed char>
{
    typedef   signed char _C_Sint;
    typedef unsigned char _C_Uint;
};
 
template <>
struct __rw_sign_helper<unsigned char>
{
    typedef   signed char _C_Sint;
    typedef unsigned char _C_Uint;
};
 
template <>
struct __rw_sign_helper<signed short>
{
    typedef   signed short _C_Sint;
    typedef unsigned short _C_Uint;
};
 
template <>
struct __rw_sign_helper<unsigned short>
{
    typedef   signed short _C_Sint;
    typedef unsigned short _C_Uint;
};
 
template <>
struct __rw_sign_helper<signed int>
{
    typedef   signed int _C_Sint;
    typedef unsigned int _C_Uint;
};
 
template <>
struct __rw_sign_helper<unsigned int>
{
    typedef   signed int _C_Sint;
    typedef unsigned int _C_Uint;
};
 
template <>
struct __rw_sign_helper<signed long>
{
    typedef   signed long _C_Sint;
    typedef unsigned long _C_Uint;
};
 
template <>
struct __rw_sign_helper<unsigned long>
{
    typedef   signed long _C_Sint;
    typedef unsigned long _C_Uint;
};
 
 
#ifndef _RWSTD_NO_LONG_LONG
 
template <>
struct __rw_sign_helper<signed long long>
{
    typedef   signed long long _C_Sint;
    typedef unsigned long long _C_Uint;
};
 
template <>
struct __rw_sign_helper<unsigned long long>
{
    typedef   signed long long _C_Sint;
    typedef unsigned long long _C_Uint;
};
 
#endif // !_RWSTD_NO_LONG_LONG
 
 
// Class template provides typedefs mapping enumeration types
// to integral types of the same size.
template <_RWSTD_SIZE_T _Size>
struct __rw_enum_helper
{
    typedef void _C_Sint;
    typedef void _C_Uint;
};
 
template <>
struct __rw_enum_helper<_RWSTD_CHAR_SIZE>
{
    typedef   signed char _C_Sint;
    typedef unsigned char _C_Uint;
};
 
template <>
struct __rw_enum_helper<_RWSTD_SHRT_SIZE>
{
    typedef   signed short _C_Sint;
    typedef unsigned short _C_Uint;
};
 
template <>
struct __rw_enum_helper<_RWSTD_INT_SIZE>
{
    typedef   signed int _C_Sint;
    typedef unsigned int _C_Uint;
};
 
#if (_RWSTD_INT_SIZE != _RWSTD_LONG_SIZE)
 
template <>
struct __rw_enum_helper<_RWSTD_LONG_SIZE>
{
    typedef   signed long _C_Sint;
    typedef unsigned long _C_Uint;
};
 
#endif // (_RWSTD_INT_SIZE != _RWSTD_LONG_SIZE)
 
#ifndef _RWSTD_NO_LONG_LONG
#  if (_RWSTD_LONG_SIZE != _RWSTD_LLONG_SIZE)
 
template <>
struct __rw_enum_helper<_RWSTD_LLONG_SIZE>
{
    typedef   signed long long _C_Sint;
    typedef unsigned long long _C_Uint;
};
 
#  endif // _RWSTD_LONG_SIZE != _RWSTD_LLONG_SIZE
#endif // !_RWSTD_NO_LONG_LONG
 
template <class _TypeT>
struct __rw_make_signed
{
private:
    //_RWSTD_STATIC_ASSERT (   __rw_is_integral<_TypeT>::value
    //                      || __rw_is_enum<_TypeT>::value);
 
    typedef typename __rw_remove_cv<_TypeT>::type _NoCV_TypeT;
 
    //_RWSTD_STATIC_ASSERT (!__rw_is_same<_NoCV_TypeT, bool>::value);
 
    typedef typename
    __rw_conditional<__rw_is_integral<_NoCV_TypeT>::value,
                     typename __rw_sign_helper<_NoCV_TypeT>::_C_Sint,
                     typename __rw_enum_helper< sizeof (_TypeT) >::_C_Sint
                    >::type _NoCV_TypeU;
 
    typedef typename
    __rw_conditional<__rw_is_const<_TypeT>::value,
                     typename __rw_add_const<_NoCV_TypeU>::type,
                     _NoCV_TypeU>::type _NoV_TypeU;
 
    typedef typename
    __rw_conditional<__rw_is_volatile<_TypeT>::value,
                     typename __rw_add_volatile<_NoV_TypeU>::type,
                     _NoV_TypeU>::type _TypeU;
 
public:
    typedef _TypeU type;
};
 
#define _RWSTD_MAKE_SIGNED(T) _RW::__rw_make_signed<T>::type
 
template <class _TypeT>
struct __rw_make_unsigned
{
private:
    //_RWSTD_STATIC_ASSERT (   __rw_is_integral<_TypeT>::value
    //                      || __rw_is_enum<_TypeT>::value);
 
    typedef typename __rw_remove_cv<_TypeT>::type _NoCV_TypeT;
 
    //_RWSTD_STATIC_ASSERT (!__rw_is_same<_NoCV_TypeT, bool>::value);
 
    typedef typename
    __rw_conditional<__rw_is_integral<_NoCV_TypeT>::value,
                     typename __rw_sign_helper<_NoCV_TypeT>::_C_Uint,
                     typename __rw_enum_helper< sizeof (_TypeT) >::_C_Uint
                    >::type _NoCV_TypeU;
 
    typedef typename
    __rw_conditional<__rw_is_const<_TypeT>::value,
                     typename __rw_add_const<_NoCV_TypeU>::type,
                     _NoCV_TypeU>::type _NoV_TypeU;
 
    typedef typename
    __rw_conditional<__rw_is_volatile<_TypeT>::value,
                     typename __rw_add_volatile<_NoV_TypeU>::type,
                     _NoV_TypeU>::type _TypeU;
 
public:
    typedef _TypeU type;
};
 
#define _RWSTD_MAKE_UNSIGNED(T) _RW::__rw_make_unsigned<T>::type
 
} // namespace __rw
 
 
#endif   // _RWSTD_RW_META_SIGN_H_INCLUDED