dmem_data.hpp 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149
  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_MEM_DATA_HPP)
  6. #define BOOST_TTI_DETAIL_MEM_DATA_HPP
  7. #include <boost/config.hpp>
  8. #include <boost/detail/workaround.hpp>
  9. #include <boost/function_types/components.hpp>
  10. #include <boost/function_types/is_member_object_pointer.hpp>
  11. #include <boost/mpl/assert.hpp>
  12. #include <boost/mpl/bool.hpp>
  13. #include <boost/mpl/eval_if.hpp>
  14. #include <boost/mpl/identity.hpp>
  15. #include <boost/preprocessor/cat.hpp>
  16. #include <boost/tti/detail/ddeftype.hpp>
  17. #include <boost/tti/detail/dftclass.hpp>
  18. #include <boost/tti/gen/namespace_gen.hpp>
  19. #include <boost/type_traits/detail/yes_no_type.hpp>
  20. #include <boost/type_traits/is_same.hpp>
  21. #if defined(BOOST_MSVC) || (BOOST_WORKAROUND(BOOST_GCC, >= 40400) && BOOST_WORKAROUND(BOOST_GCC, < 40600))
  22. #define BOOST_TTI_DETAIL_TRAIT_HAS_MEMBER_DATA(trait,name) \
  23. template<class BOOST_TTI_DETAIL_TP_T,class BOOST_TTI_DETAIL_TP_C> \
  24. struct BOOST_PP_CAT(trait,_detail_hmd) \
  25. { \
  26. template<class> \
  27. struct return_of; \
  28. \
  29. template<class BOOST_TTI_DETAIL_TP_R,class BOOST_TTI_DETAIL_TP_IC> \
  30. struct return_of<BOOST_TTI_DETAIL_TP_R BOOST_TTI_DETAIL_TP_IC::*> \
  31. { \
  32. typedef BOOST_TTI_DETAIL_TP_R type; \
  33. }; \
  34. \
  35. template<bool,typename BOOST_TTI_DETAIL_TP_U> \
  36. struct menable_if; \
  37. \
  38. template<typename BOOST_TTI_DETAIL_TP_U> \
  39. struct menable_if<true,BOOST_TTI_DETAIL_TP_U> \
  40. { \
  41. typedef BOOST_TTI_DETAIL_TP_U type; \
  42. }; \
  43. \
  44. template<typename BOOST_TTI_DETAIL_TP_U,typename BOOST_TTI_DETAIL_TP_V> \
  45. static ::boost::type_traits::yes_type check2(BOOST_TTI_DETAIL_TP_V BOOST_TTI_DETAIL_TP_U::*); \
  46. \
  47. template<typename BOOST_TTI_DETAIL_TP_U,typename BOOST_TTI_DETAIL_TP_V> \
  48. static ::boost::type_traits::no_type check2(BOOST_TTI_DETAIL_TP_U); \
  49. \
  50. template<typename BOOST_TTI_DETAIL_TP_U,typename BOOST_TTI_DETAIL_TP_V> \
  51. static typename \
  52. menable_if \
  53. < \
  54. sizeof(check2<BOOST_TTI_DETAIL_TP_U,BOOST_TTI_DETAIL_TP_V>(&BOOST_TTI_DETAIL_TP_U::name))==sizeof(::boost::type_traits::yes_type), \
  55. ::boost::type_traits::yes_type \
  56. > \
  57. ::type \
  58. has_matching_member(int); \
  59. \
  60. template<typename BOOST_TTI_DETAIL_TP_U,typename BOOST_TTI_DETAIL_TP_V> \
  61. static ::boost::type_traits::no_type has_matching_member(...); \
  62. \
  63. template<class BOOST_TTI_DETAIL_TP_U,class BOOST_TTI_DETAIL_TP_V> \
  64. struct ttc_md \
  65. { \
  66. typedef boost::mpl::bool_<sizeof(has_matching_member<BOOST_TTI_DETAIL_TP_V,typename return_of<BOOST_TTI_DETAIL_TP_U>::type>(0))==sizeof(::boost::type_traits::yes_type)> type; \
  67. }; \
  68. \
  69. typedef typename ttc_md<BOOST_TTI_DETAIL_TP_T,BOOST_TTI_DETAIL_TP_C>::type type; \
  70. \
  71. BOOST_STATIC_CONSTANT(bool,value=type::value); \
  72. \
  73. }; \
  74. /**/
  75. #else // !defined(BOOST_MSVC)
  76. #include <boost/tti/detail/dmem_fun.hpp>
  77. #define BOOST_TTI_DETAIL_TRAIT_HAS_MEMBER_DATA(trait,name) \
  78. BOOST_TTI_DETAIL_TRAIT_HAS_TYPES_MEMBER_FUNCTION(trait,name) \
  79. template<class BOOST_TTI_DETAIL_TP_T,class BOOST_TTI_DETAIL_TP_C> \
  80. struct BOOST_PP_CAT(trait,_detail_hmd) : \
  81. BOOST_PP_CAT(trait,_detail_types)<BOOST_TTI_DETAIL_TP_T,BOOST_TTI_DETAIL_TP_C> \
  82. { \
  83. }; \
  84. /**/
  85. #endif // defined(BOOST_MSVC)
  86. namespace boost
  87. {
  88. namespace tti
  89. {
  90. namespace detail
  91. {
  92. template<class BOOST_TTI_DETAIL_TP_T,class BOOST_TTI_DETAIL_TP_R>
  93. struct ptmd
  94. {
  95. typedef BOOST_TTI_DETAIL_TP_R BOOST_TTI_DETAIL_TP_T::* type;
  96. };
  97. template<class BOOST_TTI_DETAIL_TP_T>
  98. struct dmem_check_ptmd :
  99. boost::mpl::identity<BOOST_TTI_DETAIL_TP_T>
  100. {
  101. BOOST_MPL_ASSERT((boost::function_types::is_member_object_pointer<BOOST_TTI_DETAIL_TP_T>));
  102. };
  103. template<class BOOST_TTI_DETAIL_TP_T>
  104. struct dmem_check_ptec :
  105. BOOST_TTI_NAMESPACE::detail::class_type<BOOST_TTI_DETAIL_TP_T>
  106. {
  107. BOOST_MPL_ASSERT((boost::function_types::is_member_object_pointer<BOOST_TTI_DETAIL_TP_T>));
  108. };
  109. template<class BOOST_TTI_DETAIL_TP_T,class BOOST_TTI_DETAIL_TP_T2>
  110. struct dmem_get_type :
  111. boost::mpl::eval_if
  112. <
  113. boost::is_same<BOOST_TTI_DETAIL_TP_T2,BOOST_TTI_NAMESPACE::detail::deftype>,
  114. BOOST_TTI_NAMESPACE::detail::dmem_check_ptmd<BOOST_TTI_DETAIL_TP_T>,
  115. BOOST_TTI_NAMESPACE::detail::ptmd<BOOST_TTI_DETAIL_TP_T,BOOST_TTI_DETAIL_TP_T2>
  116. >
  117. {
  118. };
  119. template<class BOOST_TTI_DETAIL_TP_T,class BOOST_TTI_DETAIL_TP_T2>
  120. struct dmem_get_enclosing :
  121. boost::mpl::eval_if
  122. <
  123. boost::is_same<BOOST_TTI_DETAIL_TP_T2,BOOST_TTI_NAMESPACE::detail::deftype>,
  124. BOOST_TTI_NAMESPACE::detail::dmem_check_ptec<BOOST_TTI_DETAIL_TP_T>,
  125. boost::mpl::identity<BOOST_TTI_DETAIL_TP_T>
  126. >
  127. {
  128. };
  129. }
  130. }
  131. }
  132. #endif // BOOST_TTI_DETAIL_MEM_DATA_HPP