extl/type/traits/add_cv.h

   1 /* ///////////////////////////////////////////////////////////////////////
   2  * File:                add_cv.h
   3  *
   4  * Created:             08.02.07
   5  * Updated:             08.07.09
   6  *
   7  * Brief: add cv-qualified traits
   8  *
   9  * [<Home>]
  10  * Copyright (c) 2008-2020, Waruqi All rights reserved.
  11  * //////////////////////////////////////////////////////////////////// */
  12
  13 #ifndef EXTL_TYPE_TRAITS_ADD_CV_H
  14 #define EXTL_TYPE_TRAITS_ADD_CV_H
  15
  16 #ifndef EXTL_TYPE_TRAITS_ADD_CV_SUPPORT
  17 #       error extl::add_cv is not supported by current compiler.
  18 #endif
  19 /* ///////////////////////////////////////////////////////////////////////
  20  * Includes
  21  */
  22 #include "prefix.h"
  23
  24 #ifdef EXTL_TYPE_TRAITS_IS_REF_SUPPORT
  25 #       include "is_ref.h"
  26 #endif
  27
  28 #ifdef  EXTL_TYPE_TRAITS_TEST_ENABLE
  29 #       ifdef EXTL_TYPE_TRAITS_IS_CV_SUPPORT
  30 #               include "is_cv.h"
  31 #       endif
  32 #endif
  33
  34 /* ///////////////////////////////////////////////////////////////////////
  35  * Macros
  36  */
  37 #define EXTL_ADD_CV(src_type)   EXTL_MODIFY_TYPE(add_cv, src_type)
  38
  39 /* ///////////////////////////////////////////////////////////////////////
  40  * ::extl namespace
  41  */
  42 EXTL_BEGIN_NAMESPACE
  43
  44 #ifdef EXTL_TYPE_TRAITS_SUPPORT
  45 /* //////////////////////////////////////////////////////////////////// */
  46 #       ifdef EXTL_TEMPLATE_PARTIAL_SPEC_SUPPORT
  47         EXTL_TYPE_TRAIT_DEF_1(add_cv, T const volatile)
  48
  49         // note: Cannot add cv-qualified if T is reference
  50         EXTL_TYPE_TRAIT_PARTIAL_SPEC_1_1(typename_param_k T, add_cv, T&, T&)
  51 #       else
  52         template < e_bool_t is_ref >
  53         struct add_cv_helper
  54         {
  55                 template < typename_param_k T >
  56                 struct result
  57                 {
  58                         typedef T type;
  59                 };
  60         };
  61
  62         EXTL_TEMPLATE_SPECIALISATION
  63         struct add_cv_helper< e_false_v >
  64         {
  65                 template < typename_param_k T >
  66                 struct result
  67                 {
  68                         typedef T const volatile type;
  69                 };
  70         };
  71
  72         template < typename_param_k T >
  73         struct add_cv_impl
  74                 : add_cv_helper< (is_ref<T>::value) >::template_qual_k result<T>
  75         {
  76         };
  77
  78         EXTL_TYPE_TRAIT_DEF_1(add_cv, typename_type_k add_cv_impl<T>::type)
  79
  80 #       endif
  81
  82 /* ///////////////////////////////////////////////////////////////////////
  83  * Unit-testing
  84  */
  85 #       ifdef EXTL_TYPE_TRAITS_TEST_ENABLE
  86 #               include "unit_test/add_cv_test.h"
  87 #       endif
  88 #endif
  89
  90 /* ///////////////////////////////////////////////////////////////////////
  91  * ::extl namespace
  92  */
  93 EXTL_END_NAMESPACE
  94
  95 /* //////////////////////////////////////////////////////////////////// */
  96 #endif  /* EXTL_TYPE_TRAITS_ADD_CV_H */
  97 /* //////////////////////////////////////////////////////////////////// */