_meta_ref.h

Go to the documentation of this file.

 
#ifndef _RWSTD_RW_META_REF_H_INCLUDED
#define _RWSTD_RW_META_REF_H_INCLUDED
 
#include <rw/_defs.h>
#include <rw/_meta_cat.h>
#include <rw/_meta_comp.h>
 
_RWSTD_NAMESPACE (__rw) {
 
template <class _TypeT>
struct __rw_remove_reference
{
    typedef _TypeT type;
};
 
template <class _TypeT>
struct __rw_remove_reference<_TypeT&>
{
    typedef _TypeT type;
};
 
#ifndef _RWSTD_NO_RVALUE_REFERENCES
 
template <class _TypeT>
struct __rw_remove_reference<_TypeT&&>
{
    typedef _TypeT type;
};
 
#endif   // _RWSTD_NO_RVALUE_REFERENCES
 
#define _RWSTD_REMOVE_REFERENCE(T) _RW::__rw_remove_reference<T>::type
 
 
template <class _TypeT, bool =    !__rw_is_void<_TypeT>::value
                               && !__rw_is_reference<_TypeT>::value,
                        bool = __rw_is_rvalue_reference<_TypeT>::value>
struct __rw_add_lvalue_reference_impl
{
    // for other cases _C_type shall be _TypeT.
    typedef _TypeT _C_type;
};
 
template <class _TypeT>
struct __rw_add_lvalue_reference_impl<_TypeT, true, false>
{
    // for object and function types _C_type shall become _TypeT&
    // for other cases _C_type shall be _TypeT.
    typedef _TypeT& _C_type;
};
 
template <class _TypeT>
struct __rw_add_lvalue_reference_impl<_TypeT, false, true>
{
    // for rval reference types, _C_type shall become the corresponding
    // lvalue reference type
    typedef typename __rw_remove_reference<_TypeT>::type& _C_type;
};
 
template <class _TypeT>
struct __rw_add_lvalue_reference
{
    typedef typename
    __rw_add_lvalue_reference_impl<_TypeT>::_C_type type;
};
 
#define _RWSTD_ADD_LVALUE_REFERENCE(T) \
    _RW::__rw_add_lvalue_reference<T>::type
 
 
template <class _TypeT, bool =    __rw_is_object<_TypeT>::value
                               || __rw_is_function<_TypeT>::_C_type>
struct __rw_add_rvalue_reference_impl
{
    // else it is _TypeT
    typedef _TypeT _C_type;
};
 
#ifndef _RWSTD_NO_RVALUE_REFERENCES
 
template <class _TypeT>
struct __rw_add_rvalue_reference_impl<_TypeT, true>
{
    // for object and function types, _C_type is the same as _TypeT&&
    typedef _TypeT&& _C_type;
};
 
#endif   // _RWSTD_NO_RVALUE_REFERENCES
 
template <class _TypeT>
struct __rw_add_rvalue_reference
{
    typedef typename
    __rw_add_rvalue_reference_impl<_TypeT>::_C_type type;
};
 
#define _RWSTD_ADD_RVALUE_REFERENCE(T) \
    _RW::__rw_add_rvalue_reference<T>::type
 
} // namespace __rw
 
 
#endif   // _RWSTD_RW_META_REF_H_INCLUDED