682 lines
19 KiB
C++
682 lines
19 KiB
C++
// Boost.Assign library
|
|
//
|
|
// Copyright Thorsten Ottosen 2003-2004. Use, modification and
|
|
// distribution is subject to the Boost Software License, Version
|
|
// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
|
// http://www.boost.org/LICENSE_1_0.txt)
|
|
//
|
|
// For more information, see http://www.boost.org/libs/assign/
|
|
//
|
|
|
|
|
|
#ifndef BOOST_ASSIGN_LIST_OF_HPP
|
|
#define BOOST_ASSIGN_LIST_OF_HPP
|
|
|
|
#if defined(_MSC_VER) && (_MSC_VER >= 1020)
|
|
# pragma once
|
|
#endif
|
|
|
|
#include <boost/assign/assignment_exception.hpp>
|
|
#include <boost/range/iterator_range.hpp>
|
|
#include <boost/config.hpp>
|
|
#include <boost/tuple/tuple.hpp>
|
|
#include <boost/type_traits/remove_const.hpp>
|
|
#include <boost/type_traits/remove_reference.hpp>
|
|
#include <boost/type_traits/is_reference.hpp>
|
|
#include <boost/static_assert.hpp>
|
|
#include <boost/type_traits/detail/yes_no_type.hpp>
|
|
#include <boost/type_traits/decay.hpp>
|
|
#include <boost/type_traits/is_array.hpp>
|
|
#include <boost/mpl/if.hpp>
|
|
#include <deque>
|
|
#include <cstddef>
|
|
#include <utility>
|
|
|
|
#include <boost/preprocessor/repetition/enum_binary_params.hpp>
|
|
#include <boost/preprocessor/repetition/enum_params.hpp>
|
|
#include <boost/preprocessor/iteration/local.hpp>
|
|
|
|
#if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
|
// BCB requires full type definition for is_array<> to work correctly.
|
|
#include <boost/array.hpp>
|
|
#endif
|
|
|
|
namespace boost
|
|
{
|
|
|
|
// this here is necessary to avoid compiler error in <boost/array.hpp>
|
|
#if !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
|
template< class T, std::size_t sz >
|
|
class array;
|
|
#endif
|
|
|
|
namespace assign_detail
|
|
{
|
|
/////////////////////////////////////////////////////////////////////////
|
|
// Part 0: common conversion code
|
|
/////////////////////////////////////////////////////////////////////////
|
|
|
|
template< class T >
|
|
struct assign_decay
|
|
{
|
|
//
|
|
// Add constness to array parameters
|
|
// to support string literals properly
|
|
//
|
|
typedef BOOST_DEDUCED_TYPENAME mpl::eval_if<
|
|
::boost::is_array<T>,
|
|
::boost::decay<const T>,
|
|
::boost::decay<T> >::type type;
|
|
};
|
|
|
|
template< class T, std::size_t sz >
|
|
type_traits::yes_type assign_is_array( const array<T,sz>* );
|
|
type_traits::no_type assign_is_array( ... );
|
|
template< class T, class U >
|
|
type_traits::yes_type assign_is_pair( const std::pair<T,U>* );
|
|
type_traits::no_type assign_is_pair( ... );
|
|
|
|
|
|
|
|
struct array_type_tag
|
|
{
|
|
#if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
|
private:
|
|
char dummy_; // BCB would by default use 8 bytes
|
|
#endif
|
|
};
|
|
struct adapter_type_tag
|
|
{
|
|
#if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
|
private:
|
|
char dummy_; // BCB would by default use 8 bytes
|
|
#endif
|
|
};
|
|
struct pair_type_tag
|
|
{
|
|
#if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
|
private:
|
|
char dummy_; // BCB would by default use 8 bytes
|
|
#endif
|
|
};
|
|
struct default_type_tag
|
|
{
|
|
#if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
|
|
private:
|
|
char dummy_; // BCB would by default use 8 bytes
|
|
#endif
|
|
};
|
|
|
|
|
|
|
|
template< class DerivedTAssign, class Iterator >
|
|
class converter
|
|
{
|
|
public: // Range operations
|
|
typedef Iterator iterator;
|
|
typedef Iterator const_iterator;
|
|
|
|
iterator begin() const
|
|
{
|
|
return static_cast<const DerivedTAssign*>(this)->begin();
|
|
}
|
|
|
|
iterator end() const
|
|
{
|
|
return static_cast<const DerivedTAssign*>(this)->end();
|
|
}
|
|
|
|
public:
|
|
|
|
template< class Container >
|
|
Container convert_to_container() const
|
|
{
|
|
static Container* c = 0;
|
|
BOOST_STATIC_CONSTANT( bool, is_array_flag = sizeof( assign_detail::assign_is_array( c ) )
|
|
== sizeof( type_traits::yes_type ) );
|
|
|
|
typedef BOOST_DEDUCED_TYPENAME mpl::if_c< is_array_flag,
|
|
array_type_tag,
|
|
default_type_tag >::type tag_type;
|
|
|
|
return convert<Container>( c, tag_type() );
|
|
}
|
|
|
|
private:
|
|
|
|
template< class Container >
|
|
Container convert( const Container*, default_type_tag ) const
|
|
{
|
|
|
|
#if BOOST_WORKAROUND(BOOST_DINKUMWARE_STDLIB, == 1)
|
|
// old Dinkumware doesn't support iterator type as template
|
|
Container result;
|
|
iterator it = begin(),
|
|
e = end();
|
|
while( it != e )
|
|
{
|
|
result.insert( result.end(), *it );
|
|
++it;
|
|
}
|
|
return result;
|
|
#else
|
|
return Container( begin(), end() );
|
|
#endif
|
|
}
|
|
|
|
template< class Array >
|
|
Array convert( const Array*, array_type_tag ) const
|
|
{
|
|
typedef BOOST_DEDUCED_TYPENAME Array::value_type value_type;
|
|
|
|
#if BOOST_WORKAROUND(BOOST_INTEL, <= 910 ) || BOOST_WORKAROUND(__SUNPRO_CC, <= 0x580 )
|
|
BOOST_DEDUCED_TYPENAME remove_const<Array>::type ar;
|
|
#else
|
|
Array ar;
|
|
#endif
|
|
const std::size_t sz = ar.size();
|
|
if( sz < static_cast<const DerivedTAssign*>(this)->size() )
|
|
throw assign::assignment_exception( "array initialized with too many elements" );
|
|
std::size_t n = 0;
|
|
iterator i = begin(),
|
|
e = end();
|
|
for( ; i != e; ++i, ++n )
|
|
ar[n] = *i;
|
|
for( ; n < sz; ++n )
|
|
ar[n] = value_type();
|
|
return ar;
|
|
}
|
|
|
|
template< class Adapter >
|
|
Adapter convert_to_adapter( const Adapter* = 0 ) const
|
|
{
|
|
Adapter a;
|
|
iterator i = begin(),
|
|
e = end();
|
|
for( ; i != e; ++i )
|
|
a.push( *i );
|
|
return a;
|
|
}
|
|
|
|
private:
|
|
struct adapter_converter;
|
|
friend struct adapter_converter;
|
|
|
|
struct adapter_converter
|
|
{
|
|
const converter& gl;
|
|
adapter_converter( const converter& this_ ) : gl( this_ )
|
|
{}
|
|
|
|
adapter_converter( const adapter_converter& r )
|
|
: gl( r.gl )
|
|
{ }
|
|
|
|
template< class Adapter >
|
|
operator Adapter() const
|
|
{
|
|
return gl.convert_to_adapter<Adapter>();
|
|
}
|
|
};
|
|
|
|
public:
|
|
template< class Container >
|
|
Container to_container( Container& c ) const
|
|
{
|
|
return convert( &c, default_type_tag() );
|
|
}
|
|
|
|
adapter_converter to_adapter() const
|
|
{
|
|
return adapter_converter( *this );
|
|
}
|
|
|
|
template< class Adapter >
|
|
Adapter to_adapter( Adapter& a ) const
|
|
{
|
|
return this->convert_to_adapter( &a );
|
|
}
|
|
|
|
template< class Array >
|
|
Array to_array( Array& a ) const
|
|
{
|
|
return convert( &a, array_type_tag() );
|
|
}
|
|
};
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator==( const converter<T,I>& l, const Range& r )
|
|
{
|
|
return ::boost::iterator_range_detail::equal( l, r );
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator==( const Range& l, const converter<T,I>& r )
|
|
{
|
|
return r == l;
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator!=( const converter<T,I>& l, const Range& r )
|
|
{
|
|
return !( l == r );
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator!=( const Range& l, const converter<T,I>& r )
|
|
{
|
|
return !( l == r );
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator<( const converter<T,I>& l, const Range& r )
|
|
{
|
|
return ::boost::iterator_range_detail::less_than( l, r );
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator<( const Range& l, const converter<T,I>& r )
|
|
{
|
|
return ::boost::iterator_range_detail::less_than( l, r );
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator>( const converter<T,I>& l, const Range& r )
|
|
{
|
|
return r < l;
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator>( const Range& l, const converter<T,I>& r )
|
|
{
|
|
return r < l;
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator<=( const converter<T,I>& l, const Range& r )
|
|
{
|
|
return !( l > r );
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator<=( const Range& l, const converter<T,I>& r )
|
|
{
|
|
return !( l > r );
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator>=( const converter<T,I>& l, const Range& r )
|
|
{
|
|
return !( l < r );
|
|
}
|
|
|
|
template< class T, class I, class Range >
|
|
inline bool operator>=( const Range& l, const converter<T,I>& r )
|
|
{
|
|
return !( l < r );
|
|
}
|
|
|
|
template< class T, class I, class Elem, class Traits >
|
|
inline std::basic_ostream<Elem,Traits>&
|
|
operator<<( std::basic_ostream<Elem, Traits>& Os,
|
|
const converter<T,I>& r )
|
|
{
|
|
return Os << ::boost::make_iterator_range( r.begin(), r.end() );
|
|
}
|
|
|
|
/////////////////////////////////////////////////////////////////////////
|
|
// Part 1: flexible, but inefficient interface
|
|
/////////////////////////////////////////////////////////////////////////
|
|
|
|
template< class T >
|
|
class generic_list :
|
|
public converter< generic_list< BOOST_DEDUCED_TYPENAME assign_decay<T>::type >,
|
|
BOOST_DEDUCED_TYPENAME std::deque<BOOST_DEDUCED_TYPENAME
|
|
assign_decay<T>::type>::iterator >
|
|
{
|
|
typedef BOOST_DEDUCED_TYPENAME assign_decay<T>::type Ty;
|
|
typedef std::deque<Ty> impl_type;
|
|
mutable impl_type values_;
|
|
|
|
public:
|
|
typedef BOOST_DEDUCED_TYPENAME impl_type::iterator iterator;
|
|
typedef iterator const_iterator;
|
|
typedef BOOST_DEDUCED_TYPENAME impl_type::value_type value_type;
|
|
typedef BOOST_DEDUCED_TYPENAME impl_type::size_type size_type;
|
|
typedef BOOST_DEDUCED_TYPENAME impl_type::difference_type difference_type;
|
|
|
|
public:
|
|
iterator begin() const { return values_.begin(); }
|
|
iterator end() const { return values_.end(); }
|
|
bool empty() const { return values_.empty(); }
|
|
size_type size() const { return values_.size(); }
|
|
|
|
private:
|
|
void push_back( value_type r ) { values_.push_back( r ); }
|
|
|
|
public:
|
|
generic_list& operator,( const Ty& u )
|
|
{
|
|
this->push_back( u );
|
|
return *this;
|
|
}
|
|
|
|
generic_list& operator()()
|
|
{
|
|
this->push_back( Ty() );
|
|
return *this;
|
|
}
|
|
|
|
generic_list& operator()( const Ty& u )
|
|
{
|
|
this->push_back( u );
|
|
return *this;
|
|
}
|
|
|
|
|
|
#ifndef BOOST_ASSIGN_MAX_PARAMS // use user's value
|
|
#define BOOST_ASSIGN_MAX_PARAMS 5
|
|
#endif
|
|
#define BOOST_ASSIGN_MAX_PARAMETERS (BOOST_ASSIGN_MAX_PARAMS - 1)
|
|
#define BOOST_ASSIGN_PARAMS1(n) BOOST_PP_ENUM_PARAMS(n, class U)
|
|
#define BOOST_ASSIGN_PARAMS2(n) BOOST_PP_ENUM_BINARY_PARAMS(n, U, const& u)
|
|
#define BOOST_ASSIGN_PARAMS3(n) BOOST_PP_ENUM_PARAMS(n, u)
|
|
#define BOOST_ASSIGN_PARAMS4(n) BOOST_PP_ENUM_PARAMS(n, U)
|
|
#define BOOST_ASSIGN_PARAMS2_NO_REF(n) BOOST_PP_ENUM_BINARY_PARAMS(n, U, u)
|
|
|
|
#define BOOST_PP_LOCAL_LIMITS (1, BOOST_ASSIGN_MAX_PARAMETERS)
|
|
#define BOOST_PP_LOCAL_MACRO(n) \
|
|
template< class U, BOOST_ASSIGN_PARAMS1(n) > \
|
|
generic_list& operator()(U const& u, BOOST_ASSIGN_PARAMS2(n) ) \
|
|
{ \
|
|
this->push_back( Ty(u, BOOST_ASSIGN_PARAMS3(n))); \
|
|
return *this; \
|
|
} \
|
|
/**/
|
|
|
|
#include BOOST_PP_LOCAL_ITERATE()
|
|
|
|
|
|
template< class U >
|
|
generic_list& repeat( std::size_t sz, U u )
|
|
{
|
|
std::size_t i = 0;
|
|
while( i++ != sz )
|
|
this->push_back( u );
|
|
return *this;
|
|
}
|
|
|
|
template< class Nullary_function >
|
|
generic_list& repeat_fun( std::size_t sz, Nullary_function fun )
|
|
{
|
|
std::size_t i = 0;
|
|
while( i++ != sz )
|
|
this->push_back( fun() );
|
|
return *this;
|
|
}
|
|
|
|
template< class SinglePassIterator >
|
|
generic_list& range( SinglePassIterator first,
|
|
SinglePassIterator last )
|
|
{
|
|
for( ; first != last; ++first )
|
|
this->push_back( *first );
|
|
return *this;
|
|
}
|
|
|
|
template< class SinglePassRange >
|
|
generic_list& range( const SinglePassRange& r )
|
|
{
|
|
return range( boost::begin(r), boost::end(r) );
|
|
}
|
|
|
|
template< class Container >
|
|
operator Container() const
|
|
{
|
|
return this-> BOOST_NESTED_TEMPLATE convert_to_container<Container>();
|
|
}
|
|
};
|
|
|
|
/////////////////////////////////////////////////////////////////////////
|
|
// Part 2: efficient, but inconvenient interface
|
|
/////////////////////////////////////////////////////////////////////////
|
|
|
|
template< class T >
|
|
struct assign_reference
|
|
{
|
|
assign_reference()
|
|
{ /* intentionally empty */ }
|
|
|
|
assign_reference( T& r ) : ref_(&r)
|
|
{ }
|
|
|
|
void operator=( T& r )
|
|
{
|
|
ref_ = &r;
|
|
}
|
|
|
|
operator T&() const
|
|
{
|
|
return *ref_;
|
|
}
|
|
|
|
void swap( assign_reference& r )
|
|
{
|
|
std::swap( *ref_, *r.ref_ );
|
|
}
|
|
|
|
T& get_ref() const
|
|
{
|
|
return *ref_;
|
|
}
|
|
|
|
private:
|
|
T* ref_;
|
|
|
|
};
|
|
|
|
template< class T >
|
|
inline bool operator<( const assign_reference<T>& l,
|
|
const assign_reference<T>& r )
|
|
{
|
|
return l.get_ref() < r.get_ref();
|
|
}
|
|
|
|
template< class T >
|
|
inline bool operator>( const assign_reference<T>& l,
|
|
const assign_reference<T>& r )
|
|
{
|
|
return l.get_ref() > r.get_ref();
|
|
}
|
|
|
|
template< class T >
|
|
inline void swap( assign_reference<T>& l,
|
|
assign_reference<T>& r )
|
|
{
|
|
l.swap( r );
|
|
}
|
|
|
|
|
|
|
|
template< class T, int N >
|
|
struct static_generic_list :
|
|
public converter< static_generic_list<T,N>, assign_reference<T>* >
|
|
{
|
|
private:
|
|
typedef T internal_value_type;
|
|
|
|
public:
|
|
typedef assign_reference<internal_value_type> value_type;
|
|
typedef value_type* iterator;
|
|
typedef value_type* const_iterator;
|
|
typedef std::size_t size_type;
|
|
typedef std::ptrdiff_t difference_type;
|
|
|
|
|
|
static_generic_list( T& r ) :
|
|
current_(1)
|
|
{
|
|
refs_[0] = r;
|
|
}
|
|
|
|
static_generic_list& operator()( T& r )
|
|
{
|
|
insert( r );
|
|
return *this;
|
|
}
|
|
|
|
iterator begin() const
|
|
{
|
|
return &refs_[0];
|
|
}
|
|
|
|
iterator end() const
|
|
{
|
|
return &refs_[current_];
|
|
}
|
|
|
|
size_type size() const
|
|
{
|
|
return static_cast<size_type>( current_ );
|
|
}
|
|
|
|
bool empty() const
|
|
{
|
|
return false;
|
|
}
|
|
|
|
template< class ForwardIterator >
|
|
static_generic_list& range( ForwardIterator first,
|
|
ForwardIterator last )
|
|
{
|
|
for( ; first != last; ++first )
|
|
this->insert( *first );
|
|
return *this;
|
|
}
|
|
|
|
template< class ForwardRange >
|
|
static_generic_list& range( ForwardRange& r )
|
|
{
|
|
return range( boost::begin(r), boost::end(r) );
|
|
}
|
|
|
|
template< class ForwardRange >
|
|
static_generic_list& range( const ForwardRange& r )
|
|
{
|
|
return range( boost::begin(r), boost::end(r) );
|
|
}
|
|
|
|
template< class Container >
|
|
operator Container() const
|
|
{
|
|
return this-> BOOST_NESTED_TEMPLATE convert_to_container<Container>();
|
|
}
|
|
|
|
private:
|
|
void insert( T& r )
|
|
{
|
|
refs_[current_] = r;
|
|
++current_;
|
|
}
|
|
|
|
static_generic_list();
|
|
|
|
mutable assign_reference<internal_value_type> refs_[N];
|
|
int current_;
|
|
};
|
|
|
|
} // namespace 'assign_detail'
|
|
|
|
namespace assign
|
|
{
|
|
template< class T >
|
|
inline assign_detail::generic_list<T>
|
|
list_of()
|
|
{
|
|
return assign_detail::generic_list<T>()( T() );
|
|
}
|
|
|
|
template< class T >
|
|
inline assign_detail::generic_list<T>
|
|
list_of( const T& t )
|
|
{
|
|
return assign_detail::generic_list<T>()( t );
|
|
}
|
|
|
|
template< int N, class T >
|
|
inline assign_detail::static_generic_list< BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type,N>
|
|
ref_list_of( T& t )
|
|
{
|
|
return assign_detail::static_generic_list<BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type,N>( t );
|
|
}
|
|
|
|
template< int N, class T >
|
|
inline assign_detail::static_generic_list<const BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type,N>
|
|
cref_list_of( const T& t )
|
|
{
|
|
return assign_detail::static_generic_list<const BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type,N>( t );
|
|
}
|
|
|
|
#define BOOST_PP_LOCAL_LIMITS (1, BOOST_ASSIGN_MAX_PARAMETERS)
|
|
#define BOOST_PP_LOCAL_MACRO(n) \
|
|
template< class T, class U, BOOST_ASSIGN_PARAMS1(n) > \
|
|
inline assign_detail::generic_list<T> \
|
|
list_of(U const& u, BOOST_ASSIGN_PARAMS2(n) ) \
|
|
{ \
|
|
return assign_detail::generic_list<T>()(u, BOOST_ASSIGN_PARAMS3(n)); \
|
|
} \
|
|
/**/
|
|
|
|
#include BOOST_PP_LOCAL_ITERATE()
|
|
|
|
#define BOOST_PP_LOCAL_LIMITS (1, BOOST_ASSIGN_MAX_PARAMETERS)
|
|
#define BOOST_PP_LOCAL_MACRO(n) \
|
|
template< class U, BOOST_ASSIGN_PARAMS1(n) > \
|
|
inline assign_detail::generic_list< tuple<U, BOOST_ASSIGN_PARAMS4(n)> > \
|
|
tuple_list_of(U u, BOOST_ASSIGN_PARAMS2_NO_REF(n) ) \
|
|
{ \
|
|
return assign_detail::generic_list< tuple<U, BOOST_ASSIGN_PARAMS4(n)> >()( tuple<U,BOOST_ASSIGN_PARAMS4(n)>( u, BOOST_ASSIGN_PARAMS3(n) )); \
|
|
} \
|
|
/**/
|
|
|
|
#include BOOST_PP_LOCAL_ITERATE()
|
|
|
|
|
|
template< class Key, class T >
|
|
inline assign_detail::generic_list< std::pair
|
|
<
|
|
BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<Key>::type,
|
|
BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type
|
|
> >
|
|
map_list_of( const Key& k, const T& t )
|
|
{
|
|
typedef BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<Key>::type k_type;
|
|
typedef BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<T>::type t_type;
|
|
return assign_detail::generic_list< std::pair<k_type,t_type> >()( k, t );
|
|
}
|
|
|
|
template< class F, class S >
|
|
inline assign_detail::generic_list< std::pair
|
|
<
|
|
BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<F>::type,
|
|
BOOST_DEDUCED_TYPENAME assign_detail::assign_decay<S>::type
|
|
> >
|
|
pair_list_of( const F& f, const S& s )
|
|
{
|
|
return map_list_of( f, s );
|
|
}
|
|
|
|
|
|
} // namespace 'assign'
|
|
} // namespace 'boost'
|
|
|
|
|
|
#undef BOOST_ASSIGN_PARAMS1
|
|
#undef BOOST_ASSIGN_PARAMS2
|
|
#undef BOOST_ASSIGN_PARAMS3
|
|
#undef BOOST_ASSIGN_PARAMS4
|
|
#undef BOOST_ASSIGN_PARAMS2_NO_REF
|
|
#undef BOOST_ASSIGN_MAX_PARAMETERS
|
|
|
|
#endif
|