]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /*============================================================================= |
2 | Copyright (c) 2005-2006 Joao Abecasis | |
3 | Copyright (c) 2006-2007 Tobias Schwinger | |
4 | ||
5 | Use modification and distribution are subject to the Boost Software | |
6 | License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at | |
7 | http://www.boost.org/LICENSE_1_0.txt). | |
8 | ==============================================================================*/ | |
9 | ||
10 | #if !defined(BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_HPP_INCLUDED) | |
11 | #if !defined(BOOST_PP_IS_ITERATING) | |
12 | ||
13 | #include <boost/preprocessor/cat.hpp> | |
14 | #include <boost/preprocessor/iteration/iterate.hpp> | |
15 | #include <boost/preprocessor/arithmetic/dec.hpp> | |
16 | #include <boost/preprocessor/repetition/repeat_from_to.hpp> | |
17 | #include <boost/preprocessor/repetition/enum.hpp> | |
18 | #include <boost/preprocessor/repetition/enum_shifted.hpp> | |
19 | #include <boost/preprocessor/repetition/enum_params.hpp> | |
20 | #include <boost/preprocessor/repetition/enum_shifted_params.hpp> | |
21 | ||
22 | #include <boost/mpl/if.hpp> | |
23 | #include <boost/mpl/eval_if.hpp> | |
24 | #include <boost/mpl/or.hpp> | |
25 | #include <boost/mpl/front.hpp> | |
26 | #include <boost/mpl/identity.hpp> | |
27 | ||
28 | #include <boost/type_traits/add_const.hpp> | |
29 | #include <boost/type_traits/remove_cv.hpp> | |
30 | #include <boost/type_traits/add_reference.hpp> | |
31 | #include <boost/type_traits/remove_reference.hpp> | |
32 | #include <boost/type_traits/is_convertible.hpp> | |
33 | ||
34 | #include <boost/function_types/is_function.hpp> | |
35 | #include <boost/function_types/is_callable_builtin.hpp> | |
36 | #include <boost/function_types/is_member_pointer.hpp> | |
37 | #include <boost/function_types/is_member_function_pointer.hpp> | |
38 | #include <boost/function_types/result_type.hpp> | |
39 | #include <boost/function_types/parameter_types.hpp> | |
40 | ||
41 | #include <boost/utility/result_of.hpp> | |
42 | #include <boost/core/enable_if.hpp> | |
43 | ||
44 | #include <boost/fusion/support/category_of.hpp> | |
45 | #include <boost/fusion/sequence/intrinsic/at.hpp> | |
46 | #include <boost/fusion/sequence/intrinsic/size.hpp> | |
47 | #include <boost/fusion/sequence/intrinsic/front.hpp> | |
48 | #include <boost/fusion/sequence/intrinsic/begin.hpp> | |
49 | #include <boost/fusion/iterator/next.hpp> | |
50 | #include <boost/fusion/iterator/deref.hpp> | |
51 | #include <boost/fusion/functional/invocation/limits.hpp> | |
52 | #include <boost/fusion/functional/invocation/detail/that_ptr.hpp> | |
53 | ||
54 | namespace boost { namespace fusion | |
55 | { | |
56 | namespace detail | |
57 | { | |
58 | namespace ft = function_types; | |
59 | ||
60 | template< | |
61 | typename Function, class Sequence, | |
62 | int N = result_of::size<Sequence>::value, | |
63 | bool CBI = ft::is_callable_builtin<Function>::value, | |
64 | bool RandomAccess = traits::is_random_access<Sequence>::value, | |
65 | typename Enable = void | |
66 | > | |
67 | struct invoke_impl; | |
68 | ||
69 | template <class Sequence, int N> | |
70 | struct invoke_param_types; | |
71 | ||
72 | template <typename T, class Sequence> | |
73 | struct invoke_data_member; | |
74 | ||
75 | template <typename Function, class Sequence, int N, bool RandomAccess> | |
76 | struct invoke_fn_ptr; | |
77 | ||
78 | template <typename Function, class Sequence, int N, bool RandomAccess> | |
79 | struct invoke_mem_fn; | |
80 | ||
81 | #define BOOST_PP_FILENAME_1 <boost/fusion/functional/invocation/invoke.hpp> | |
82 | #define BOOST_PP_ITERATION_LIMITS (0, BOOST_FUSION_INVOKE_MAX_ARITY) | |
83 | #include BOOST_PP_ITERATE() | |
84 | ||
85 | template <typename F, class Sequence, int N, bool RandomAccess> | |
86 | struct invoke_nonmember_builtin | |
87 | // use same implementation as for function objects but... | |
88 | : invoke_fn_ptr< // ...work around boost::result_of bugs | |
89 | typename mpl::eval_if< ft::is_function<F>, | |
90 | boost::add_reference<F>, boost::remove_cv<F> >::type, | |
91 | Sequence, N, RandomAccess > | |
92 | { }; | |
93 | ||
94 | template <typename Function, class Sequence, int N, bool RandomAccess, typename Enable> | |
95 | struct invoke_impl<Function,Sequence,N,true,RandomAccess,Enable> | |
96 | : mpl::if_< ft::is_member_function_pointer<Function>, | |
97 | invoke_mem_fn<Function,Sequence,N,RandomAccess>, | |
98 | invoke_nonmember_builtin<Function,Sequence,N,RandomAccess> | |
99 | >::type | |
100 | { }; | |
101 | ||
102 | template <typename Function, class Sequence, bool RandomAccess, typename Enable> | |
103 | struct invoke_impl<Function,Sequence,1,true,RandomAccess,Enable> | |
104 | : mpl::eval_if< ft::is_member_pointer<Function>, | |
105 | mpl::if_< ft::is_member_function_pointer<Function>, | |
106 | invoke_mem_fn<Function,Sequence,1,RandomAccess>, | |
107 | invoke_data_member<Function, Sequence> >, | |
108 | mpl::identity< invoke_nonmember_builtin< | |
109 | Function,Sequence,1,RandomAccess> > | |
110 | >::type | |
111 | { }; | |
112 | ||
113 | template <typename T, class C, class Sequence> | |
114 | struct invoke_data_member< T C::*, Sequence > | |
115 | { | |
116 | private: | |
117 | ||
118 | typedef typename result_of::front<Sequence>::type that; | |
119 | ||
120 | typedef mpl::or_< boost::is_convertible<that,C*>, | |
121 | boost::is_convertible<that,C&>, | |
122 | non_const_pointee<that> > non_const_cond; | |
123 | ||
124 | typedef typename mpl::eval_if< non_const_cond, | |
125 | mpl::identity<C>, add_const<C> >::type qualified_class; | |
126 | ||
127 | typedef typename mpl::eval_if< non_const_cond, | |
128 | mpl::identity<T>, add_const<T> >::type qualified_type; | |
129 | ||
130 | public: | |
131 | ||
132 | typedef typename boost::add_reference<qualified_type>::type | |
133 | result_type; | |
134 | ||
135 | BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
136 | static inline result_type call(T C::* f, Sequence & s) | |
137 | { | |
138 | typename result_of::front<Sequence>::type c = fusion::front(s); | |
139 | return that_ptr<qualified_class>::get(c)->*f; | |
140 | } | |
141 | }; | |
142 | } | |
143 | ||
144 | namespace result_of | |
145 | { | |
146 | template <typename Function, class Sequence, typename = void> | |
147 | struct invoke; | |
148 | ||
149 | template <typename Function, class Sequence> | |
150 | struct invoke<Function, Sequence, | |
151 | typename enable_if_has_type< | |
152 | typename detail::invoke_impl< | |
153 | typename boost::remove_reference<Function>::type, Sequence | |
154 | >::result_type | |
155 | >::type> | |
156 | { | |
157 | typedef typename detail::invoke_impl< | |
158 | typename boost::remove_reference<Function>::type, Sequence | |
159 | >::result_type type; | |
160 | }; | |
161 | } | |
162 | ||
163 | template <typename Function, class Sequence> | |
164 | BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
165 | inline typename result_of::invoke<Function,Sequence>::type | |
166 | invoke(Function f, Sequence & s) | |
167 | { | |
168 | return detail::invoke_impl< | |
169 | typename boost::remove_reference<Function>::type,Sequence | |
170 | >::call(f,s); | |
171 | } | |
172 | ||
173 | template <typename Function, class Sequence> | |
174 | BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
175 | inline typename result_of::invoke<Function,Sequence const>::type | |
176 | invoke(Function f, Sequence const & s) | |
177 | { | |
178 | return detail::invoke_impl< | |
179 | typename boost::remove_reference<Function>::type,Sequence const | |
180 | >::call(f,s); | |
181 | } | |
182 | ||
183 | }} | |
184 | ||
185 | #define BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_HPP_INCLUDED | |
186 | #else // defined(BOOST_PP_IS_ITERATING) | |
187 | /////////////////////////////////////////////////////////////////////////////// | |
188 | // | |
189 | // Preprocessor vertical repetition code | |
190 | // | |
191 | /////////////////////////////////////////////////////////////////////////////// | |
192 | #define N BOOST_PP_ITERATION() | |
193 | ||
194 | #define M(z,j,data) typename result_of::at_c<Sequence,j>::type | |
195 | ||
196 | template <typename Function, class Sequence> | |
197 | struct invoke_impl<Function,Sequence,N,false,true, | |
198 | typename enable_if_has_type< | |
199 | typename boost::result_of<Function(BOOST_PP_ENUM(N,M,~)) >::type | |
200 | >::type> | |
201 | { | |
202 | public: | |
203 | ||
204 | typedef typename boost::result_of< | |
205 | Function(BOOST_PP_ENUM(N,M,~)) >::type result_type; | |
206 | #undef M | |
207 | ||
208 | #if N > 0 | |
209 | ||
210 | template <typename F> | |
211 | BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
212 | static inline result_type | |
213 | call(F & f, Sequence & s) | |
214 | { | |
215 | #define M(z,j,data) fusion::at_c<j>(s) | |
216 | return f( BOOST_PP_ENUM(N,M,~) ); | |
217 | } | |
218 | ||
219 | #else | |
220 | template <typename F> | |
221 | BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
222 | static inline result_type | |
223 | call(F & f, Sequence & /*s*/) | |
224 | { | |
225 | return f(); | |
226 | } | |
227 | ||
228 | #endif | |
229 | ||
230 | }; | |
231 | ||
232 | template <typename Function, class Sequence> | |
233 | struct invoke_fn_ptr<Function,Sequence,N,true> | |
234 | { | |
235 | public: | |
236 | ||
237 | typedef typename ft::result_type<Function>::type result_type; | |
238 | ||
239 | #if N > 0 | |
240 | ||
241 | template <typename F> | |
242 | BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
243 | static inline result_type | |
244 | call(F & f, Sequence & s) | |
245 | { | |
246 | #define M(z,j,data) fusion::at_c<j>(s) | |
247 | return f( BOOST_PP_ENUM(N,M,~) ); | |
248 | } | |
249 | ||
250 | #else | |
251 | template <typename F> | |
252 | BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
253 | static inline result_type | |
254 | call(F & f, Sequence & /*s*/) | |
255 | { | |
256 | return f(); | |
257 | } | |
258 | ||
259 | #endif | |
260 | ||
261 | }; | |
262 | ||
263 | ||
264 | #if N > 0 | |
265 | template <typename Function, class Sequence> | |
266 | struct invoke_mem_fn<Function,Sequence,N,true> | |
267 | { | |
268 | public: | |
269 | ||
270 | typedef typename ft::result_type<Function>::type result_type; | |
271 | ||
272 | template <typename F> | |
273 | BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
274 | static inline result_type | |
275 | call(F & f, Sequence & s) | |
276 | { | |
277 | return (that_ptr<typename mpl::front< | |
278 | ft::parameter_types<Function> >::type | |
279 | >::get(fusion::at_c<0>(s))->*f)(BOOST_PP_ENUM_SHIFTED(N,M,~)); | |
280 | } | |
281 | }; | |
282 | #endif | |
283 | ||
284 | #undef M | |
285 | ||
286 | #define M(z,j,data) \ | |
287 | typename seq::I##j i##j = \ | |
288 | fusion::next(BOOST_PP_CAT(i,BOOST_PP_DEC(j))); | |
289 | ||
290 | template <typename Function, class Sequence> | |
291 | struct invoke_impl<Function,Sequence,N,false,false, | |
292 | typename enable_if_has_type< | |
293 | #define L(z,j,data) typename invoke_param_types<Sequence,N>::BOOST_PP_CAT(T, j) | |
294 | typename boost::result_of<Function(BOOST_PP_ENUM(N,L,~))>::type | |
295 | >::type> | |
296 | #undef L | |
297 | { | |
298 | private: | |
299 | typedef invoke_param_types<Sequence,N> seq; | |
300 | public: | |
301 | ||
302 | typedef typename boost::result_of< | |
303 | Function(BOOST_PP_ENUM_PARAMS(N,typename seq::T)) | |
304 | >::type result_type; | |
305 | ||
306 | #if N > 0 | |
307 | ||
308 | template <typename F> | |
309 | BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
310 | static inline result_type | |
311 | call(F & f, Sequence & s) | |
312 | { | |
313 | typename seq::I0 i0 = fusion::begin(s); | |
314 | BOOST_PP_REPEAT_FROM_TO(1,N,M,~) | |
315 | return f( BOOST_PP_ENUM_PARAMS(N,*i) ); | |
316 | } | |
317 | ||
318 | #else | |
319 | ||
320 | template <typename F> | |
321 | BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
322 | static inline result_type | |
323 | call(F & f, Sequence & /*s*/) | |
324 | { | |
325 | return f(); | |
326 | } | |
327 | ||
328 | #endif | |
329 | ||
330 | }; | |
331 | ||
332 | template <typename Function, class Sequence> | |
333 | struct invoke_fn_ptr<Function,Sequence,N,false> | |
334 | { | |
335 | private: | |
336 | typedef invoke_param_types<Sequence,N> seq; | |
337 | public: | |
338 | ||
339 | typedef typename ft::result_type<Function>::type result_type; | |
340 | ||
341 | #if N > 0 | |
342 | ||
343 | template <typename F> | |
344 | BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
345 | static inline result_type | |
346 | call(F & f, Sequence & s) | |
347 | { | |
348 | typename seq::I0 i0 = fusion::begin(s); | |
349 | BOOST_PP_REPEAT_FROM_TO(1,N,M,~) | |
350 | return f( BOOST_PP_ENUM_PARAMS(N,*i) ); | |
351 | } | |
352 | ||
353 | #else | |
354 | ||
355 | template <typename F> | |
356 | BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
357 | static inline result_type | |
358 | call(F & f, Sequence & /*s*/) | |
359 | { | |
360 | return f(); | |
361 | } | |
362 | ||
363 | #endif | |
364 | ||
365 | }; | |
366 | ||
367 | #if N > 0 | |
368 | template <typename Function, class Sequence> | |
369 | struct invoke_mem_fn<Function,Sequence,N,false> | |
370 | { | |
371 | private: | |
372 | typedef invoke_param_types<Sequence,N> seq; | |
373 | public: | |
374 | ||
375 | typedef typename ft::result_type<Function>::type result_type; | |
376 | ||
377 | template <typename F> | |
378 | BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED | |
379 | static inline result_type | |
380 | call(F & f, Sequence & s) | |
381 | { | |
382 | typename seq::I0 i0 = fusion::begin(s); | |
383 | BOOST_PP_REPEAT_FROM_TO(1,N,M,~) | |
384 | ||
385 | return (that_ptr< typename mpl::front< | |
386 | ft::parameter_types<Function> >::type | |
387 | >::get(*i0)->*f)(BOOST_PP_ENUM_SHIFTED_PARAMS(N,*i)); | |
388 | } | |
389 | }; | |
390 | #endif | |
391 | ||
392 | #undef M | |
393 | ||
394 | template <class Sequence> struct invoke_param_types<Sequence,N> | |
395 | { | |
396 | #if N > 0 | |
397 | typedef typename result_of::begin<Sequence>::type I0; | |
398 | typedef typename result_of::deref<I0>::type T0; | |
399 | ||
400 | #define M(z,i,data) \ | |
401 | typedef typename result_of::next< \ | |
402 | BOOST_PP_CAT(I,BOOST_PP_DEC(i))>::type I##i; \ | |
403 | typedef typename result_of::deref<I##i>::type T##i; | |
404 | ||
405 | BOOST_PP_REPEAT_FROM_TO(1,N,M,~) | |
406 | #undef M | |
407 | #endif | |
408 | }; | |
409 | ||
410 | ||
411 | #undef N | |
412 | #endif // defined(BOOST_PP_IS_ITERATING) | |
413 | #endif | |
414 |