boost/tti/detail/dvm_template_params.hpp

   1
   2 //  (C) Copyright Edward Diener 2011,2012,2013
   3 //  Use, modification and distribution are subject to the Boost Software License,
   4 //  Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
   5 //  http://www.boost.org/LICENSE_1_0.txt).
   6
   7 #if !defined(BOOST_TTI_DETAIL_VM_TEMPLATE_PARAMS_HPP)
   8 #define BOOST_TTI_DETAIL_VM_TEMPLATE_PARAMS_HPP
   9
  10 #include <boost/config.hpp>
  11 #include <boost/preprocessor/config/config.hpp>
  12
  13 #if BOOST_PP_VARIADICS
  14
  15 #include <boost/mpl/eval_if.hpp>
  16 #include <boost/mpl/has_xxx.hpp>
  17 #include <boost/mpl/identity.hpp>
  18 #include <boost/preprocessor/arithmetic/add.hpp>
  19 #include <boost/preprocessor/variadic/size.hpp>
  20 #include <boost/preprocessor/cat.hpp>
  21 #include <boost/preprocessor/comparison/equal.hpp>
  22 #include <boost/preprocessor/control/iif.hpp>
  23 #include <boost/preprocessor/detail/is_binary.hpp>
  24 #include <boost/preprocessor/facilities/is_empty.hpp>
  25 #include <boost/preprocessor/seq/enum.hpp>
  26 #include <boost/preprocessor/seq/seq.hpp>
  27 #include <boost/preprocessor/variadic/elem.hpp>
  28 #include <boost/preprocessor/variadic/to_seq.hpp>
  29 #include <boost/tti/detail/dtemplate.hpp>
  30 #include <boost/tti/detail/dtemplate_params.hpp>
  31 #include <boost/type_traits/is_class.hpp>
  32
  33 #if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
  34 #if !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
  35
  36 #define BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,...) \
  37   BOOST_TTI_DETAIL_HAS_MEMBER_WITH_FUNCTION_SFINAE \
  38     (  \
  39       ( BOOST_PP_ADD(BOOST_PP_VARIADIC_SIZE(__VA_ARGS__),4), ( trait, name, 1, false, __VA_ARGS__ ) )  \
  40     )  \
  41 /**/
  42
  43 #else // !!BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
  44
  45 #define BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,...) \
  46   BOOST_TTI_DETAIL_HAS_MEMBER_WITH_TEMPLATE_SFINAE \
  47     ( \
  48       ( BOOST_PP_ADD(BOOST_PP_VARIADIC_SIZE(__VA_ARGS__),4), ( trait, name, 1, false, __VA_ARGS__ ) )  \
  49     ) \
  50 /**/
  51
  52 #endif // !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
  53 #else // defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
  54
  55 #define BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,...) \
  56   BOOST_TTI_DETAIL_SAME(trait,name) \
  57 /**/
  58
  59 #endif // !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
  60
  61 #define BOOST_TTI_DETAIL_VM_CHECK_MORE_THAN_TWO(trait,...) \
  62   BOOST_PP_IIF \
  63     ( \
  64     BOOST_PP_EQUAL \
  65       ( \
  66       BOOST_PP_VARIADIC_SIZE(__VA_ARGS__), \
  67       2 \
  68       ), \
  69     BOOST_TTI_DETAIL_VM_TRAIT_CHOOSE_FROM_TWO, \
  70     BOOST_TTI_DETAIL_VM_TRAIT_EXPAND_ARGUMENTS \
  71     ) \
  72     (trait,__VA_ARGS__) \
  73 /**/
  74
  75 #define BOOST_TTI_DETAIL_VM_TRAIT_CHOOSE_FROM_TWO(trait,...) \
  76   BOOST_PP_IIF \
  77     ( \
  78     BOOST_PP_IS_BINARY \
  79       ( \
  80       BOOST_PP_VARIADIC_ELEM(1,__VA_ARGS__) \
  81       ), \
  82     BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS, \
  83     BOOST_TTI_DETAIL_VM_TRAIT_CHOOSE_IF_NIL \
  84     ) \
  85   ( \
  86   trait, \
  87   BOOST_PP_VARIADIC_ELEM(0,__VA_ARGS__), \
  88   BOOST_PP_VARIADIC_ELEM(1,__VA_ARGS__) \
  89   ) \
  90 /**/
  91
  92 #define BOOST_TTI_DETAIL_VM_IS_NIL(param) \
  93   BOOST_PP_IS_EMPTY \
  94     ( \
  95     BOOST_PP_CAT(BOOST_TTI_DETAIL_IS_HELPER_,param) \
  96     ) \
  97 /**/
  98
  99 #define BOOST_TTI_DETAIL_VM_TRAIT_CHOOSE_IF_NIL(trait,name,param) \
 100   BOOST_PP_IIF \
 101     ( \
 102     BOOST_TTI_DETAIL_VM_IS_NIL(param), \
 103     BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE, \
 104     BOOST_TTI_DETAIL_VM_CALL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS \
 105     ) \
 106   (trait,name,param) \
 107 /**/
 108
 109 #define BOOST_TTI_DETAIL_VM_VARIADIC_TAIL(...) \
 110   BOOST_PP_SEQ_ENUM \
 111     ( \
 112     BOOST_PP_SEQ_TAIL \
 113       ( \
 114       BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__) \
 115       ) \
 116     ) \
 117 /**/
 118
 119 #define BOOST_TTI_DETAIL_VM_TRAIT_EXPAND_ARGUMENTS(trait,...) \
 120   BOOST_TTI_DETAIL_VM_CALL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS \
 121     ( \
 122     trait, \
 123     BOOST_PP_VARIADIC_ELEM(0,__VA_ARGS__), \
 124     BOOST_TTI_DETAIL_VM_VARIADIC_TAIL(__VA_ARGS__) \
 125     ) \
 126 /**/
 127
 128 #define BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE(trait,...) \
 129   BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE \
 130     ( \
 131     trait, \
 132     BOOST_PP_VARIADIC_ELEM(0,__VA_ARGS__), \
 133     BOOST_PP_NIL \
 134     ) \
 135 /**/
 136
 137 #define BOOST_TTI_DETAIL_VM_CT_INVOKE(trait,name,...) \
 138   BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(BOOST_PP_CAT(trait,_detail),name,__VA_ARGS__) \
 139   template<class BOOST_TTI_DETAIL_TP_T> \
 140   struct BOOST_PP_CAT(trait,_detail_vm_ct_invoke) : \
 141         BOOST_PP_CAT(trait,_detail)<BOOST_TTI_DETAIL_TP_T> \
 142     { \
 143     }; \
 144 /**/
 145
 146 #define BOOST_TTI_DETAIL_VM_CALL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,...) \
 147   BOOST_TTI_DETAIL_VM_CT_INVOKE(trait,name,__VA_ARGS__) \
 148   template<class BOOST_TTI_DETAIL_TP_T> \
 149   struct trait \
 150     { \
 151     typedef typename \
 152         boost::mpl::eval_if \
 153                 < \
 154                 boost::is_class<BOOST_TTI_DETAIL_TP_T>, \
 155                 BOOST_PP_CAT(trait,_detail_vm_ct_invoke)<BOOST_TTI_DETAIL_TP_T>, \
 156                 boost::mpl::false_ \
 157                 >::type type; \
 158     BOOST_STATIC_CONSTANT(bool,value=type::value); \
 159     }; \
 160 /**/
 161
 162 #endif // BOOST_PP_VARIADICS
 163
 164 #endif // BOOST_TTI_DETAIL_VM_TEMPLATE_PARAMS_HPP