Chris@16
|
1 /*=============================================================================
|
Chris@16
|
2 Copyright (c) 2005-2006 Joao Abecasis
|
Chris@16
|
3 Copyright (c) 2006-2007 Tobias Schwinger
|
Chris@16
|
4
|
Chris@16
|
5 Use modification and distribution are subject to the Boost Software
|
Chris@16
|
6 License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
7 http://www.boost.org/LICENSE_1_0.txt).
|
Chris@16
|
8 ==============================================================================*/
|
Chris@16
|
9
|
Chris@16
|
10 #if !defined(BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_FUNCTION_OBJECT_HPP_INCLUDED)
|
Chris@16
|
11 #if !defined(BOOST_PP_IS_ITERATING)
|
Chris@16
|
12
|
Chris@16
|
13 #include <boost/preprocessor/cat.hpp>
|
Chris@16
|
14 #include <boost/preprocessor/iteration/iterate.hpp>
|
Chris@16
|
15 #include <boost/preprocessor/arithmetic/dec.hpp>
|
Chris@16
|
16 #include <boost/preprocessor/repetition/repeat_from_to.hpp>
|
Chris@16
|
17 #include <boost/preprocessor/repetition/enum.hpp>
|
Chris@16
|
18 #include <boost/preprocessor/repetition/enum_params.hpp>
|
Chris@16
|
19
|
Chris@16
|
20 #include <boost/utility/result_of.hpp>
|
Chris@16
|
21
|
Chris@16
|
22 #include <boost/type_traits/remove_reference.hpp>
|
Chris@16
|
23 #include <boost/type_traits/remove_const.hpp>
|
Chris@16
|
24
|
Chris@16
|
25 #include <boost/utility/result_of.hpp>
|
Chris@16
|
26
|
Chris@16
|
27 #include <boost/fusion/support/category_of.hpp>
|
Chris@101
|
28 #include <boost/fusion/support/detail/enabler.hpp>
|
Chris@16
|
29 #include <boost/fusion/sequence/intrinsic/size.hpp>
|
Chris@16
|
30 #include <boost/fusion/sequence/intrinsic/at.hpp>
|
Chris@16
|
31 #include <boost/fusion/sequence/intrinsic/begin.hpp>
|
Chris@16
|
32 #include <boost/fusion/iterator/next.hpp>
|
Chris@16
|
33 #include <boost/fusion/iterator/deref.hpp>
|
Chris@16
|
34 #include <boost/fusion/functional/invocation/limits.hpp>
|
Chris@16
|
35
|
Chris@16
|
36 namespace boost { namespace fusion
|
Chris@16
|
37 {
|
Chris@16
|
38 namespace detail
|
Chris@16
|
39 {
|
Chris@16
|
40 template<
|
Chris@16
|
41 class Function, class Sequence,
|
Chris@16
|
42 int N = result_of::size<Sequence>::value,
|
Chris@101
|
43 bool RandomAccess = traits::is_random_access<Sequence>::value,
|
Chris@101
|
44 typename Enable = void
|
Chris@16
|
45 >
|
Chris@16
|
46 struct invoke_function_object_impl;
|
Chris@16
|
47
|
Chris@16
|
48 template <class Sequence, int N>
|
Chris@16
|
49 struct invoke_function_object_param_types;
|
Chris@16
|
50
|
Chris@16
|
51 #define BOOST_PP_FILENAME_1 \
|
Chris@16
|
52 <boost/fusion/functional/invocation/invoke_function_object.hpp>
|
Chris@16
|
53 #define BOOST_PP_ITERATION_LIMITS \
|
Chris@16
|
54 (0, BOOST_FUSION_INVOKE_FUNCTION_OBJECT_MAX_ARITY)
|
Chris@16
|
55 #include BOOST_PP_ITERATE()
|
Chris@16
|
56 }
|
Chris@16
|
57
|
Chris@16
|
58 namespace result_of
|
Chris@16
|
59 {
|
Chris@101
|
60 template <class Function, class Sequence, class Enable = void>
|
Chris@101
|
61 struct invoke_function_object;
|
Chris@101
|
62
|
Chris@101
|
63 template <class Function, class Sequence>
|
Chris@101
|
64 struct invoke_function_object<Function, Sequence,
|
Chris@101
|
65 typename detail::enabler<
|
Chris@101
|
66 typename detail::invoke_function_object_impl<
|
Chris@101
|
67 typename boost::remove_reference<Function>::type, Sequence
|
Chris@101
|
68 >::result_type
|
Chris@101
|
69 >::type>
|
Chris@16
|
70 {
|
Chris@16
|
71 typedef typename detail::invoke_function_object_impl<
|
Chris@16
|
72 typename boost::remove_reference<Function>::type, Sequence
|
Chris@16
|
73 >::result_type type;
|
Chris@16
|
74 };
|
Chris@16
|
75 }
|
Chris@16
|
76
|
Chris@16
|
77 template <class Function, class Sequence>
|
Chris@101
|
78 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
79 inline typename result_of::invoke_function_object<Function,Sequence>::type
|
Chris@16
|
80 invoke_function_object(Function f, Sequence & s)
|
Chris@16
|
81 {
|
Chris@16
|
82 return detail::invoke_function_object_impl<
|
Chris@16
|
83 typename boost::remove_reference<Function>::type,Sequence
|
Chris@16
|
84 >::call(f,s);
|
Chris@16
|
85 }
|
Chris@16
|
86
|
Chris@16
|
87 template <class Function, class Sequence>
|
Chris@101
|
88 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
89 inline typename result_of::invoke_function_object<Function,Sequence const>::type
|
Chris@16
|
90 invoke_function_object(Function f, Sequence const & s)
|
Chris@16
|
91 {
|
Chris@16
|
92 return detail::invoke_function_object_impl<
|
Chris@16
|
93 typename boost::remove_reference<Function>::type,Sequence const
|
Chris@16
|
94 >::call(f,s);
|
Chris@16
|
95 }
|
Chris@16
|
96
|
Chris@16
|
97 }}
|
Chris@16
|
98
|
Chris@16
|
99 #define BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_FUNCTION_OBJECT_HPP_INCLUDED
|
Chris@16
|
100 #else // defined(BOOST_PP_IS_ITERATING)
|
Chris@16
|
101 ///////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
102 //
|
Chris@16
|
103 // Preprocessor vertical repetition code
|
Chris@16
|
104 //
|
Chris@16
|
105 ///////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
106 #define N BOOST_PP_ITERATION()
|
Chris@16
|
107
|
Chris@101
|
108 #define M(z,j,data) \
|
Chris@101
|
109 typename result_of::at_c<Sequence,j>::type
|
Chris@101
|
110
|
Chris@16
|
111 template <class Function, class Sequence>
|
Chris@101
|
112 struct invoke_function_object_impl<Function,Sequence,N,true,
|
Chris@101
|
113 typename enabler<
|
Chris@101
|
114 typename boost::result_of<Function (BOOST_PP_ENUM(N,M,~)) >::type
|
Chris@101
|
115 >::type>
|
Chris@16
|
116 {
|
Chris@16
|
117 public:
|
Chris@16
|
118
|
Chris@16
|
119 typedef typename boost::result_of<
|
Chris@16
|
120 Function (BOOST_PP_ENUM(N,M,~)) >::type result_type;
|
Chris@16
|
121 #undef M
|
Chris@16
|
122
|
Chris@16
|
123 #if N > 0
|
Chris@16
|
124
|
Chris@16
|
125 template <class F>
|
Chris@101
|
126 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
127 static inline result_type
|
Chris@16
|
128 call(F & f, Sequence & s)
|
Chris@16
|
129 {
|
Chris@16
|
130 #define M(z,j,data) fusion::at_c<j>(s)
|
Chris@16
|
131 return f( BOOST_PP_ENUM(N,M,~) );
|
Chris@16
|
132 #undef M
|
Chris@16
|
133 }
|
Chris@16
|
134
|
Chris@16
|
135 #else
|
Chris@16
|
136
|
Chris@16
|
137 template <class F>
|
Chris@101
|
138 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
139 static inline result_type
|
Chris@16
|
140 call(F & f, Sequence & /*s*/)
|
Chris@16
|
141 {
|
Chris@16
|
142 return f();
|
Chris@16
|
143 }
|
Chris@16
|
144
|
Chris@16
|
145 #endif
|
Chris@16
|
146
|
Chris@16
|
147 };
|
Chris@16
|
148
|
Chris@101
|
149 #define M(z,j,data) \
|
Chris@101
|
150 typename invoke_function_object_param_types<Sequence,N>::T ## j
|
Chris@101
|
151
|
Chris@16
|
152 template <class Function, class Sequence>
|
Chris@101
|
153 struct invoke_function_object_impl<Function,Sequence,N,false,
|
Chris@101
|
154 typename enabler<
|
Chris@101
|
155 typename boost::result_of<Function (BOOST_PP_ENUM(N,M,~)) >::type
|
Chris@101
|
156 >::type>
|
Chris@101
|
157 #undef M
|
Chris@16
|
158 {
|
Chris@16
|
159 private:
|
Chris@16
|
160 typedef invoke_function_object_param_types<Sequence,N> seq;
|
Chris@16
|
161 public:
|
Chris@16
|
162 typedef typename boost::result_of<
|
Chris@16
|
163 Function (BOOST_PP_ENUM_PARAMS(N,typename seq::T))
|
Chris@16
|
164 >::type result_type;
|
Chris@16
|
165
|
Chris@16
|
166 #if N > 0
|
Chris@16
|
167
|
Chris@16
|
168 template <class F>
|
Chris@101
|
169 BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
170 static inline result_type
|
Chris@16
|
171 call(F & f, Sequence & s)
|
Chris@16
|
172 {
|
Chris@16
|
173 typename seq::I0 i0 = fusion::begin(s);
|
Chris@16
|
174 #define M(z,j,data) \
|
Chris@16
|
175 typename seq::I##j i##j = \
|
Chris@16
|
176 fusion::next(BOOST_PP_CAT(i,BOOST_PP_DEC(j)));
|
Chris@16
|
177 BOOST_PP_REPEAT_FROM_TO(1,N,M,~)
|
Chris@16
|
178 #undef M
|
Chris@16
|
179 return f( BOOST_PP_ENUM_PARAMS(N,*i) );
|
Chris@16
|
180 }
|
Chris@16
|
181
|
Chris@16
|
182 #else
|
Chris@16
|
183
|
Chris@16
|
184 template <class F>
|
Chris@101
|
185 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
186 static inline result_type
|
Chris@16
|
187 call(F & f, Sequence & /*s*/)
|
Chris@16
|
188 {
|
Chris@16
|
189 return f();
|
Chris@16
|
190 }
|
Chris@16
|
191
|
Chris@16
|
192 #endif
|
Chris@16
|
193
|
Chris@16
|
194 };
|
Chris@16
|
195
|
Chris@16
|
196 template <class Sequence>
|
Chris@16
|
197 struct invoke_function_object_param_types<Sequence,N>
|
Chris@16
|
198 {
|
Chris@16
|
199 #if N > 0
|
Chris@16
|
200 typedef typename result_of::begin<Sequence>::type I0;
|
Chris@16
|
201 typedef typename result_of::deref<I0>::type T0;
|
Chris@16
|
202
|
Chris@16
|
203 #define M(z,i,data) \
|
Chris@16
|
204 typedef typename result_of::next< \
|
Chris@16
|
205 BOOST_PP_CAT(I,BOOST_PP_DEC(i))>::type I##i; \
|
Chris@16
|
206 typedef typename result_of::deref<I##i>::type T##i;
|
Chris@16
|
207
|
Chris@16
|
208 BOOST_PP_REPEAT_FROM_TO(1,N,M,~)
|
Chris@16
|
209 #undef M
|
Chris@16
|
210 #endif
|
Chris@16
|
211 };
|
Chris@16
|
212
|
Chris@16
|
213 #undef N
|
Chris@16
|
214 #endif // defined(BOOST_PP_IS_ITERATING)
|
Chris@16
|
215 #endif
|
Chris@16
|
216
|