adapt_base.hpp 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311
  1. /*=============================================================================
  2. Copyright (c) 2001-2009 Joel de Guzman
  3. Copyright (c) 2005-2006 Dan Marsden
  4. Copyright (c) 2009-2011 Christopher Schmidt
  5. Copyright (c) 2013-2014 Damien Buhl
  6. Distributed under the Boost Software License, Version 1.0. (See accompanying
  7. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  8. ==============================================================================*/
  9. #ifndef BOOST_FUSION_ADAPTED_STRUCT_DETAIL_ADAPT_BASE_HPP
  10. #define BOOST_FUSION_ADAPTED_STRUCT_DETAIL_ADAPT_BASE_HPP
  11. #include <boost/fusion/support/config.hpp>
  12. #include <boost/config.hpp>
  13. #include <boost/fusion/support/tag_of_fwd.hpp>
  14. #include <boost/fusion/adapted/struct/detail/adapt_auto.hpp>
  15. #include <boost/fusion/adapted/struct/detail/adapt_is_tpl.hpp>
  16. #include <boost/preprocessor/empty.hpp>
  17. #include <boost/preprocessor/stringize.hpp>
  18. #include <boost/preprocessor/control/if.hpp>
  19. #include <boost/preprocessor/seq/size.hpp>
  20. #include <boost/preprocessor/seq/for_each.hpp>
  21. #include <boost/preprocessor/seq/for_each_i.hpp>
  22. #include <boost/preprocessor/seq/enum.hpp>
  23. #include <boost/preprocessor/seq/seq.hpp>
  24. #include <boost/preprocessor/tuple/eat.hpp>
  25. #include <boost/preprocessor/tuple/elem.hpp>
  26. #include <boost/preprocessor/arithmetic/dec.hpp>
  27. #include <boost/preprocessor/comparison/less.hpp>
  28. #include <boost/preprocessor/logical/not.hpp>
  29. #include <boost/mpl/bool.hpp>
  30. #include <boost/mpl/tag.hpp>
  31. #include <boost/mpl/eval_if.hpp>
  32. #include <boost/mpl/identity.hpp>
  33. #include <boost/type_traits/is_const.hpp>
  34. #include <boost/type_traits/add_const.hpp>
  35. #include <boost/type_traits/add_reference.hpp>
  36. #include <boost/typeof/typeof.hpp>
  37. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME_TEMPLATE_PARAMS(SEQ) \
  38. BOOST_PP_SEQ_HEAD(SEQ)<BOOST_PP_SEQ_ENUM(BOOST_PP_SEQ_TAIL(SEQ))> \
  39. BOOST_PP_EMPTY()
  40. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(SEQ) \
  41. BOOST_PP_IF( \
  42. BOOST_PP_SEQ_HEAD(SEQ), \
  43. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME_TEMPLATE_PARAMS, \
  44. BOOST_PP_SEQ_HEAD)(BOOST_PP_SEQ_TAIL(SEQ))
  45. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL_C(R, _, ELEM) \
  46. (typename ELEM)
  47. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL(SEQ) \
  48. BOOST_PP_SEQ_ENUM( \
  49. BOOST_PP_SEQ_FOR_EACH( \
  50. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL_C, \
  51. _, \
  52. BOOST_PP_SEQ_TAIL(SEQ)))
  53. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(SEQ) \
  54. BOOST_PP_IF( \
  55. BOOST_PP_SEQ_HEAD(SEQ), \
  56. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL, \
  57. BOOST_PP_TUPLE_EAT(1))(SEQ)
  58. #ifdef BOOST_MSVC
  59. # define BOOST_FUSION_ATTRIBUTE_TYPEOF( \
  60. NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ) \
  61. \
  62. BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS( \
  63. TEMPLATE_PARAMS_SEQ) \
  64. \
  65. struct deduced_attr_type { \
  66. static const BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)& obj; \
  67. typedef \
  68. BOOST_PP_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ), typename, ) \
  69. BOOST_TYPEOF( PREFIX() obj.BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, \
  70. 0, ATTRIBUTE)) \
  71. type; \
  72. }; \
  73. \
  74. typedef \
  75. BOOST_PP_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ), typename, ) \
  76. deduced_attr_type::type attribute_type;
  77. #else
  78. # define BOOST_FUSION_ATTRIBUTE_TYPEOF( \
  79. NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ) \
  80. \
  81. struct deduced_attr_type { \
  82. static const BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)& obj; \
  83. typedef BOOST_TYPEOF( \
  84. PREFIX() obj.BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, 0, ATTRIBUTE)) \
  85. type; \
  86. }; \
  87. \
  88. typedef \
  89. BOOST_PP_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ), typename, ) \
  90. deduced_attr_type::type attribute_type;
  91. #endif
  92. #define BOOST_FUSION_ATTRIBUTE_GIVENTYPE( \
  93. NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ) \
  94. typedef \
  95. BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, 0, ATTRIBUTE) attribute_type;
  96. #ifdef BOOST_NO_PARTIAL_SPECIALIZATION_IMPLICIT_DEFAULT_ARGS
  97. # define BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
  98. MODIFIER, TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
  99. \
  100. template< \
  101. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
  102. > \
  103. struct tag_of< \
  104. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) MODIFIER \
  105. , void \
  106. > \
  107. { \
  108. typedef TAG type; \
  109. };
  110. #else
  111. # define BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
  112. MODIFIER, TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
  113. \
  114. template< \
  115. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
  116. > \
  117. struct tag_of<BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) MODIFIER> \
  118. { \
  119. typedef TAG type; \
  120. };
  121. #endif
  122. #define BOOST_FUSION_ADAPT_STRUCT_BASE_UNPACK_AND_CALL(R,DATA,I,ATTRIBUTE) \
  123. BOOST_PP_TUPLE_ELEM(4,0,DATA)( \
  124. BOOST_PP_TUPLE_ELEM(4,1,DATA), \
  125. BOOST_PP_TUPLE_ELEM(4,2,DATA), \
  126. BOOST_PP_TUPLE_ELEM(4,3,DATA), \
  127. I, \
  128. ATTRIBUTE)
  129. #ifdef BOOST_MSVC
  130. # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAM(R,_,ELEM) \
  131. typedef ELEM ELEM;
  132. # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS_IMPL(SEQ) \
  133. BOOST_PP_SEQ_FOR_EACH( \
  134. BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAM, \
  135. _, \
  136. BOOST_PP_SEQ_TAIL(SEQ))
  137. # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS(SEQ) \
  138. BOOST_PP_IF( \
  139. BOOST_PP_SEQ_HEAD(SEQ), \
  140. BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS_IMPL, \
  141. BOOST_PP_TUPLE_EAT(1))(SEQ)
  142. #else
  143. # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS(SEQ)
  144. #endif
  145. #define BOOST_FUSION_ADAPT_STRUCT_C_BASE( \
  146. TEMPLATE_PARAMS_SEQ,NAME_SEQ,IS_VIEW, \
  147. I,PREFIX,ATTRIBUTE,ATTRIBUTE_TUPLE_SIZE, \
  148. DEDUCE_TYPE) \
  149. \
  150. template< \
  151. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
  152. > \
  153. struct access::struct_member< \
  154. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) \
  155. , I \
  156. > \
  157. { \
  158. BOOST_PP_IF(DEDUCE_TYPE, \
  159. BOOST_FUSION_ATTRIBUTE_TYPEOF, BOOST_FUSION_ATTRIBUTE_GIVENTYPE)( \
  160. NAME_SEQ, \
  161. ATTRIBUTE, \
  162. ATTRIBUTE_TUPLE_SIZE, \
  163. PREFIX, \
  164. TEMPLATE_PARAMS_SEQ) \
  165. \
  166. BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS( \
  167. TEMPLATE_PARAMS_SEQ) \
  168. \
  169. typedef attribute_type type; \
  170. \
  171. template<typename Seq> \
  172. struct apply \
  173. { \
  174. typedef typename \
  175. add_reference< \
  176. typename mpl::eval_if< \
  177. is_const<Seq> \
  178. , add_const<attribute_type> \
  179. , mpl::identity<attribute_type> \
  180. >::type \
  181. >::type \
  182. type; \
  183. \
  184. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED \
  185. static type \
  186. call(Seq& seq) \
  187. { \
  188. return seq.PREFIX() \
  189. BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, \
  190. BOOST_PP_NOT(DEDUCE_TYPE), ATTRIBUTE); \
  191. } \
  192. }; \
  193. }; \
  194. \
  195. template< \
  196. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
  197. > \
  198. struct struct_member_name< \
  199. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) \
  200. , I \
  201. > \
  202. { \
  203. typedef char const* type; \
  204. \
  205. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED \
  206. static type \
  207. call() \
  208. { \
  209. return BOOST_PP_STRINGIZE( \
  210. BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, \
  211. BOOST_PP_NOT(DEDUCE_TYPE), ATTRIBUTE)); \
  212. } \
  213. };
  214. #define BOOST_FUSION_ADAPT_STRUCT_BASE( \
  215. TEMPLATE_PARAMS_SEQ, \
  216. NAME_SEQ, \
  217. TAG, \
  218. IS_VIEW, \
  219. ATTRIBUTES_SEQ, \
  220. ATTRIBUTES_CALLBACK) \
  221. \
  222. namespace boost \
  223. { \
  224. namespace fusion \
  225. { \
  226. namespace traits \
  227. { \
  228. BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
  229. BOOST_PP_EMPTY(), TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
  230. BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
  231. const, TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
  232. } \
  233. \
  234. namespace extension \
  235. { \
  236. BOOST_PP_IF( \
  237. BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ATTRIBUTES_SEQ)), \
  238. BOOST_PP_SEQ_FOR_EACH_I_R, \
  239. BOOST_PP_TUPLE_EAT(4))( \
  240. 1, \
  241. BOOST_FUSION_ADAPT_STRUCT_BASE_UNPACK_AND_CALL, \
  242. (ATTRIBUTES_CALLBACK,TEMPLATE_PARAMS_SEQ,NAME_SEQ, IS_VIEW),\
  243. BOOST_PP_SEQ_TAIL(ATTRIBUTES_SEQ)) \
  244. \
  245. template< \
  246. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
  247. TEMPLATE_PARAMS_SEQ) \
  248. > \
  249. struct struct_size<BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)> \
  250. : mpl::int_<BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ATTRIBUTES_SEQ))> \
  251. {}; \
  252. \
  253. template< \
  254. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
  255. TEMPLATE_PARAMS_SEQ) \
  256. > \
  257. struct struct_is_view< \
  258. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) \
  259. > \
  260. : mpl::BOOST_PP_IIF(IS_VIEW,true_,false_) \
  261. {}; \
  262. } \
  263. } \
  264. \
  265. namespace mpl \
  266. { \
  267. template<typename> \
  268. struct sequence_tag; \
  269. \
  270. template< \
  271. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
  272. TEMPLATE_PARAMS_SEQ) \
  273. > \
  274. struct sequence_tag<BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)> \
  275. { \
  276. typedef fusion::fusion_sequence_tag type; \
  277. }; \
  278. \
  279. template< \
  280. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
  281. TEMPLATE_PARAMS_SEQ) \
  282. > \
  283. struct sequence_tag< \
  284. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) const \
  285. > \
  286. { \
  287. typedef fusion::fusion_sequence_tag type; \
  288. }; \
  289. } \
  290. }
  291. #endif