dvm_template_params.hpp 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148
  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/has_xxx.hpp>
  11. #include <boost/mpl/identity.hpp>
  12. #include <boost/preprocessor/arithmetic/add.hpp>
  13. #include <boost/preprocessor/variadic/size.hpp>
  14. #include <boost/preprocessor/cat.hpp>
  15. #include <boost/preprocessor/comparison/equal.hpp>
  16. #include <boost/preprocessor/control/iif.hpp>
  17. #include <boost/preprocessor/detail/is_binary.hpp>
  18. #include <boost/preprocessor/facilities/is_empty.hpp>
  19. #include <boost/preprocessor/seq/enum.hpp>
  20. #include <boost/preprocessor/seq/seq.hpp>
  21. #include <boost/preprocessor/variadic/elem.hpp>
  22. #include <boost/preprocessor/variadic/to_seq.hpp>
  23. #include <boost/tti/detail/dtemplate.hpp>
  24. #include <boost/tti/detail/dtemplate_params.hpp>
  25. #if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
  26. #if !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
  27. #define BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,...) \
  28. BOOST_TTI_DETAIL_HAS_MEMBER_WITH_FUNCTION_SFINAE \
  29. ( \
  30. ( BOOST_PP_ADD(BOOST_PP_VARIADIC_SIZE(__VA_ARGS__),4), ( trait, name, 1, false, __VA_ARGS__ ) ) \
  31. ) \
  32. /**/
  33. #else // !!BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
  34. #define BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,...) \
  35. BOOST_TTI_DETAIL_HAS_MEMBER_WITH_TEMPLATE_SFINAE \
  36. ( \
  37. ( BOOST_PP_ADD(BOOST_PP_VARIADIC_SIZE(__VA_ARGS__),4), ( trait, name, 1, false, __VA_ARGS__ ) ) \
  38. ) \
  39. /**/
  40. #endif // !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
  41. #else // defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
  42. #define BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,...) \
  43. BOOST_TTI_DETAIL_SAME(trait,name) \
  44. /**/
  45. #endif // !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
  46. #define BOOST_TTI_DETAIL_VM_CHECK_MORE_THAN_TWO(trait,...) \
  47. BOOST_PP_IIF \
  48. ( \
  49. BOOST_PP_EQUAL \
  50. ( \
  51. BOOST_PP_VARIADIC_SIZE(__VA_ARGS__), \
  52. 2 \
  53. ), \
  54. BOOST_TTI_DETAIL_VM_TRAIT_CHOOSE_FROM_TWO, \
  55. BOOST_TTI_DETAIL_VM_TRAIT_EXPAND_ARGUMENTS \
  56. ) \
  57. (trait,__VA_ARGS__) \
  58. /**/
  59. #define BOOST_TTI_DETAIL_VM_TRAIT_CHOOSE_FROM_TWO(trait,...) \
  60. BOOST_PP_IIF \
  61. ( \
  62. BOOST_PP_IS_BINARY \
  63. ( \
  64. BOOST_PP_VARIADIC_ELEM(1,__VA_ARGS__) \
  65. ), \
  66. BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS, \
  67. BOOST_TTI_DETAIL_VM_TRAIT_CHOOSE_IF_NIL \
  68. ) \
  69. ( \
  70. trait, \
  71. BOOST_PP_VARIADIC_ELEM(0,__VA_ARGS__), \
  72. BOOST_PP_VARIADIC_ELEM(1,__VA_ARGS__) \
  73. ) \
  74. /**/
  75. #define BOOST_TTI_DETAIL_VM_IS_NIL(param) \
  76. BOOST_PP_IS_EMPTY \
  77. ( \
  78. BOOST_PP_CAT(BOOST_TTI_DETAIL_IS_HELPER_,param) \
  79. ) \
  80. /**/
  81. #define BOOST_TTI_DETAIL_VM_TRAIT_CHOOSE_IF_NIL(trait,name,param) \
  82. BOOST_PP_IIF \
  83. ( \
  84. BOOST_TTI_DETAIL_VM_IS_NIL(param), \
  85. BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE, \
  86. BOOST_TTI_DETAIL_VM_CALL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS \
  87. ) \
  88. (trait,name,param) \
  89. /**/
  90. #define BOOST_TTI_DETAIL_VM_VARIADIC_TAIL(...) \
  91. BOOST_PP_SEQ_ENUM \
  92. ( \
  93. BOOST_PP_SEQ_TAIL \
  94. ( \
  95. BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__) \
  96. ) \
  97. ) \
  98. /**/
  99. #define BOOST_TTI_DETAIL_VM_TRAIT_EXPAND_ARGUMENTS(trait,...) \
  100. BOOST_TTI_DETAIL_VM_CALL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS \
  101. ( \
  102. trait, \
  103. BOOST_PP_VARIADIC_ELEM(0,__VA_ARGS__), \
  104. BOOST_TTI_DETAIL_VM_VARIADIC_TAIL(__VA_ARGS__) \
  105. ) \
  106. /**/
  107. #define BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE(trait,...) \
  108. BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE \
  109. ( \
  110. trait, \
  111. BOOST_PP_VARIADIC_ELEM(0,__VA_ARGS__), \
  112. BOOST_PP_NIL \
  113. ) \
  114. /**/
  115. #define BOOST_TTI_DETAIL_VM_CALL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,...) \
  116. BOOST_TTI_DETAIL_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(BOOST_PP_CAT(trait,_detail),name,__VA_ARGS__) \
  117. template<class BOOST_TTI_DETAIL_TP_T> \
  118. struct trait \
  119. { \
  120. typedef typename BOOST_PP_CAT(trait,_detail)<BOOST_TTI_DETAIL_TP_T>::type type; \
  121. \
  122. BOOST_STATIC_CONSTANT(bool,value=type::value); \
  123. }; \
  124. /**/
  125. #endif // BOOST_PP_VARIADICS
  126. #endif // BOOST_TTI_DETAIL_VM_TEMPLATE_PARAMS_HPP