Chris@16
|
1 // Boost.Assign library
|
Chris@16
|
2 //
|
Chris@16
|
3 // Copyright Thorsten Ottosen 2003-2004. Use, modification and
|
Chris@16
|
4 // distribution is subject to the Boost Software License, Version
|
Chris@16
|
5 // 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
6 // http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
7 //
|
Chris@16
|
8 // For more information, see http://www.boost.org/libs/assign/
|
Chris@16
|
9 //
|
Chris@16
|
10
|
Chris@16
|
11
|
Chris@16
|
12 #ifndef BOOST_ASSIGN_LIST_OF_HPP
|
Chris@16
|
13 #define BOOST_ASSIGN_LIST_OF_HPP
|
Chris@16
|
14
|
Chris@101
|
15 #if defined(_MSC_VER)
|
Chris@16
|
16 # pragma once
|
Chris@16
|
17 #endif
|
Chris@16
|
18
|
Chris@16
|
19 #include <boost/assign/assignment_exception.hpp>
|
Chris@16
|
20 #include <boost/range/iterator_range.hpp>
|
Chris@16
|
21 #include <boost/config.hpp>
|
Chris@16
|
22 #include <boost/tuple/tuple.hpp>
|
Chris@16
|
23 #include <boost/type_traits/remove_const.hpp>
|
Chris@16
|
24 #include <boost/type_traits/remove_reference.hpp>
|
Chris@16
|
25 #include <boost/type_traits/is_reference.hpp>
|
Chris@16
|
26 #include <boost/static_assert.hpp>
|
Chris@16
|
27 #include <boost/type_traits/detail/yes_no_type.hpp>
|
Chris@16
|
28 #include <boost/type_traits/decay.hpp>
|
Chris@16
|
29 #include <boost/type_traits/is_array.hpp>
|
Chris@16
|
30 #include <boost/mpl/if.hpp>
|
Chris@16
|
31 #include <deque>
|
Chris@16
|
32 #include <cstddef>
|
Chris@16
|
33 #include <utility>
|
Chris@16
|
34
|
Chris@16
|
35 #include <boost/preprocessor/repetition/enum_binary_params.hpp>
|
Chris@16
|
36 #include <boost/preprocessor/repetition/enum_params.hpp>
|
Chris@16
|
37 #include <boost/preprocessor/iteration/local.hpp>
|
Chris@16
|
38
|
Chris@16
|
39 #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
Chris@16
|
40 // BCB requires full type definition for is_array<> to work correctly.
|
Chris@16
|
41 #include <boost/array.hpp>
|
Chris@16
|
42 #endif
|
Chris@16
|
43
|
Chris@16
|
44 namespace boost
|
Chris@16
|
45 {
|
Chris@16
|
46
|
Chris@16
|
47 // this here is necessary to avoid compiler error in <boost/array.hpp>
|
Chris@16
|
48 #if !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
Chris@16
|
49 template< class T, std::size_t sz >
|
Chris@16
|
50 class array;
|
Chris@16
|
51 #endif
|
Chris@16
|
52
|
Chris@16
|
53 namespace assign_detail
|
Chris@16
|
54 {
|
Chris@16
|
55 /////////////////////////////////////////////////////////////////////////
|
Chris@16
|
56 // Part 0: common conversion code
|
Chris@16
|
57 /////////////////////////////////////////////////////////////////////////
|
Chris@16
|
58
|
Chris@16
|
59 template< class T >
|
Chris@16
|
60 struct assign_decay
|
Chris@16
|
61 {
|
Chris@16
|
62 //
|
Chris@16
|
63 // Add constness to array parameters
|
Chris@16
|
64 // to support string literals properly
|
Chris@16
|
65 //
|
Chris@16
|
66 typedef BOOST_DEDUCED_TYPENAME mpl::eval_if<
|
Chris@16
|
67 ::boost::is_array<T>,
|
Chris@16
|
68 ::boost::decay<const T>,
|
Chris@16
|
69 ::boost::decay<T> >::type type;
|
Chris@16
|
70 };
|
Chris@16
|
71
|
Chris@16
|
72 template< class T, std::size_t sz >
|
Chris@16
|
73 type_traits::yes_type assign_is_array( const array<T,sz>* );
|
Chris@16
|
74 type_traits::no_type assign_is_array( ... );
|
Chris@16
|
75 template< class T, class U >
|
Chris@16
|
76 type_traits::yes_type assign_is_pair( const std::pair<T,U>* );
|
Chris@16
|
77 type_traits::no_type assign_is_pair( ... );
|
Chris@16
|
78
|
Chris@16
|
79
|
Chris@16
|
80
|
Chris@16
|
81 struct array_type_tag
|
Chris@16
|
82 {
|
Chris@16
|
83 #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
Chris@16
|
84 private:
|
Chris@16
|
85 char dummy_; // BCB would by default use 8 bytes
|
Chris@16
|
86 #endif
|
Chris@16
|
87 };
|
Chris@16
|
88 struct adapter_type_tag
|
Chris@16
|
89 {
|
Chris@16
|
90 #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
Chris@16
|
91 private:
|
Chris@16
|
92 char dummy_; // BCB would by default use 8 bytes
|
Chris@16
|
93 #endif
|
Chris@16
|
94 };
|
Chris@16
|
95 struct pair_type_tag
|
Chris@16
|
96 {
|
Chris@16
|
97 #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
Chris@16
|
98 private:
|
Chris@16
|
99 char dummy_; // BCB would by default use 8 bytes
|
Chris@16
|
100 #endif
|
Chris@16
|
101 };
|
Chris@16
|
102 struct default_type_tag
|
Chris@16
|
103 {
|
Chris@16
|
104 #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
Chris@16
|
105 private:
|
Chris@16
|
106 char dummy_; // BCB would by default use 8 bytes
|
Chris@16
|
107 #endif
|
Chris@16
|
108 };
|
Chris@16
|
109
|
Chris@16
|
110
|
Chris@16
|
111
|
Chris@16
|
112 template< class DerivedTAssign, class Iterator >
|
Chris@16
|
113 class converter
|
Chris@16
|
114 {
|
Chris@16
|
115 public: // Range operations
|
Chris@16
|
116 typedef Iterator iterator;
|
Chris@16
|
117 typedef Iterator const_iterator;
|
Chris@16
|
118
|
Chris@16
|
119 iterator begin() const
|
Chris@16
|
120 {
|
Chris@16
|
121 return static_cast<const DerivedTAssign*>(this)->begin();
|
Chris@16
|
122 }
|
Chris@16
|
123
|
Chris@16
|
124 iterator end() const
|
Chris@16
|
125 {
|
Chris@16
|
126 return static_cast<const DerivedTAssign*>(this)->end();
|
Chris@16
|
127 }
|
Chris@16
|
128
|
Chris@16
|
129 public:
|
Chris@16
|
130
|
Chris@16
|
131 template< class Container >
|
Chris@16
|
132 Container convert_to_container() const
|
Chris@16
|
133 {
|
Chris@16
|
134 static Container* c = 0;
|
Chris@16
|
135 BOOST_STATIC_CONSTANT( bool, is_array_flag = sizeof( assign_detail::assign_is_array( c ) )
|
Chris@16
|
136 == sizeof( type_traits::yes_type ) );
|
Chris@16
|
137
|
Chris@16
|
138 typedef BOOST_DEDUCED_TYPENAME mpl::if_c< is_array_flag,
|
Chris@16
|
139 array_type_tag,
|
Chris@16
|
140 default_type_tag >::type tag_type;
|
Chris@16
|
141
|
Chris@16
|
142 return convert<Container>( c, tag_type() );
|
Chris@16
|
143 }
|
Chris@16
|
144
|
Chris@16
|
145 private:
|
Chris@16
|
146
|
Chris@16
|
147 template< class Container >
|
Chris@16
|
148 Container convert( const Container*, default_type_tag ) const
|
Chris@16
|
149 {
|
Chris@16
|
150
|
Chris@16
|
151 #if BOOST_WORKAROUND(BOOST_DINKUMWARE_STDLIB, == 1)
|
Chris@16
|
152 // old Dinkumware doesn't support iterator type as template
|
Chris@16
|
153 Container result;
|
Chris@16
|
154 iterator it = begin(),
|
Chris@16
|
155 e = end();
|
Chris@16
|
156 while( it != e )
|
Chris@16
|
157 {
|
Chris@16
|
158 result.insert( result.end(), *it );
|
Chris@16
|
159 ++it;
|
Chris@16
|
160 }
|
Chris@16
|
161 return result;
|
Chris@16
|
162 #else
|
Chris@16
|
163 return Container( begin(), end() );
|
Chris@16
|
164 #endif
|
Chris@16
|
165 }
|
Chris@16
|
166
|
Chris@16
|
167 template< class Array >
|
Chris@16
|
168 Array convert( const Array*, array_type_tag ) const
|
Chris@16
|
169 {
|
Chris@16
|
170 typedef BOOST_DEDUCED_TYPENAME Array::value_type value_type;
|
Chris@16
|
171
|
Chris@16
|
172 #if BOOST_WORKAROUND(BOOST_INTEL, <= 910 ) || BOOST_WORKAROUND(__SUNPRO_CC, <= 0x580 )
|
Chris@16
|
173 BOOST_DEDUCED_TYPENAME remove_const<Array>::type ar;
|
Chris@16
|
174 #else
|
Chris@16
|
175 Array ar;
|
Chris@16
|
176 #endif
|
Chris@16
|
177 const std::size_t sz = ar.size();
|
Chris@16
|
178 if( sz < static_cast<const DerivedTAssign*>(this)->size() )
|
Chris@16
|
179 throw assign::assignment_exception( "array initialized with too many elements" );
|
Chris@16
|
180 std::size_t n = 0;
|
Chris@16
|
181 iterator i = begin(),
|
Chris@16
|
182 e = end();
|
Chris@16
|
183 for( ; i != e; ++i, ++n )
|
Chris@16
|
184 ar[n] = *i;
|
Chris@16
|
185 for( ; n < sz; ++n )
|
Chris@16
|
186 ar[n] = value_type();
|
Chris@16
|
187 return ar;
|
Chris@16
|
188 }
|
Chris@16
|
189
|
Chris@16
|
190 template< class Adapter >
|
Chris@16
|
191 Adapter convert_to_adapter( const Adapter* = 0 ) const
|
Chris@16
|
192 {
|
Chris@16
|
193 Adapter a;
|
Chris@16
|
194 iterator i = begin(),
|
Chris@16
|
195 e = end();
|
Chris@16
|
196 for( ; i != e; ++i )
|
Chris@16
|
197 a.push( *i );
|
Chris@16
|
198 return a;
|
Chris@16
|
199 }
|
Chris@16
|
200
|
Chris@16
|
201 private:
|
Chris@16
|
202 struct adapter_converter;
|
Chris@16
|
203 friend struct adapter_converter;
|
Chris@16
|
204
|
Chris@16
|
205 struct adapter_converter
|
Chris@16
|
206 {
|
Chris@16
|
207 const converter& gl;
|
Chris@16
|
208 adapter_converter( const converter& this_ ) : gl( this_ )
|
Chris@16
|
209 {}
|
Chris@16
|
210
|
Chris@16
|
211 adapter_converter( const adapter_converter& r )
|
Chris@16
|
212 : gl( r.gl )
|
Chris@16
|
213 { }
|
Chris@16
|
214
|
Chris@16
|
215 template< class Adapter >
|
Chris@16
|
216 operator Adapter() const
|
Chris@16
|
217 {
|
Chris@16
|
218 return gl.convert_to_adapter<Adapter>();
|
Chris@16
|
219 }
|
Chris@16
|
220 };
|
Chris@16
|
221
|
Chris@16
|
222 public:
|
Chris@16
|
223 template< class Container >
|
Chris@16
|
224 Container to_container( Container& c ) const
|
Chris@16
|
225 {
|
Chris@16
|
226 return convert( &c, default_type_tag() );
|
Chris@16
|
227 }
|
Chris@16
|
228
|
Chris@16
|
229 adapter_converter to_adapter() const
|
Chris@16
|
230 {
|
Chris@16
|
231 return adapter_converter( *this );
|
Chris@16
|
232 }
|
Chris@16
|
233
|
Chris@16
|
234 template< class Adapter >
|
Chris@16
|
235 Adapter to_adapter( Adapter& a ) const
|
Chris@16
|
236 {
|
Chris@16
|
237 return this->convert_to_adapter( &a );
|
Chris@16
|
238 }
|
Chris@16
|
239
|
Chris@16
|
240 template< class Array >
|
Chris@16
|
241 Array to_array( Array& a ) const
|
Chris@16
|
242 {
|
Chris@16
|
243 return convert( &a, array_type_tag() );
|
Chris@16
|
244 }
|
Chris@16
|
245 };
|
Chris@16
|
246
|
Chris@16
|
247 template< class T, class I, class Range >
|
Chris@16
|
248 inline bool operator==( const converter<T,I>& l, const Range& r )
|
Chris@16
|
249 {
|
Chris@16
|
250 return ::boost::iterator_range_detail::equal( l, r );
|
Chris@16
|
251 }
|
Chris@16
|
252
|
Chris@16
|
253 template< class T, class I, class Range >
|
Chris@16
|
254 inline bool operator==( const Range& l, const converter<T,I>& r )
|
Chris@16
|
255 {
|
Chris@16
|
256 return r == l;
|
Chris@16
|
257 }
|
Chris@16
|
258
|
Chris@16
|
259 template< class T, class I, class Range >
|
Chris@16
|
260 inline bool operator!=( const converter<T,I>& l, const Range& r )
|
Chris@16
|
261 {
|
Chris@16
|
262 return !( l == r );
|
Chris@16
|
263 }
|
Chris@16
|
264
|
Chris@16
|
265 template< class T, class I, class Range >
|
Chris@16
|
266 inline bool operator!=( const Range& l, const converter<T,I>& r )
|
Chris@16
|
267 {
|
Chris@16
|
268 return !( l == r );
|
Chris@16
|
269 }
|
Chris@16
|
270
|
Chris@16
|
271 template< class T, class I, class Range >
|
Chris@16
|
272 inline bool operator<( const converter<T,I>& l, const Range& r )
|
Chris@16
|
273 {
|
Chris@16
|
274 return ::boost::iterator_range_detail::less_than( l, r );
|
Chris@16
|
275 }
|
Chris@16
|
276
|
Chris@16
|
277 template< class T, class I, class Range >
|
Chris@16
|
278 inline bool operator<( const Range& l, const converter<T,I>& r )
|
Chris@16
|
279 {
|
Chris@16
|
280 return ::boost::iterator_range_detail::less_than( l, r );
|
Chris@16
|
281 }
|
Chris@16
|
282
|
Chris@16
|
283 template< class T, class I, class Range >
|
Chris@16
|
284 inline bool operator>( const converter<T,I>& l, const Range& r )
|
Chris@16
|
285 {
|
Chris@16
|
286 return r < l;
|
Chris@16
|
287 }
|
Chris@16
|
288
|
Chris@16
|
289 template< class T, class I, class Range >
|
Chris@16
|
290 inline bool operator>( const Range& l, const converter<T,I>& r )
|
Chris@16
|
291 {
|
Chris@16
|
292 return r < l;
|
Chris@16
|
293 }
|
Chris@16
|
294
|
Chris@16
|
295 template< class T, class I, class Range >
|
Chris@16
|
296 inline bool operator<=( const converter<T,I>& l, const Range& r )
|
Chris@16
|
297 {
|
Chris@16
|
298 return !( l > r );
|
Chris@16
|
299 }
|
Chris@16
|
300
|
Chris@16
|
301 template< class T, class I, class Range >
|
Chris@16
|
302 inline bool operator<=( const Range& l, const converter<T,I>& r )
|
Chris@16
|
303 {
|
Chris@16
|
304 return !( l > r );
|
Chris@16
|
305 }
|
Chris@16
|
306
|
Chris@16
|
307 template< class T, class I, class Range >
|
Chris@16
|
308 inline bool operator>=( const converter<T,I>& l, const Range& r )
|
Chris@16
|
309 {
|
Chris@16
|
310 return !( l < r );
|
Chris@16
|
311 }
|
Chris@16
|
312
|
Chris@16
|
313 template< class T, class I, class Range >
|
Chris@16
|
314 inline bool operator>=( const Range& l, const converter<T,I>& r )
|
Chris@16
|
315 {
|
Chris@16
|
316 return !( l < r );
|
Chris@16
|
317 }
|
Chris@16
|
318
|
Chris@16
|
319 template< class T, class I, class Elem, class Traits >
|
Chris@16
|
320 inline std::basic_ostream<Elem,Traits>&
|
Chris@16
|
321 operator<<( std::basic_ostream<Elem, Traits>& Os,
|
Chris@16
|
322 const converter<T,I>& r )
|
Chris@16
|
323 {
|
Chris@16
|
324 return Os << ::boost::make_iterator_range( r.begin(), r.end() );
|
Chris@16
|
325 }
|
Chris@16
|
326
|
Chris@16
|
327 /////////////////////////////////////////////////////////////////////////
|
Chris@16
|
328 // Part 1: flexible, but inefficient interface
|
Chris@16
|
329 /////////////////////////////////////////////////////////////////////////
|
Chris@16
|
330
|
Chris@16
|
331 template< class T >
|
Chris@16
|
332 class generic_list :
|
Chris@16
|
333 public converter< generic_list< BOOST_DEDUCED_TYPENAME assign_decay<T>::type >,
|
Chris@16
|
334 BOOST_DEDUCED_TYPENAME std::deque<BOOST_DEDUCED_TYPENAME
|
Chris@16
|
335 assign_decay<T>::type>::iterator >
|
Chris@16
|
336 {
|
Chris@16
|
337 typedef BOOST_DEDUCED_TYPENAME assign_decay<T>::type Ty;
|
Chris@16
|
338 typedef std::deque<Ty> impl_type;
|
Chris@16
|
339 mutable impl_type values_;
|
Chris@16
|
340
|
Chris@16
|
341 public:
|
Chris@16
|
342 typedef BOOST_DEDUCED_TYPENAME impl_type::iterator iterator;
|
Chris@16
|
343 typedef iterator const_iterator;
|
Chris@16
|
344 typedef BOOST_DEDUCED_TYPENAME impl_type::value_type value_type;
|
Chris@16
|
345 typedef BOOST_DEDUCED_TYPENAME impl_type::size_type size_type;
|
Chris@16
|
346 typedef BOOST_DEDUCED_TYPENAME impl_type::difference_type difference_type;
|
Chris@16
|
347
|
Chris@16
|
348 public:
|
Chris@16
|
349 iterator begin() const { return values_.begin(); }
|
Chris@16
|
350 iterator end() const { return values_.end(); }
|
Chris@16
|
351 bool empty() const { return values_.empty(); }
|
Chris@16
|
352 size_type size() const { return values_.size(); }
|
Chris@16
|
353
|
Chris@16
|
354 private:
|
Chris@16
|
355 void push_back( value_type r ) { values_.push_back( r ); }
|
Chris@16
|
356
|
Chris@16
|
357 public:
|
Chris@16
|
358 generic_list& operator,( const Ty& u )
|
Chris@16
|
359 {
|
Chris@16
|
360 this->push_back( u );
|
Chris@16
|
361 return *this;
|
Chris@16
|
362 }
|
Chris@16
|
363
|
Chris@16
|
364 generic_list& operator()()
|
Chris@16
|
365 {
|
Chris@16
|
366 this->push_back( Ty() );
|
Chris@16
|
367 return *this;
|
Chris@16
|
368 }
|
Chris@16
|
369
|
Chris@16
|
370 generic_list& operator()( const Ty& u )
|
Chris@16
|
371 {
|
Chris@16
|
372 this->push_back( u );
|
Chris@16
|
373 return *this;
|
Chris@16
|
374 }
|
Chris@16
|
375
|
Chris@16
|
376
|
Chris@16
|
377 #ifndef BOOST_ASSIGN_MAX_PARAMS // use user's value
|
Chris@16
|
378 #define BOOST_ASSIGN_MAX_PARAMS 5
|
Chris@16
|
379 #endif
|
Chris@16
|
380 #define BOOST_ASSIGN_MAX_PARAMETERS (BOOST_ASSIGN_MAX_PARAMS - 1)
|
Chris@16
|
381 #define BOOST_ASSIGN_PARAMS1(n) BOOST_PP_ENUM_PARAMS(n, class U)
|
Chris@16
|
382 #define BOOST_ASSIGN_PARAMS2(n) BOOST_PP_ENUM_BINARY_PARAMS(n, U, const& u)
|
Chris@16
|
383 #define BOOST_ASSIGN_PARAMS3(n) BOOST_PP_ENUM_PARAMS(n, u)
|
Chris@16
|
384 #define BOOST_ASSIGN_PARAMS4(n) BOOST_PP_ENUM_PARAMS(n, U)
|
Chris@16
|
385 #define BOOST_ASSIGN_PARAMS2_NO_REF(n) BOOST_PP_ENUM_BINARY_PARAMS(n, U, u)
|
Chris@16
|
386
|
Chris@16
|
387 #define BOOST_PP_LOCAL_LIMITS (1, BOOST_ASSIGN_MAX_PARAMETERS)
|
Chris@16
|
388 #define BOOST_PP_LOCAL_MACRO(n) \
|
Chris@16
|
389 template< class U, BOOST_ASSIGN_PARAMS1(n) > \
|
Chris@16
|
390 generic_list& operator()(U const& u, BOOST_ASSIGN_PARAMS2(n) ) \
|
Chris@16
|
391 { \
|
Chris@16
|
392 this->push_back( Ty(u, BOOST_ASSIGN_PARAMS3(n))); \
|
Chris@16
|
393 return *this; \
|
Chris@16
|
394 } \
|
Chris@16
|
395 /**/
|
Chris@16
|
396
|
Chris@16
|
397 #include BOOST_PP_LOCAL_ITERATE()
|
Chris@16
|
398
|
Chris@16
|
399
|
Chris@16
|
400 template< class U >
|
Chris@16
|
401 generic_list& repeat( std::size_t sz, U u )
|
Chris@16
|
402 {
|
Chris@16
|
403 std::size_t i = 0;
|
Chris@16
|
404 while( i++ != sz )
|
Chris@16
|
405 this->push_back( u );
|
Chris@16
|
406 return *this;
|
Chris@16
|
407 }
|
Chris@16
|
408
|
Chris@16
|
409 template< class Nullary_function >
|
Chris@16
|
410 generic_list& repeat_fun( std::size_t sz, Nullary_function fun )
|
Chris@16
|
411 {
|
Chris@16
|
412 std::size_t i = 0;
|
Chris@16
|
413 while( i++ != sz )
|
Chris@16
|
414 this->push_back( fun() );
|
Chris@16
|
415 return *this;
|
Chris@16
|
416 }
|
Chris@16
|
417
|
Chris@16
|
418 template< class SinglePassIterator >
|
Chris@16
|
419 generic_list& range( SinglePassIterator first,
|
Chris@16
|
420 SinglePassIterator last )
|
Chris@16
|
421 {
|
Chris@16
|
422 for( ; first != last; ++first )
|
Chris@16
|
423 this->push_back( *first );
|
Chris@16
|
424 return *this;
|
Chris@16
|
425 }
|
Chris@16
|
426
|
Chris@16
|
427 template< class SinglePassRange >
|
Chris@16
|
428 generic_list& range( const SinglePassRange& r )
|
Chris@16
|
429 {
|
Chris@16
|
430 return range( boost::begin(r), boost::end(r) );
|
Chris@16
|
431 }
|
Chris@16
|
432
|
Chris@16
|
433 template< class Container >
|
Chris@16
|
434 operator Container() const
|
Chris@16
|
435 {
|
Chris@16
|
436 return this-> BOOST_NESTED_TEMPLATE convert_to_container<Container>();
|
Chris@16
|
437 }
|
Chris@16
|
438 };
|
Chris@16
|
439
|
Chris@16
|
440 /////////////////////////////////////////////////////////////////////////
|
Chris@16
|
441 // Part 2: efficient, but inconvenient interface
|
Chris@16
|
442 /////////////////////////////////////////////////////////////////////////
|
Chris@16
|
443
|
Chris@16
|
444 template< class T >
|
Chris@16
|
445 struct assign_reference
|
Chris@16
|
446 {
|
Chris@16
|
447 assign_reference()
|
Chris@16
|
448 { /* intentionally empty */ }
|
Chris@16
|
449
|
Chris@16
|
450 assign_reference( T& r ) : ref_(&r)
|
Chris@16
|
451 { }
|
Chris@16
|
452
|
Chris@16
|
453 void operator=( T& r )
|
Chris@16
|
454 {
|
Chris@16
|
455 ref_ = &r;
|
Chris@16
|
456 }
|
Chris@16
|
457
|
Chris@16
|
458 operator T&() const
|
Chris@16
|
459 {
|
Chris@16
|
460 return *ref_;
|
Chris@16
|
461 }
|
Chris@16
|
462
|
Chris@16
|
463 void swap( assign_reference& r )
|
Chris@16
|
464 {
|
Chris@16
|
465 std::swap( *ref_, *r.ref_ );
|
Chris@16
|
466 }
|
Chris@16
|
467
|
Chris@16
|
468 T& get_ref() const
|
Chris@16
|
469 {
|
Chris@16
|
470 return *ref_;
|
Chris@16
|
471 }
|
Chris@16
|
472
|
Chris@16
|
473 private:
|
Chris@16
|
474 T* ref_;
|
Chris@16
|
475
|
Chris@16
|
476 };
|
Chris@16
|
477
|
Chris@16
|
478 template< class T >
|
Chris@16
|
479 inline bool operator<( const assign_reference<T>& l,
|
Chris@16
|
480 const assign_reference<T>& r )
|
Chris@16
|
481 {
|
Chris@16
|
482 return l.get_ref() < r.get_ref();
|
Chris@16
|
483 }
|
Chris@16
|
484
|
Chris@16
|
485 template< class T >
|
Chris@16
|
486 inline bool operator>( const assign_reference<T>& l,
|
Chris@16
|
487 const assign_reference<T>& r )
|
Chris@16
|
488 {
|
Chris@16
|
489 return l.get_ref() > r.get_ref();
|
Chris@16
|
490 }
|
Chris@16
|
491
|
Chris@16
|
492 template< class T >
|
Chris@16
|
493 inline void swap( assign_reference<T>& l,
|
Chris@16
|
494 assign_reference<T>& r )
|
Chris@16
|
495 {
|
Chris@16
|
496 l.swap( r );
|
Chris@16
|
497 }
|
Chris@16
|
498
|
Chris@16
|
499
|
Chris@16
|
500
|
Chris@16
|
501 template< class T, int N >
|
Chris@16
|
502 struct static_generic_list :
|
Chris@16
|
503 public converter< static_generic_list<T,N>, assign_reference<T>* >
|
Chris@16
|
504 {
|
Chris@16
|
505 private:
|
Chris@16
|
506 typedef T internal_value_type;
|
Chris@16
|
507
|
Chris@16
|
508 public:
|
Chris@16
|
509 typedef assign_reference<internal_value_type> value_type;
|
Chris@16
|
510 typedef value_type* iterator;
|
Chris@16
|
511 typedef value_type* const_iterator;
|
Chris@16
|
512 typedef std::size_t size_type;
|
Chris@16
|
513 typedef std::ptrdiff_t difference_type;
|
Chris@16
|
514
|
Chris@16
|
515
|
Chris@16
|
516 static_generic_list( T& r ) :
|
Chris@16
|
517 current_(1)
|
Chris@16
|
518 {
|
Chris@16
|
519 refs_[0] = r;
|
Chris@16
|
520 }
|
Chris@16
|
521
|
Chris@16
|
522 static_generic_list& operator()( T& r )
|
Chris@16
|
523 {
|
Chris@16
|
524 insert( r );
|
Chris@16
|
525 return *this;
|
Chris@16
|
526 }
|
Chris@16
|
527
|
Chris@16
|
528 iterator begin() const
|
Chris@16
|
529 {
|
Chris@16
|
530 return &refs_[0];
|
Chris@16
|
531 }
|
Chris@16
|
532
|
Chris@16
|
533 iterator end() const
|
Chris@16
|
534 {
|
Chris@16
|
535 return &refs_[current_];
|
Chris@16
|
536 }
|
Chris@16
|
537
|
Chris@16
|
538 size_type size() const
|
Chris@16
|
539 {
|
Chris@16
|
540 return static_cast<size_type>( current_ );
|
Chris@16
|
541 }
|
Chris@16
|
542
|
Chris@16
|
543 bool empty() const
|
Chris@16
|
544 {
|
Chris@16
|
545 return false;
|
Chris@16
|
546 }
|
Chris@16
|
547
|
Chris@16
|
548 template< class ForwardIterator >
|
Chris@16
|
549 static_generic_list& range( ForwardIterator first,
|
Chris@16
|
550 ForwardIterator last )
|
Chris@16
|
551 {
|
Chris@16
|
552 for( ; first != last; ++first )
|
Chris@16
|
553 this->insert( *first );
|
Chris@16
|
554 return *this;
|
Chris@16
|
555 }
|
Chris@16
|
556
|
Chris@16
|
557 template< class ForwardRange >
|
Chris@16
|
558 static_generic_list& range( ForwardRange& r )
|
Chris@16
|
559 {
|
Chris@16
|
560 return range( boost::begin(r), boost::end(r) );
|
Chris@16
|
561 }
|
Chris@16
|
562
|
Chris@16
|
563 template< class ForwardRange >
|
Chris@16
|
564 static_generic_list& range( const ForwardRange& r )
|
Chris@16
|
565 {
|
Chris@16
|
566 return range( boost::begin(r), boost::end(r) );
|
Chris@16
|
567 }
|
Chris@16
|
568
|
Chris@16
|
569 template< class Container >
|
Chris@16
|
570 operator Container() const
|
Chris@16
|
571 {
|
Chris@16
|
572 return this-> BOOST_NESTED_TEMPLATE convert_to_container<Container>();
|
Chris@16
|
573 }
|
Chris@16
|
574
|
Chris@16
|
575 private:
|
Chris@16
|
576 void insert( T& r )
|
Chris@16
|
577 {
|
Chris@16
|
578 refs_[current_] = r;
|
Chris@16
|
579 ++current_;
|
Chris@16
|
580 }
|
Chris@16
|
581
|
Chris@16
|
582 static_generic_list();
|
Chris@16
|
583
|
Chris@16
|
584 mutable assign_reference<internal_value_type> refs_[N];
|
Chris@16
|
585 int current_;
|
Chris@16
|
586 };
|
Chris@16
|
587
|
Chris@16
|
588 } // namespace 'assign_detail'
|
Chris@16
|
589
|
Chris@16
|
590 namespace assign
|
Chris@16
|
591 {
|
Chris@16
|
592 template< class T >
|
Chris@16
|
593 inline assign_detail::generic_list<T>
|
Chris@16
|
594 list_of()
|
Chris@16
|
595 {
|
Chris@16
|
596 return assign_detail::generic_list<T>()( T() );
|
Chris@16
|
597 }
|
Chris@16
|
598
|
Chris@16
|
599 template< class T >
|
Chris@16
|
600 inline assign_detail::generic_list<T>
|
Chris@16
|
601 list_of( const T& t )
|
Chris@16
|
602 {
|
Chris@16
|
603 return assign_detail::generic_list<T>()( t );
|
Chris@16
|
604 }
|
Chris@16
|
605
|
Chris@16
|
606 template< int N, class T >
|
Chris@16
|
607 inline assign_detail::static_generic_list< BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type,N>
|
Chris@16
|
608 ref_list_of( T& t )
|
Chris@16
|
609 {
|
Chris@16
|
610 return assign_detail::static_generic_list<BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type,N>( t );
|
Chris@16
|
611 }
|
Chris@16
|
612
|
Chris@16
|
613 template< int N, class T >
|
Chris@16
|
614 inline assign_detail::static_generic_list<const BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type,N>
|
Chris@16
|
615 cref_list_of( const T& t )
|
Chris@16
|
616 {
|
Chris@16
|
617 return assign_detail::static_generic_list<const BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type,N>( t );
|
Chris@16
|
618 }
|
Chris@16
|
619
|
Chris@16
|
620 #define BOOST_PP_LOCAL_LIMITS (1, BOOST_ASSIGN_MAX_PARAMETERS)
|
Chris@16
|
621 #define BOOST_PP_LOCAL_MACRO(n) \
|
Chris@16
|
622 template< class T, class U, BOOST_ASSIGN_PARAMS1(n) > \
|
Chris@16
|
623 inline assign_detail::generic_list<T> \
|
Chris@16
|
624 list_of(U const& u, BOOST_ASSIGN_PARAMS2(n) ) \
|
Chris@16
|
625 { \
|
Chris@16
|
626 return assign_detail::generic_list<T>()(u, BOOST_ASSIGN_PARAMS3(n)); \
|
Chris@16
|
627 } \
|
Chris@16
|
628 /**/
|
Chris@16
|
629
|
Chris@16
|
630 #include BOOST_PP_LOCAL_ITERATE()
|
Chris@16
|
631
|
Chris@16
|
632 #define BOOST_PP_LOCAL_LIMITS (1, BOOST_ASSIGN_MAX_PARAMETERS)
|
Chris@16
|
633 #define BOOST_PP_LOCAL_MACRO(n) \
|
Chris@16
|
634 template< class U, BOOST_ASSIGN_PARAMS1(n) > \
|
Chris@16
|
635 inline assign_detail::generic_list< tuple<U, BOOST_ASSIGN_PARAMS4(n)> > \
|
Chris@16
|
636 tuple_list_of(U u, BOOST_ASSIGN_PARAMS2_NO_REF(n) ) \
|
Chris@16
|
637 { \
|
Chris@16
|
638 return assign_detail::generic_list< tuple<U, BOOST_ASSIGN_PARAMS4(n)> >()( tuple<U,BOOST_ASSIGN_PARAMS4(n)>( u, BOOST_ASSIGN_PARAMS3(n) )); \
|
Chris@16
|
639 } \
|
Chris@16
|
640 /**/
|
Chris@16
|
641
|
Chris@16
|
642 #include BOOST_PP_LOCAL_ITERATE()
|
Chris@16
|
643
|
Chris@16
|
644
|
Chris@16
|
645 template< class Key, class T >
|
Chris@16
|
646 inline assign_detail::generic_list< std::pair
|
Chris@16
|
647 <
|
Chris@16
|
648 BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<Key>::type,
|
Chris@16
|
649 BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type
|
Chris@16
|
650 > >
|
Chris@16
|
651 map_list_of( const Key& k, const T& t )
|
Chris@16
|
652 {
|
Chris@16
|
653 typedef BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<Key>::type k_type;
|
Chris@16
|
654 typedef BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type t_type;
|
Chris@16
|
655 return assign_detail::generic_list< std::pair<k_type,t_type> >()( k, t );
|
Chris@16
|
656 }
|
Chris@16
|
657
|
Chris@16
|
658 template< class F, class S >
|
Chris@16
|
659 inline assign_detail::generic_list< std::pair
|
Chris@16
|
660 <
|
Chris@16
|
661 BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<F>::type,
|
Chris@16
|
662 BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<S>::type
|
Chris@16
|
663 > >
|
Chris@16
|
664 pair_list_of( const F& f, const S& s )
|
Chris@16
|
665 {
|
Chris@16
|
666 return map_list_of( f, s );
|
Chris@16
|
667 }
|
Chris@16
|
668
|
Chris@16
|
669
|
Chris@16
|
670 } // namespace 'assign'
|
Chris@16
|
671 } // namespace 'boost'
|
Chris@16
|
672
|
Chris@16
|
673
|
Chris@16
|
674 #undef BOOST_ASSIGN_PARAMS1
|
Chris@16
|
675 #undef BOOST_ASSIGN_PARAMS2
|
Chris@16
|
676 #undef BOOST_ASSIGN_PARAMS3
|
Chris@16
|
677 #undef BOOST_ASSIGN_PARAMS4
|
Chris@16
|
678 #undef BOOST_ASSIGN_PARAMS2_NO_REF
|
Chris@16
|
679 #undef BOOST_ASSIGN_MAX_PARAMETERS
|
Chris@16
|
680
|
Chris@16
|
681 #endif
|