dvm_template_params.hpp 4.7 KB

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