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
7 Distributed under the Boost Software License, Version 1.0. (See accompanying
8 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
9 ==============================================================================*/
11 #ifndef BOOST_FUSION_ADAPTED_STRUCT_DETAIL_ADAPT_BASE_HPP
12 #define BOOST_FUSION_ADAPTED_STRUCT_DETAIL_ADAPT_BASE_HPP
14 #include <boost/fusion/support/config.hpp>
15 #include <boost/config.hpp>
16 #include <boost/fusion/support/tag_of_fwd.hpp>
17 #include <boost/fusion/adapted/struct/detail/adapt_auto.hpp>
18 #include <boost/fusion/adapted/struct/detail/adapt_is_tpl.hpp>
20 #include <boost/preprocessor/empty.hpp>
21 #include <boost/preprocessor/stringize.hpp>
22 #include <boost/preprocessor/control/if.hpp>
23 #include <boost/preprocessor/seq/size.hpp>
24 #include <boost/preprocessor/seq/for_each.hpp>
25 #include <boost/preprocessor/seq/for_each_i.hpp>
26 #include <boost/preprocessor/seq/enum.hpp>
27 #include <boost/preprocessor/seq/seq.hpp>
28 #include <boost/preprocessor/tuple/eat.hpp>
29 #include <boost/preprocessor/tuple/elem.hpp>
30 #include <boost/preprocessor/arithmetic/dec.hpp>
31 #include <boost/preprocessor/comparison/less.hpp>
32 #include <boost/preprocessor/logical/not.hpp>
33 #include <boost/mpl/bool.hpp>
34 #include <boost/mpl/tag.hpp>
35 #include <boost/mpl/eval_if.hpp>
36 #include <boost/mpl/identity.hpp>
37 #include <boost/type_traits/is_const.hpp>
38 #include <boost/type_traits/add_const.hpp>
39 #include <boost/type_traits/add_reference.hpp>
41 #include <boost/typeof/typeof.hpp>
44 #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME_TEMPLATE_PARAMS(SEQ) \
45 BOOST_PP_SEQ_HEAD(SEQ)<BOOST_PP_SEQ_ENUM(BOOST_PP_SEQ_TAIL(SEQ))> \
48 #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(SEQ) \
50 BOOST_PP_SEQ_HEAD(SEQ), \
51 BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME_TEMPLATE_PARAMS, \
52 BOOST_PP_SEQ_HEAD)(BOOST_PP_SEQ_TAIL(SEQ))
54 #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL_C(R, _, ELEM) \
56 #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL(SEQ) \
58 BOOST_PP_SEQ_FOR_EACH( \
59 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL_C, \
61 BOOST_PP_SEQ_TAIL(SEQ)))
62 #define BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(SEQ) \
64 BOOST_PP_SEQ_HEAD(SEQ), \
65 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS_IMPL, \
66 BOOST_PP_TUPLE_EAT(1))(SEQ)
69 # define BOOST_FUSION_ATTRIBUTE_TYPEOF( \
70 NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ) \
72 BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS( \
73 TEMPLATE_PARAMS_SEQ) \
75 struct deduced_attr_type { \
76 static const BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)& obj; \
78 BOOST_PP_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ), typename, ) \
79 BOOST_TYPEOF( PREFIX() obj.BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, \
85 BOOST_PP_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ), typename, ) \
86 deduced_attr_type::type attribute_type;
89 # define BOOST_FUSION_ATTRIBUTE_TYPEOF( \
90 NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ) \
92 struct deduced_attr_type { \
93 static const BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)& obj; \
94 typedef BOOST_TYPEOF( \
95 PREFIX() obj.BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, 0, ATTRIBUTE)) \
100 BOOST_PP_IF(BOOST_FUSION_ADAPT_IS_TPL(TEMPLATE_PARAMS_SEQ), typename, ) \
101 deduced_attr_type::type attribute_type;
105 #define BOOST_FUSION_ATTRIBUTE_GIVENTYPE( \
106 NAME_SEQ, ATTRIBUTE, ATTRIBUTE_TUPLE_SIZE, PREFIX, TEMPLATE_PARAMS_SEQ) \
108 BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, 0, ATTRIBUTE) attribute_type;
111 #ifdef BOOST_NO_PARTIAL_SPECIALIZATION_IMPLICIT_DEFAULT_ARGS
112 # define BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
113 MODIFIER, TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
116 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
119 BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) MODIFIER \
126 # define BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
127 MODIFIER, TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
130 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
132 struct tag_of<BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) MODIFIER> \
138 #define BOOST_FUSION_ADAPT_STRUCT_BASE_UNPACK_AND_CALL(R,DATA,I,ATTRIBUTE) \
139 BOOST_PP_TUPLE_ELEM(4,0,DATA)( \
140 BOOST_PP_TUPLE_ELEM(4,1,DATA), \
141 BOOST_PP_TUPLE_ELEM(4,2,DATA), \
142 BOOST_PP_TUPLE_ELEM(4,3,DATA), \
147 # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAM(R,_,ELEM) \
149 # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS_IMPL(SEQ) \
150 BOOST_PP_SEQ_FOR_EACH( \
151 BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAM, \
153 BOOST_PP_SEQ_TAIL(SEQ))
154 # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS(SEQ) \
156 BOOST_PP_SEQ_HEAD(SEQ), \
157 BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS_IMPL, \
158 BOOST_PP_TUPLE_EAT(1))(SEQ)
160 # define BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS(SEQ)
163 #define BOOST_FUSION_ADAPT_STRUCT_C_BASE( \
164 TEMPLATE_PARAMS_SEQ,NAME_SEQ,IS_VIEW, \
165 I,PREFIX,ATTRIBUTE,ATTRIBUTE_TUPLE_SIZE, \
169 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
171 struct access::struct_member< \
172 BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) \
176 BOOST_PP_IF(DEDUCE_TYPE, \
177 BOOST_FUSION_ATTRIBUTE_TYPEOF, BOOST_FUSION_ATTRIBUTE_GIVENTYPE)( \
180 ATTRIBUTE_TUPLE_SIZE, \
182 TEMPLATE_PARAMS_SEQ) \
184 BOOST_FUSION_ADAPT_STRUCT_MSVC_REDEFINE_TEMPLATE_PARAMS( \
185 TEMPLATE_PARAMS_SEQ) \
187 typedef attribute_type type; \
189 template<typename Seq> \
194 typename mpl::eval_if< \
196 , add_const<attribute_type> \
197 , mpl::identity<attribute_type> \
202 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED \
206 return seq.PREFIX() \
207 BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, \
208 BOOST_PP_NOT(DEDUCE_TYPE), ATTRIBUTE); \
214 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS(TEMPLATE_PARAMS_SEQ) \
216 struct struct_member_name< \
217 BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) \
221 typedef char const* type; \
223 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED \
227 return BOOST_PP_STRINGIZE( \
228 BOOST_PP_TUPLE_ELEM(ATTRIBUTE_TUPLE_SIZE, \
229 BOOST_PP_NOT(DEDUCE_TYPE), ATTRIBUTE)); \
233 #define BOOST_FUSION_ADAPT_STRUCT_BASE( \
234 TEMPLATE_PARAMS_SEQ, \
239 ATTRIBUTES_CALLBACK) \
247 BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
248 BOOST_PP_EMPTY(), TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
249 BOOST_FUSION_ADAPT_STRUCT_TAG_OF_SPECIALIZATION( \
250 const, TEMPLATE_PARAMS_SEQ, NAME_SEQ, TAG) \
253 namespace extension \
256 BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ATTRIBUTES_SEQ)), \
257 BOOST_PP_SEQ_FOR_EACH_I_R, \
258 BOOST_PP_TUPLE_EAT(4))( \
260 BOOST_FUSION_ADAPT_STRUCT_BASE_UNPACK_AND_CALL, \
261 (ATTRIBUTES_CALLBACK,TEMPLATE_PARAMS_SEQ,NAME_SEQ, IS_VIEW),\
262 BOOST_PP_SEQ_TAIL(ATTRIBUTES_SEQ)) \
265 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
266 TEMPLATE_PARAMS_SEQ) \
268 struct struct_size<BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)> \
269 : mpl::int_<BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ATTRIBUTES_SEQ))> \
273 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
274 TEMPLATE_PARAMS_SEQ) \
276 struct struct_is_view< \
277 BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) \
279 : mpl::BOOST_PP_IIF(IS_VIEW,true_,false_) \
287 struct sequence_tag; \
290 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
291 TEMPLATE_PARAMS_SEQ) \
293 struct sequence_tag<BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ)> \
295 typedef fusion::fusion_sequence_tag type; \
299 BOOST_FUSION_ADAPT_STRUCT_UNPACK_TEMPLATE_PARAMS( \
300 TEMPLATE_PARAMS_SEQ) \
302 struct sequence_tag< \
303 BOOST_FUSION_ADAPT_STRUCT_UNPACK_NAME(NAME_SEQ) const \
306 typedef fusion::fusion_sequence_tag type; \