1 | // Boost.Assign library
|
---|
2 | //
|
---|
3 | // Copyright Thorsten Ottosen 2003-2004. Use, modification and
|
---|
4 | // distribution is subject to the Boost Software License, Version
|
---|
5 | // 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
---|
6 | // http://www.boost.org/LICENSE_1_0.txt)
|
---|
7 | //
|
---|
8 | // For more information, see http://www.boost.org/libs/assign/
|
---|
9 | //
|
---|
10 |
|
---|
11 | #ifndef BOOST_ASSIGN_LIST_INSERTER_HPP
|
---|
12 | #define BOOST_ASSIGN_LIST_INSERTER_HPP
|
---|
13 |
|
---|
14 | #if defined(_MSC_VER) && (_MSC_VER >= 1020)
|
---|
15 | # pragma once
|
---|
16 | #endif
|
---|
17 |
|
---|
18 | #include <boost/detail/workaround.hpp>
|
---|
19 |
|
---|
20 | #include <boost/mpl/if.hpp>
|
---|
21 | #include <boost/type_traits/is_same.hpp>
|
---|
22 | #include <boost/range/begin.hpp>
|
---|
23 | #include <boost/range/end.hpp>
|
---|
24 | #include <boost/config.hpp>
|
---|
25 | #include <cstddef>
|
---|
26 |
|
---|
27 | #include <boost/preprocessor/repetition/enum_binary_params.hpp>
|
---|
28 | #include <boost/preprocessor/repetition/enum_params.hpp>
|
---|
29 | #include <boost/preprocessor/cat.hpp>
|
---|
30 | #include <boost/preprocessor/iteration/local.hpp>
|
---|
31 | #include <boost/preprocessor/arithmetic/inc.hpp>
|
---|
32 |
|
---|
33 | namespace boost
|
---|
34 | {
|
---|
35 | namespace assign_detail
|
---|
36 | {
|
---|
37 | template< class T >
|
---|
38 | struct repeater
|
---|
39 | {
|
---|
40 | std::size_t sz;
|
---|
41 | T val;
|
---|
42 |
|
---|
43 | repeater( std::size_t sz, T r ) : sz( sz ), val( r )
|
---|
44 | { }
|
---|
45 | };
|
---|
46 |
|
---|
47 | template< class Fun >
|
---|
48 | struct fun_repeater
|
---|
49 | {
|
---|
50 | std::size_t sz;
|
---|
51 | Fun val;
|
---|
52 |
|
---|
53 | fun_repeater( std::size_t sz, Fun r ) : sz( sz ), val( r )
|
---|
54 | { }
|
---|
55 | };
|
---|
56 |
|
---|
57 | template< class C >
|
---|
58 | class call_push_back
|
---|
59 | {
|
---|
60 | C& c_;
|
---|
61 | public:
|
---|
62 | call_push_back( C& c ) : c_( c )
|
---|
63 | { }
|
---|
64 |
|
---|
65 | template< class T >
|
---|
66 | void operator()( T r )
|
---|
67 | {
|
---|
68 | c_.push_back( r );
|
---|
69 | }
|
---|
70 | };
|
---|
71 |
|
---|
72 | template< class C >
|
---|
73 | class call_push_front
|
---|
74 | {
|
---|
75 | C& c_;
|
---|
76 | public:
|
---|
77 | call_push_front( C& c ) : c_( c )
|
---|
78 | { }
|
---|
79 |
|
---|
80 | template< class T >
|
---|
81 | void operator()( T r )
|
---|
82 | {
|
---|
83 | c_.push_front( r );
|
---|
84 | }
|
---|
85 | };
|
---|
86 |
|
---|
87 | template< class C >
|
---|
88 | class call_push
|
---|
89 | {
|
---|
90 | C& c_;
|
---|
91 | public:
|
---|
92 | call_push( C& c ) : c_( c )
|
---|
93 | { }
|
---|
94 |
|
---|
95 | template< class T >
|
---|
96 | void operator()( T r )
|
---|
97 | {
|
---|
98 | c_.push( r );
|
---|
99 | }
|
---|
100 | };
|
---|
101 |
|
---|
102 | template< class C >
|
---|
103 | class call_insert
|
---|
104 | {
|
---|
105 | C& c_;
|
---|
106 | public:
|
---|
107 | call_insert( C& c ) : c_( c )
|
---|
108 | { }
|
---|
109 |
|
---|
110 | template< class T >
|
---|
111 | void operator()( T r )
|
---|
112 | {
|
---|
113 | c_.insert( r );
|
---|
114 | }
|
---|
115 | };
|
---|
116 |
|
---|
117 | template< class C >
|
---|
118 | class call_add_edge
|
---|
119 | {
|
---|
120 | C& c_;
|
---|
121 | public:
|
---|
122 | call_add_edge( C& c ) : c_(c)
|
---|
123 | { }
|
---|
124 |
|
---|
125 | template< class T >
|
---|
126 | void operator()( T l, T r )
|
---|
127 | {
|
---|
128 | add_edge( l, r, c_ );
|
---|
129 | }
|
---|
130 |
|
---|
131 | template< class T, class EP >
|
---|
132 | void operator()( T l, T r, const EP& ep )
|
---|
133 | {
|
---|
134 | add_edge( l, r, ep, c_ );
|
---|
135 | }
|
---|
136 |
|
---|
137 | };
|
---|
138 |
|
---|
139 | struct forward_n_arguments {};
|
---|
140 |
|
---|
141 | } // namespace 'assign_detail'
|
---|
142 |
|
---|
143 | namespace assign
|
---|
144 | {
|
---|
145 |
|
---|
146 | template< class T >
|
---|
147 | inline assign_detail::repeater<T>
|
---|
148 | repeat( std::size_t sz, T r )
|
---|
149 | {
|
---|
150 | return assign_detail::repeater<T>( sz, r );
|
---|
151 | }
|
---|
152 |
|
---|
153 | template< class Function >
|
---|
154 | inline assign_detail::fun_repeater<Function>
|
---|
155 | repeat_fun( std::size_t sz, Function r )
|
---|
156 | {
|
---|
157 | return assign_detail::fun_repeater<Function>( sz, r );
|
---|
158 | }
|
---|
159 |
|
---|
160 |
|
---|
161 | template< class Function, class Argument = assign_detail::forward_n_arguments >
|
---|
162 | class list_inserter
|
---|
163 | {
|
---|
164 | struct single_arg_type {};
|
---|
165 | struct n_arg_type {};
|
---|
166 |
|
---|
167 | typedef BOOST_DEDUCED_TYPENAME mpl::if_c< is_same<Argument,assign_detail::forward_n_arguments>::value,
|
---|
168 | n_arg_type,
|
---|
169 | single_arg_type >::type arg_type;
|
---|
170 |
|
---|
171 | public:
|
---|
172 |
|
---|
173 | list_inserter( Function fun ) : insert_( fun )
|
---|
174 | {}
|
---|
175 |
|
---|
176 | template< class Function2, class Arg >
|
---|
177 | list_inserter( const list_inserter<Function2,Arg>& r )
|
---|
178 | : insert_( r.fun_private() )
|
---|
179 | {}
|
---|
180 |
|
---|
181 | list_inserter( const list_inserter& r ) : insert_( r.insert_ )
|
---|
182 | {}
|
---|
183 |
|
---|
184 | list_inserter& operator()()
|
---|
185 | {
|
---|
186 | insert_( Argument() );
|
---|
187 | return *this;
|
---|
188 | }
|
---|
189 |
|
---|
190 | template< class T >
|
---|
191 | list_inserter& operator=( const T& r )
|
---|
192 | {
|
---|
193 | insert_( r );
|
---|
194 | return *this;
|
---|
195 | }
|
---|
196 |
|
---|
197 | template< class T >
|
---|
198 | list_inserter& operator=( assign_detail::repeater<T> r )
|
---|
199 | {
|
---|
200 | return operator,( r );
|
---|
201 | }
|
---|
202 |
|
---|
203 | template< class Nullary_function >
|
---|
204 | list_inserter& operator=( const assign_detail::fun_repeater<Nullary_function>& r )
|
---|
205 | {
|
---|
206 | //BOOST_STATIC_ASSERT( function_traits<Nullary_function>::arity == 0 );
|
---|
207 | //BOOST_STATIC_ASSERT( is_convertible< BOOST_DEDUCED_TYPENAME function_traits<
|
---|
208 | // Nullary_function>::result_type >,T>::value );
|
---|
209 |
|
---|
210 | return operator,( r );
|
---|
211 | }
|
---|
212 |
|
---|
213 | template< class T >
|
---|
214 | list_inserter& operator,( const T& r )
|
---|
215 | {
|
---|
216 | insert_( r );
|
---|
217 | return *this;
|
---|
218 | }
|
---|
219 |
|
---|
220 | #if BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3205))
|
---|
221 | template< class T >
|
---|
222 | list_inserter& operator,( const assign_detail::repeater<T> & r )
|
---|
223 | {
|
---|
224 | return repeat( r.sz, r.val );
|
---|
225 | }
|
---|
226 | #else
|
---|
227 | template< class T >
|
---|
228 | list_inserter& operator,( assign_detail::repeater<T> r )
|
---|
229 | {
|
---|
230 | return repeat( r.sz, r.val );
|
---|
231 | }
|
---|
232 | #endif
|
---|
233 |
|
---|
234 | template< class Nullary_function >
|
---|
235 | list_inserter& operator,( const assign_detail::fun_repeater<Nullary_function>& r )
|
---|
236 | {
|
---|
237 | return repeat_fun( r.sz, r.val );
|
---|
238 | }
|
---|
239 |
|
---|
240 | template< class T >
|
---|
241 | list_inserter& repeat( std::size_t sz, T r )
|
---|
242 | {
|
---|
243 | std::size_t i = 0;
|
---|
244 | while( i++ != sz )
|
---|
245 | insert_( r );
|
---|
246 | return *this;
|
---|
247 | }
|
---|
248 |
|
---|
249 | template< class Nullary_function >
|
---|
250 | list_inserter& repeat_fun( std::size_t sz, Nullary_function fun )
|
---|
251 | {
|
---|
252 | std::size_t i = 0;
|
---|
253 | while( i++ != sz )
|
---|
254 | insert_( fun() );
|
---|
255 | return *this;
|
---|
256 | }
|
---|
257 |
|
---|
258 | template< class SinglePassIterator >
|
---|
259 | list_inserter& range( SinglePassIterator first,
|
---|
260 | SinglePassIterator last )
|
---|
261 | {
|
---|
262 | for( ; first != last; ++first )
|
---|
263 | insert_( *first );
|
---|
264 | return *this;
|
---|
265 | }
|
---|
266 |
|
---|
267 | template< class SinglePassRange >
|
---|
268 | list_inserter& range( const SinglePassRange& r )
|
---|
269 | {
|
---|
270 | return range( boost::begin(r), boost::end(r) );
|
---|
271 | }
|
---|
272 |
|
---|
273 | template< class T >
|
---|
274 | list_inserter& operator()( const T& t )
|
---|
275 | {
|
---|
276 | insert_( t );
|
---|
277 | return *this;
|
---|
278 | }
|
---|
279 |
|
---|
280 | #ifndef BOOST_ASSIGN_MAX_PARAMS // use user's value
|
---|
281 | #define BOOST_ASSIGN_MAX_PARAMS 5
|
---|
282 | #endif
|
---|
283 | #define BOOST_ASSIGN_MAX_PARAMETERS (BOOST_ASSIGN_MAX_PARAMS - 1)
|
---|
284 | #define BOOST_ASSIGN_PARAMS1(n) BOOST_PP_ENUM_PARAMS(n, class T)
|
---|
285 | #define BOOST_ASSIGN_PARAMS2(n) BOOST_PP_ENUM_BINARY_PARAMS(n, T, const& t)
|
---|
286 | #define BOOST_ASSIGN_PARAMS3(n) BOOST_PP_ENUM_PARAMS(n, t)
|
---|
287 |
|
---|
288 | #define BOOST_PP_LOCAL_LIMITS (1, BOOST_ASSIGN_MAX_PARAMETERS)
|
---|
289 | #define BOOST_PP_LOCAL_MACRO(n) \
|
---|
290 | template< class T, BOOST_ASSIGN_PARAMS1(n) > \
|
---|
291 | list_inserter& operator()(T t, BOOST_ASSIGN_PARAMS2(n) ) \
|
---|
292 | { \
|
---|
293 | BOOST_PP_CAT(insert, BOOST_PP_INC(n))(t, BOOST_ASSIGN_PARAMS3(n), arg_type()); \
|
---|
294 | return *this; \
|
---|
295 | } \
|
---|
296 | /**/
|
---|
297 |
|
---|
298 | #include BOOST_PP_LOCAL_ITERATE()
|
---|
299 |
|
---|
300 |
|
---|
301 | #define BOOST_PP_LOCAL_LIMITS (1, BOOST_ASSIGN_MAX_PARAMETERS)
|
---|
302 | #define BOOST_PP_LOCAL_MACRO(n) \
|
---|
303 | template< class T, BOOST_ASSIGN_PARAMS1(n) > \
|
---|
304 | void BOOST_PP_CAT(insert, BOOST_PP_INC(n))(T const& t, BOOST_ASSIGN_PARAMS2(n), single_arg_type) \
|
---|
305 | { \
|
---|
306 | insert_( Argument(t, BOOST_ASSIGN_PARAMS3(n) )); \
|
---|
307 | } \
|
---|
308 | /**/
|
---|
309 |
|
---|
310 | #include BOOST_PP_LOCAL_ITERATE()
|
---|
311 |
|
---|
312 | #define BOOST_PP_LOCAL_LIMITS (1, BOOST_ASSIGN_MAX_PARAMETERS)
|
---|
313 | #define BOOST_PP_LOCAL_MACRO(n) \
|
---|
314 | template< class T, BOOST_ASSIGN_PARAMS1(n) > \
|
---|
315 | void BOOST_PP_CAT(insert, BOOST_PP_INC(n))(T const& t, BOOST_ASSIGN_PARAMS2(n), n_arg_type) \
|
---|
316 | { \
|
---|
317 | insert_(t, BOOST_ASSIGN_PARAMS3(n) ); \
|
---|
318 | } \
|
---|
319 | /**/
|
---|
320 |
|
---|
321 | #include BOOST_PP_LOCAL_ITERATE()
|
---|
322 |
|
---|
323 |
|
---|
324 | Function fun_private() const
|
---|
325 | {
|
---|
326 | return insert_;
|
---|
327 | }
|
---|
328 |
|
---|
329 | private:
|
---|
330 |
|
---|
331 | list_inserter& operator=( const list_inserter& );
|
---|
332 | Function insert_;
|
---|
333 | };
|
---|
334 |
|
---|
335 | template< class Function >
|
---|
336 | inline list_inserter< Function >
|
---|
337 | make_list_inserter( Function fun )
|
---|
338 | {
|
---|
339 | return list_inserter< Function >( fun );
|
---|
340 | }
|
---|
341 |
|
---|
342 | template< class Function, class Argument >
|
---|
343 | inline list_inserter<Function,Argument>
|
---|
344 | make_list_inserter( Function fun, Argument* )
|
---|
345 | {
|
---|
346 | return list_inserter<Function,Argument>( fun );
|
---|
347 | }
|
---|
348 |
|
---|
349 | template< class C >
|
---|
350 | inline list_inserter< assign_detail::call_push_back<C>,
|
---|
351 | BOOST_DEDUCED_TYPENAME C::value_type >
|
---|
352 | push_back( C& c )
|
---|
353 | {
|
---|
354 | static BOOST_DEDUCED_TYPENAME C::value_type* p = 0;
|
---|
355 | return make_list_inserter( assign_detail::call_push_back<C>( c ),
|
---|
356 | p );
|
---|
357 | }
|
---|
358 |
|
---|
359 | template< class C >
|
---|
360 | inline list_inserter< assign_detail::call_push_front<C>,
|
---|
361 | BOOST_DEDUCED_TYPENAME C::value_type >
|
---|
362 | push_front( C& c )
|
---|
363 | {
|
---|
364 | static BOOST_DEDUCED_TYPENAME C::value_type* p = 0;
|
---|
365 | return make_list_inserter( assign_detail::call_push_front<C>( c ),
|
---|
366 | p );
|
---|
367 | }
|
---|
368 |
|
---|
369 | template< class C >
|
---|
370 | inline list_inserter< assign_detail::call_insert<C>,
|
---|
371 | BOOST_DEDUCED_TYPENAME C::value_type >
|
---|
372 | insert( C& c )
|
---|
373 | {
|
---|
374 | static BOOST_DEDUCED_TYPENAME C::value_type* p = 0;
|
---|
375 | return make_list_inserter( assign_detail::call_insert<C>( c ),
|
---|
376 | p );
|
---|
377 | }
|
---|
378 |
|
---|
379 | template< class C >
|
---|
380 | inline list_inserter< assign_detail::call_push<C>,
|
---|
381 | BOOST_DEDUCED_TYPENAME C::value_type >
|
---|
382 | push( C& c )
|
---|
383 | {
|
---|
384 | static BOOST_DEDUCED_TYPENAME C::value_type* p = 0;
|
---|
385 | return make_list_inserter( assign_detail::call_push<C>( c ),
|
---|
386 | p );
|
---|
387 | }
|
---|
388 |
|
---|
389 | template< class C >
|
---|
390 | inline list_inserter< assign_detail::call_add_edge<C> >
|
---|
391 | add_edge( C& c )
|
---|
392 | {
|
---|
393 | return make_list_inserter( assign_detail::call_add_edge<C>( c ) );
|
---|
394 | }
|
---|
395 |
|
---|
396 | } // namespace 'assign'
|
---|
397 | } // namespace 'boost'
|
---|
398 |
|
---|
399 | #undef BOOST_ASSIGN_PARAMS1
|
---|
400 | #undef BOOST_ASSIGN_PARAMS2
|
---|
401 | #undef BOOST_ASSIGN_PARAMS3
|
---|
402 | #undef BOOST_ASSIGN_MAX_PARAMETERS
|
---|
403 |
|
---|
404 | #endif
|
---|