]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | |
2 | // Copyright (C) 2009-2012 Lorenzo Caminiti | |
3 | // Distributed under the Boost Software License, Version 1.0 | |
4 | // (see accompanying file LICENSE_1_0.txt or a copy at | |
5 | // http://www.boost.org/LICENSE_1_0.txt) | |
6 | // Home at http://www.boost.org/libs/local_function | |
7 | ||
8 | #ifndef BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_HPP_ | |
9 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_HPP_ | |
10 | ||
11 | #include <boost/local_function/aux_/symbol.hpp> | |
12 | #include <boost/local_function/aux_/macro/decl.hpp> | |
13 | #include <boost/local_function/aux_/preprocessor/traits/bind.hpp> | |
14 | #include <boost/local_function/aux_/preprocessor/traits/decl_binds.hpp> | |
15 | #include <boost/local_function/aux_/preprocessor/traits/decl_const_binds.hpp> | |
16 | #include <boost/utility/identity_type.hpp> | |
17 | #include <boost/scope_exit.hpp> | |
18 | #include <boost/type_traits/remove_reference.hpp> | |
19 | #include <boost/type_traits/function_traits.hpp> | |
20 | #include <boost/preprocessor/control/expr_iif.hpp> | |
21 | #include <boost/preprocessor/control/iif.hpp> | |
22 | #include <boost/preprocessor/facilities/empty.hpp> | |
23 | #include <boost/preprocessor/facilities/is_empty.hpp> | |
24 | #include <boost/preprocessor/facilities/identity.hpp> | |
25 | #include <boost/preprocessor/logical/bitand.hpp> | |
26 | #include <boost/preprocessor/punctuation/comma_if.hpp> | |
27 | #include <boost/preprocessor/tuple/elem.hpp> | |
28 | #include <boost/preprocessor/tuple/eat.hpp> | |
29 | #include <boost/preprocessor/list/adt.hpp> | |
30 | #include <boost/preprocessor/list/for_each_i.hpp> | |
31 | #include <boost/preprocessor/list/append.hpp> | |
32 | ||
33 | // PRIVATE // | |
34 | ||
35 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAMS_VAR_(id) \ | |
36 | BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (params)(id) ) | |
37 | ||
38 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_TAG_DECL_(r, id, i, bind_traits) \ | |
39 | BOOST_SCOPE_EXIT_DETAIL_TAG_DECL(r, id, i, \ | |
40 | BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ | |
41 | bind_traits)) | |
42 | ||
43 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_TYPED_( \ | |
44 | r, id, typename01, i, bind_traits) \ | |
45 | typedef BOOST_PP_EXPR_IIF(typename01, typename) \ | |
46 | /* remove ref because typed var can have & prefix */ \ | |
47 | ::boost::remove_reference< BOOST_PP_EXPR_IIF(typename01, typename) \ | |
48 | ::boost::function_traits< \ | |
49 | /* instead of using Boost.Typeof, get bind type as 1st */ \ | |
50 | /* argument type of func type `void (type_ [&] var_)` */ \ | |
51 | void ( BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITH_TYPE( \ | |
52 | bind_traits) ) \ | |
53 | >::arg1_type \ | |
54 | >::type \ | |
55 | BOOST_SCOPE_EXIT_DETAIL_CAPTURE_T(id, i, \ | |
56 | BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ | |
57 | bind_traits)) \ | |
58 | ; /* close typedef */ | |
59 | ||
60 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_DEDUCED_( \ | |
61 | r, id, typename01, i, bind_traits) \ | |
62 | BOOST_SCOPE_EXIT_DETAIL_CAPTURE_DECL(r, \ | |
63 | ( \ | |
64 | id \ | |
65 | , \ | |
66 | /* ScopeExit expects typename or EMPTY() here */ \ | |
67 | BOOST_PP_EXPR_IIF(typename01, typename) \ | |
68 | ), \ | |
69 | i, BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ | |
70 | bind_traits)) | |
71 | ||
72 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_( \ | |
73 | r, id_typename, i, bind_traits) \ | |
74 | BOOST_PP_IIF(BOOST_PP_IS_EMPTY( \ | |
75 | BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITH_TYPE(bind_traits)), \ | |
76 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_DEDUCED_ \ | |
77 | , \ | |
78 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_TYPED_ \ | |
79 | )(r, BOOST_PP_TUPLE_ELEM(2, 0, id_typename), \ | |
80 | BOOST_PP_TUPLE_ELEM(2, 1, id_typename), i, bind_traits) | |
81 | ||
82 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAM_DECL_( \ | |
83 | r, id_typename, i, bind_traits) \ | |
84 | BOOST_SCOPE_EXIT_DETAIL_PARAM_DECL(r, \ | |
85 | ( \ | |
86 | BOOST_PP_TUPLE_ELEM(2, 0, id_typename) \ | |
87 | , \ | |
88 | /* ScopeExit expects typename or EMPTY() here */ \ | |
89 | BOOST_PP_EXPR_IIF(BOOST_PP_TUPLE_ELEM(2, 1, id_typename), \ | |
90 | typename \ | |
91 | ) \ | |
92 | ), \ | |
93 | i, BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ | |
94 | bind_traits)) | |
95 | ||
96 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_MEMBER_DECL_VAR_( \ | |
97 | r, id, typename01, i, var) \ | |
98 | BOOST_PP_EXPR_IIF(typename01, typename) \ | |
99 | BOOST_IDENTITY_TYPE(( /* must use IDENTITY because of tparam comma */ \ | |
100 | ::boost::scope_exit::detail::member< \ | |
101 | BOOST_SCOPE_EXIT_DETAIL_PARAM_T(id, i, var) \ | |
102 | , BOOST_SCOPE_EXIT_DETAIL_TAG(id, i) \ | |
103 | > \ | |
104 | )) \ | |
105 | BOOST_SCOPE_EXIT_DETAIL_PARAM(id, i, var); | |
106 | ||
107 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_MEMBER_DECL_( \ | |
108 | r, id_typename, i, bind_traits) \ | |
109 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_MEMBER_DECL_VAR_(r, \ | |
110 | BOOST_PP_TUPLE_ELEM(2, 0, id_typename), \ | |
111 | BOOST_PP_TUPLE_ELEM(2, 1, id_typename), \ | |
112 | i, BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ | |
113 | bind_traits)) | |
114 | ||
115 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAM_INIT_(r, id, i, bind_traits) \ | |
116 | BOOST_SCOPE_EXIT_DETAIL_PARAM_INIT(r, id, i, \ | |
117 | BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ | |
118 | bind_traits)) | |
119 | ||
120 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_CAPTURE_TYPE_(id) \ | |
121 | BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (this_capture_type)(id) ) | |
122 | ||
123 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE_(id) \ | |
124 | BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (this_type)(id) ) | |
125 | ||
126 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_DEDUCED_( \ | |
127 | id, typename01, all_bind_this_types) \ | |
128 | BOOST_SCOPE_EXIT_DETAIL_TYPEDEF_TYPEOF_THIS(id, \ | |
129 | BOOST_PP_EXPR_IIF(typename01, typename), /* otherwise EMPTY() */ \ | |
130 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_CAPTURE_TYPE_(id)) | |
131 | ||
132 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_TYPED_( \ | |
133 | id, typename01, all_bind_this_types) \ | |
134 | typedef \ | |
135 | BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_THIS_TYPE(BOOST_PP_LIST_FIRST( \ | |
136 | all_bind_this_types)) \ | |
137 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_CAPTURE_TYPE_(id) \ | |
138 | ; | |
139 | ||
140 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_( \ | |
141 | id, typename01, all_bind_this_types) \ | |
142 | /* typedef type_ */ \ | |
143 | BOOST_PP_IIF(BOOST_PP_IS_EMPTY( \ | |
144 | /* all_bind_this_type is list with 1 elem (possibly PP_EMPTY), */ \ | |
145 | /* otherwise got a pp-parsing error before getting here */ \ | |
146 | BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_THIS_TYPE( \ | |
147 | BOOST_PP_LIST_FIRST(all_bind_this_types))), \ | |
148 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_DEDUCED_ \ | |
149 | , \ | |
150 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_TYPED_ \ | |
151 | )(id, typename01, all_bind_this_types) | |
152 | ||
153 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_ALL_( \ | |
154 | all_binds, all_bind_this_types, id, typename01) \ | |
155 | /* binding tags */ \ | |
156 | BOOST_PP_IIF(BOOST_PP_LIST_IS_CONS(all_bind_this_types), \ | |
157 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_ \ | |
158 | , \ | |
159 | BOOST_PP_TUPLE_EAT(3) \ | |
160 | )(id, typename01, all_bind_this_types) \ | |
161 | BOOST_PP_LIST_FOR_EACH_I(BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_TAG_DECL_, id, \ | |
162 | all_binds) \ | |
163 | BOOST_PP_LIST_FOR_EACH_I(BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_, \ | |
164 | (id, typename01), all_binds) \ | |
165 | /* binding class */ \ | |
166 | struct BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id) { \ | |
167 | /* interim capture types to workaround internal error on old GCC */ \ | |
168 | BOOST_PP_EXPR_IIF(BOOST_PP_LIST_IS_CONS(all_bind_this_types), \ | |
169 | typedef BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_CAPTURE_TYPE_(id) \ | |
170 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE_(id) ; \ | |
171 | ) \ | |
172 | BOOST_PP_EXPR_IIF(BOOST_PP_LIST_IS_CONS(all_bind_this_types), \ | |
173 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE_(id) \ | |
174 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_VAR; \ | |
175 | ) \ | |
176 | BOOST_PP_LIST_FOR_EACH_I( \ | |
177 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAM_DECL_, \ | |
178 | (id, typename01), all_binds) \ | |
179 | BOOST_PP_LIST_FOR_EACH_I( \ | |
180 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_MEMBER_DECL_, \ | |
181 | (id, typename01), all_binds) \ | |
182 | } BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAMS_VAR_(id) = \ | |
183 | /* NOTE: there is no way to wrap member initializer commas within */ \ | |
184 | /* parenthesis so you must handle these commas manually if expanding */ \ | |
185 | /* this macro within another macro */ \ | |
186 | { \ | |
187 | /* initialize the struct with param values to bind */ \ | |
188 | BOOST_PP_EXPR_IIF(BOOST_PP_LIST_IS_CONS(all_bind_this_types), \ | |
189 | this) /* here name `this` access object at enclosing scope */ \ | |
190 | BOOST_PP_COMMA_IF(BOOST_PP_BITAND( \ | |
191 | BOOST_PP_LIST_IS_CONS(all_bind_this_types) \ | |
192 | , BOOST_PP_LIST_IS_CONS(all_binds) \ | |
193 | )) \ | |
194 | BOOST_PP_LIST_FOR_EACH_I( \ | |
195 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAM_INIT_, id, all_binds) \ | |
196 | }; | |
197 | ||
198 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_(id, typename01, decl_traits) \ | |
199 | /* IMPORTANT: the order of these appends is important, it must follow */ \ | |
200 | /* the indexing order used by the functor code which starts */ \ | |
201 | /* enumerating const binds and then non-const binds */ \ | |
202 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_ALL_( \ | |
203 | BOOST_PP_LIST_APPEND( \ | |
204 | BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_CONST_BINDS( \ | |
205 | decl_traits),\ | |
206 | BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_BINDS( \ | |
207 | decl_traits)), \ | |
208 | BOOST_PP_LIST_APPEND( \ | |
209 | BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_CONST_BIND_THIS_TYPES(decl_traits), \ | |
210 | BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_BIND_THIS_TYPES( \ | |
211 | decl_traits)), \ | |
212 | id, typename01) | |
213 | ||
214 | // PUBLIC // | |
215 | ||
216 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE(id, typename01) \ | |
217 | BOOST_PP_EXPR_IIF(typename01, typename) \ | |
218 | BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id):: \ | |
219 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE_(id) | |
220 | ||
221 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_VAR \ | |
222 | BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (this_var) ) | |
223 | ||
224 | #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND(id, typename01, decl_traits) \ | |
225 | /* the binding data structures must be declared and initialized (to */ \ | |
226 | /* empty structs, so hopefully the compiler will optimize away the */ \ | |
227 | /* no-op code) even when there is no bound param because these structs */ \ | |
228 | /* are used to init `...args.value` which is always used by the `END` */ \ | |
229 | /* macro later because this macro does not know if there are bound */ \ | |
230 | /* params or not */ \ | |
231 | BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_(id, typename01, decl_traits) \ | |
232 | /* this code takes advantage of the template argument list/comparison */ \ | |
233 | /* operator ambiguity to declare a variable iff it hasn't already been */ \ | |
234 | /* declared in that scope; the second occurrence is parsed as: */ \ | |
235 | /* (declared<(resolve<sizeof(boost_local_auxXargs)>::cmp1<0)>::cmp2> */ \ | |
236 | /* ...Xargs); */ \ | |
237 | /* which is a no-op */ \ | |
238 | ::boost::scope_exit::detail::declared< boost::scope_exit::detail::resolve< \ | |
239 | /* cannot prefix with `::` as in `sizeof(:: ...` because the name */ \ | |
240 | /* must refer to the local variable name to allow multiple local */ \ | |
241 | /* functions (and exits) within the same scope (however this */ \ | |
242 | /* does not allow for nesting because local variables cannot be */ \ | |
243 | /* used in nested code blocks) */ \ | |
244 | sizeof(BOOST_LOCAL_FUNCTION_AUX_DECL_ARGS_VAR) \ | |
245 | >::cmp1<0>::cmp2 > BOOST_LOCAL_FUNCTION_AUX_DECL_ARGS_VAR; \ | |
246 | /* stores bound types/values into `...args` variable (args variable */ \ | |
247 | /* can be accessed by `NAME` macro because doesn't use __LINE__ id) */ \ | |
248 | BOOST_LOCAL_FUNCTION_AUX_DECL_ARGS_VAR.value = \ | |
249 | &BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAMS_VAR_(id); | |
250 | ||
251 | #endif // #include guard | |
252 |