adapt_base.hpp 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310
  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/add_const.hpp>
  34. #include <boost/typeof/typeof.hpp>
  35. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME_TEMPLATE_PARAMS(SEQ) \
  36. BOOST_PP_SEQ_HEAD(SEQ)<BOOST_PP_SEQ_ENUM(BOOST_PP_SEQ_TAIL(SEQ))> \
  37. BOOST_PP_EMPTY()
  38. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(SEQ) \
  39. BOOST_PP_IF( \
  40. BOOST_PP_SEQ_HEAD(SEQ), \
  41. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME_TEMPLATE_PARAMS, \
  42. BOOST_PP_SEQ_HEAD)(BOOST_PP_SEQ_TAIL(SEQ))
  43. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL_C(R, _, ELEM) \
  44. (typename ELEM)
  45. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL(SEQ) \
  46. BOOST_PP_SEQ_ENUM( \
  47. BOOST_PP_SEQ_FOR_EACH( \
  48. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL_C, \
  49. _, \
  50. BOOST_PP_SEQ_TAIL(SEQ)))
  51. #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(SEQ) \
  52. BOOST_PP_IF( \
  53. BOOST_PP_SEQ_HEAD(SEQ), \
  54. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL, \
  55. BOOST_PP_TUPLE_EAT(1))(SEQ)
  56. #ifdef BOOST_MSVC
  57. # define BOOST_FUSION_ATTRIBUTE_TYPEOF( \
  58. NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ) \
  59. \
  60. BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS( \
  61. TEMPLATE_PARAMS_SEQ) \
  62. \
  63. struct deduced_attr_type { \
  64. static const BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)& obj; \
  65. typedef \
  66. BOOST_PP_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ), typename, ) \
  67. BOOST_TYPEOF( PREFIX() obj.BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, \
  68. 0, ATTRIBUTE)) \
  69. type; \
  70. }; \
  71. \
  72. typedef \
  73. BOOST_PP_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ), typename, ) \
  74. deduced_attr_type::type attribute_type;
  75. #else
  76. # define BOOST_FUSION_ATTRIBUTE_TYPEOF( \
  77. NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ) \
  78. \
  79. struct deduced_attr_type { \
  80. static const BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)& obj; \
  81. typedef BOOST_TYPEOF( \
  82. PREFIX() obj.BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, 0, ATTRIBUTE)) \
  83. type; \
  84. }; \
  85. \
  86. typedef \
  87. BOOST_PP_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ), typename, ) \
  88. deduced_attr_type::type attribute_type;
  89. #endif
  90. #define BOOST_FUSION_ATTRIBUTE_GIVENTYPE( \
  91. NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ) \
  92. typedef \
  93. BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, 0, ATTRIBUTE) attribute_type;
  94. #ifdef BOOST_NO_PARTIAL_SPECIALIZATION_IMPLICIT_DEFAULT_ARGS
  95. # define BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
  96. MODIFIER, TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
  97. \
  98. template< \
  99. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
  100. > \
  101. struct tag_of< \
  102. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) MODIFIER \
  103. , void \
  104. > \
  105. { \
  106. typedef TAG type; \
  107. };
  108. #else
  109. # define BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
  110. MODIFIER, TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
  111. \
  112. template< \
  113. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
  114. > \
  115. struct tag_of<BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) MODIFIER> \
  116. { \
  117. typedef TAG type; \
  118. };
  119. #endif
  120. #define BOOST_FUSION_ADAPT_STRUCT_BASE_UNPACK_AND_CALL(R,DATA,I,ATTRIBUTE) \
  121. BOOST_PP_TUPLE_ELEM(4,0,DATA)( \
  122. BOOST_PP_TUPLE_ELEM(4,1,DATA), \
  123. BOOST_PP_TUPLE_ELEM(4,2,DATA), \
  124. BOOST_PP_TUPLE_ELEM(4,3,DATA), \
  125. I, \
  126. ATTRIBUTE)
  127. #ifdef BOOST_MSVC
  128. # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAM(R,_,ELEM) \
  129. typedef ELEM ELEM;
  130. # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS_IMPL(SEQ) \
  131. BOOST_PP_SEQ_FOR_EACH( \
  132. BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAM, \
  133. _, \
  134. BOOST_PP_SEQ_TAIL(SEQ))
  135. # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS(SEQ) \
  136. BOOST_PP_IF( \
  137. BOOST_PP_SEQ_HEAD(SEQ), \
  138. BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS_IMPL, \
  139. BOOST_PP_TUPLE_EAT(1))(SEQ)
  140. #else
  141. # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS(SEQ)
  142. #endif
  143. #define BOOST_FUSION_ADAPT_STRUCT_C_BASE( \
  144. TEMPLATE_PARAMS_SEQ,NAME_SEQ,IS_VIEW, \
  145. I,PREFIX,ATTRIBUTE,ATTRIBUTE_TUPLE_SIZE, \
  146. DEDUCE_TYPE) \
  147. \
  148. template< \
  149. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
  150. > \
  151. struct access::struct_member< \
  152. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) \
  153. , I \
  154. > \
  155. { \
  156. BOOST_PP_IF(DEDUCE_TYPE, \
  157. BOOST_FUSION_ATTRIBUTE_TYPEOF, BOOST_FUSION_ATTRIBUTE_GIVENTYPE)( \
  158. NAME_SEQ, \
  159. ATTRIBUTE, \
  160. ATTRIBUTE_TUPLE_SIZE, \
  161. PREFIX, \
  162. TEMPLATE_PARAMS_SEQ) \
  163. \
  164. BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS( \
  165. TEMPLATE_PARAMS_SEQ) \
  166. \
  167. typedef attribute_type type; \
  168. \
  169. template<typename Seq> \
  170. struct apply \
  171. { \
  172. typedef typename \
  173. add_reference< \
  174. typename mpl::eval_if< \
  175. is_const<Seq> \
  176. , add_const<attribute_type> \
  177. , mpl::identity<attribute_type> \
  178. >::type \
  179. >::type \
  180. type; \
  181. \
  182. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED \
  183. static type \
  184. call(Seq& seq) \
  185. { \
  186. return seq.PREFIX() \
  187. BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, \
  188. BOOST_PP_NOT(DEDUCE_TYPE), ATTRIBUTE); \
  189. } \
  190. }; \
  191. }; \
  192. \
  193. template< \
  194. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
  195. > \
  196. struct struct_member_name< \
  197. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) \
  198. , I \
  199. > \
  200. { \
  201. typedef char const* type; \
  202. \
  203. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED \
  204. static type \
  205. call() \
  206. { \
  207. return BOOST_PP_STRINGIZE( \
  208. BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, \
  209. BOOST_PP_NOT(DEDUCE_TYPE), ATTRIBUTE)); \
  210. } \
  211. };
  212. #define BOOST_FUSION_ADAPT_STRUCT_BASE( \
  213. TEMPLATE_PARAMS_SEQ, \
  214. NAME_SEQ, \
  215. TAG, \
  216. IS_VIEW, \
  217. ATTRIBUTES_SEQ, \
  218. ATTRIBUTES_CALLBACK) \
  219. \
  220. namespace boost \
  221. { \
  222. namespace fusion \
  223. { \
  224. namespace traits \
  225. { \
  226. BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
  227. BOOST_PP_EMPTY(), TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
  228. BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
  229. const, TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
  230. } \
  231. \
  232. namespace extension \
  233. { \
  234. BOOST_PP_IF( \
  235. BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ATTRIBUTES_SEQ)), \
  236. BOOST_PP_SEQ_FOR_EACH_I_R, \
  237. BOOST_PP_TUPLE_EAT(4))( \
  238. 1, \
  239. BOOST_FUSION_ADAPT_STRUCT_BASE_UNPACK_AND_CALL, \
  240. (ATTRIBUTES_CALLBACK,TEMPLATE_PARAMS_SEQ,NAME_SEQ, IS_VIEW),\
  241. BOOST_PP_SEQ_TAIL(ATTRIBUTES_SEQ)) \
  242. \
  243. template< \
  244. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
  245. TEMPLATE_PARAMS_SEQ) \
  246. > \
  247. struct struct_size<BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)> \
  248. : mpl::int_<BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ATTRIBUTES_SEQ))> \
  249. {}; \
  250. \
  251. template< \
  252. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
  253. TEMPLATE_PARAMS_SEQ) \
  254. > \
  255. struct struct_is_view< \
  256. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) \
  257. > \
  258. : mpl::BOOST_PP_IIF(IS_VIEW,true_,false_) \
  259. {}; \
  260. } \
  261. } \
  262. \
  263. namespace mpl \
  264. { \
  265. template<typename> \
  266. struct sequence_tag; \
  267. \
  268. template< \
  269. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
  270. TEMPLATE_PARAMS_SEQ) \
  271. > \
  272. struct sequence_tag<BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)> \
  273. { \
  274. typedef fusion::fusion_sequence_tag type; \
  275. }; \
  276. \
  277. template< \
  278. BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
  279. TEMPLATE_PARAMS_SEQ) \
  280. > \
  281. struct sequence_tag< \
  282. BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) const \
  283. > \
  284. { \
  285. typedef fusion::fusion_sequence_tag type; \
  286. }; \
  287. } \
  288. }
  289. #endif