123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567 |
- //////////////////////////////////////////////////////////////////////////////
- //
- // (C) Copyright Ion Gaztanaga 2008-2013. Distributed under 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)
- //
- // See http://www.boost.org/libs/container for documentation.
- //
- //////////////////////////////////////////////////////////////////////////////
- #ifndef BOOST_CONTAINER_ADVANCED_INSERT_INT_HPP
- #define BOOST_CONTAINER_ADVANCED_INSERT_INT_HPP
- #ifndef BOOST_CONFIG_HPP
- # include <boost/config.hpp>
- #endif
- #if defined(BOOST_HAS_PRAGMA_ONCE)
- # pragma once
- #endif
- #include <boost/container/detail/config_begin.hpp>
- #include <boost/container/detail/workaround.hpp>
- // container
- #include <boost/container/allocator_traits.hpp>
- // container/detail
- #include <boost/container/detail/copy_move_algo.hpp>
- #include <boost/container/detail/destroyers.hpp>
- #include <boost/container/detail/mpl.hpp>
- #include <boost/container/detail/type_traits.hpp>
- #include <boost/container/detail/iterator.hpp>
- #include <boost/container/detail/iterators.hpp>
- #include <boost/move/detail/iterator_to_raw_pointer.hpp>
- #if defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- #include <boost/move/detail/fwd_macros.hpp>
- #endif
- // move
- #include <boost/move/utility_core.hpp>
- // other
- #include <boost/assert.hpp>
- #include <boost/core/no_exceptions_support.hpp>
- namespace boost { namespace container { namespace dtl {
- template<class Allocator, class FwdIt, class Iterator>
- struct move_insert_range_proxy
- {
- typedef typename allocator_traits<Allocator>::size_type size_type;
- typedef typename allocator_traits<Allocator>::value_type value_type;
- BOOST_CONTAINER_FORCEINLINE explicit move_insert_range_proxy(FwdIt first)
- : first_(first)
- {}
- BOOST_CONTAINER_FORCEINLINE void uninitialized_copy_n_and_update(Allocator &a, Iterator p, size_type n)
- {
- this->first_ = ::boost::container::uninitialized_move_alloc_n_source
- (a, this->first_, n, p);
- }
- BOOST_CONTAINER_FORCEINLINE void copy_n_and_update(Allocator &, Iterator p, size_type n)
- {
- this->first_ = ::boost::container::move_n_source(this->first_, n, p);
- }
- FwdIt first_;
- };
- template<class Allocator, class FwdIt, class Iterator>
- struct insert_range_proxy
- {
- typedef typename allocator_traits<Allocator>::size_type size_type;
- typedef typename allocator_traits<Allocator>::value_type value_type;
- BOOST_CONTAINER_FORCEINLINE explicit insert_range_proxy(FwdIt first)
- : first_(first)
- {}
- BOOST_CONTAINER_FORCEINLINE void uninitialized_copy_n_and_update(Allocator &a, Iterator p, size_type n)
- {
- this->first_ = ::boost::container::uninitialized_copy_alloc_n_source(a, this->first_, n, p);
- }
- BOOST_CONTAINER_FORCEINLINE void copy_n_and_update(Allocator &, Iterator p, size_type n)
- {
- this->first_ = ::boost::container::copy_n_source(this->first_, n, p);
- }
- FwdIt first_;
- };
- template<class Allocator, class Iterator>
- struct insert_n_copies_proxy
- {
- typedef typename allocator_traits<Allocator>::size_type size_type;
- typedef typename allocator_traits<Allocator>::value_type value_type;
- BOOST_CONTAINER_FORCEINLINE explicit insert_n_copies_proxy(const value_type &v)
- : v_(v)
- {}
- BOOST_CONTAINER_FORCEINLINE void uninitialized_copy_n_and_update(Allocator &a, Iterator p, size_type n) const
- { boost::container::uninitialized_fill_alloc_n(a, v_, n, p); }
- BOOST_CONTAINER_FORCEINLINE void copy_n_and_update(Allocator &, Iterator p, size_type n) const
- {
- while (n){
- --n;
- *p = v_;
- ++p;
- }
- }
- const value_type &v_;
- };
- template<class Allocator, class Iterator>
- struct insert_value_initialized_n_proxy
- {
- typedef ::boost::container::allocator_traits<Allocator> alloc_traits;
- typedef typename allocator_traits<Allocator>::size_type size_type;
- typedef typename allocator_traits<Allocator>::value_type value_type;
- typedef typename dtl::aligned_storage<sizeof(value_type), dtl::alignment_of<value_type>::value>::type storage_t;
- BOOST_CONTAINER_FORCEINLINE void uninitialized_copy_n_and_update(Allocator &a, Iterator p, size_type n) const
- { boost::container::uninitialized_value_init_alloc_n(a, n, p); }
- void copy_n_and_update(Allocator &a, Iterator p, size_type n) const
- {
- while (n){
- --n;
- storage_t v;
- value_type *vp = reinterpret_cast<value_type *>(v.data);
- alloc_traits::construct(a, vp);
- value_destructor<Allocator> on_exit(a, *vp); (void)on_exit;
- *p = ::boost::move(*vp);
- ++p;
- }
- }
- };
- template<class Allocator, class Iterator>
- struct insert_default_initialized_n_proxy
- {
- typedef ::boost::container::allocator_traits<Allocator> alloc_traits;
- typedef typename allocator_traits<Allocator>::size_type size_type;
- typedef typename allocator_traits<Allocator>::value_type value_type;
- typedef typename dtl::aligned_storage<sizeof(value_type), dtl::alignment_of<value_type>::value>::type storage_t;
- BOOST_CONTAINER_FORCEINLINE void uninitialized_copy_n_and_update(Allocator &a, Iterator p, size_type n) const
- { boost::container::uninitialized_default_init_alloc_n(a, n, p); }
- void copy_n_and_update(Allocator &a, Iterator p, size_type n) const
- {
- if(!is_pod<value_type>::value){
- while (n){
- --n;
- typename dtl::aligned_storage<sizeof(value_type), dtl::alignment_of<value_type>::value>::type v;
- value_type *vp = reinterpret_cast<value_type *>(v.data);
- alloc_traits::construct(a, vp, default_init);
- value_destructor<Allocator> on_exit(a, *vp); (void)on_exit;
- *p = ::boost::move(*vp);
- ++p;
- }
- }
- }
- };
- template<class Allocator, class Iterator>
- struct insert_copy_proxy
- {
- typedef boost::container::allocator_traits<Allocator> alloc_traits;
- typedef typename alloc_traits::size_type size_type;
- typedef typename alloc_traits::value_type value_type;
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_copy_proxy(const value_type &v)
- : v_(v)
- {}
- BOOST_CONTAINER_FORCEINLINE void uninitialized_copy_n_and_update(Allocator &a, Iterator p, size_type n) const
- {
- BOOST_ASSERT(n == 1); (void)n;
- alloc_traits::construct( a, boost::movelib::iterator_to_raw_pointer(p), v_);
- }
- BOOST_CONTAINER_FORCEINLINE void copy_n_and_update(Allocator &, Iterator p, size_type n) const
- {
- BOOST_ASSERT(n == 1); (void)n;
- *p = v_;
- }
- const value_type &v_;
- };
- template<class Allocator, class Iterator>
- struct insert_move_proxy
- {
- typedef boost::container::allocator_traits<Allocator> alloc_traits;
- typedef typename alloc_traits::size_type size_type;
- typedef typename alloc_traits::value_type value_type;
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_move_proxy(value_type &v)
- : v_(v)
- {}
- BOOST_CONTAINER_FORCEINLINE void uninitialized_copy_n_and_update(Allocator &a, Iterator p, size_type n) const
- {
- BOOST_ASSERT(n == 1); (void)n;
- alloc_traits::construct( a, boost::movelib::iterator_to_raw_pointer(p), ::boost::move(v_) );
- }
- BOOST_CONTAINER_FORCEINLINE void copy_n_and_update(Allocator &, Iterator p, size_type n) const
- {
- BOOST_ASSERT(n == 1); (void)n;
- *p = ::boost::move(v_);
- }
- value_type &v_;
- };
- template<class It, class Allocator>
- BOOST_CONTAINER_FORCEINLINE insert_move_proxy<Allocator, It> get_insert_value_proxy(BOOST_RV_REF(typename boost::container::iterator_traits<It>::value_type) v)
- {
- return insert_move_proxy<Allocator, It>(v);
- }
- template<class It, class Allocator>
- BOOST_CONTAINER_FORCEINLINE insert_copy_proxy<Allocator, It> get_insert_value_proxy(const typename boost::container::iterator_traits<It>::value_type &v)
- {
- return insert_copy_proxy<Allocator, It>(v);
- }
- }}} //namespace boost { namespace container { namespace dtl {
- #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- #include <boost/container/detail/variadic_templates_tools.hpp>
- #include <boost/move/utility_core.hpp>
- namespace boost {
- namespace container {
- namespace dtl {
- template<class Allocator, class Iterator, class ...Args>
- struct insert_nonmovable_emplace_proxy
- {
- typedef boost::container::allocator_traits<Allocator> alloc_traits;
- typedef typename alloc_traits::size_type size_type;
- typedef typename alloc_traits::value_type value_type;
- typedef typename build_number_seq<sizeof...(Args)>::type index_tuple_t;
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_nonmovable_emplace_proxy(BOOST_FWD_REF(Args)... args)
- : args_(args...)
- {}
- BOOST_CONTAINER_FORCEINLINE void uninitialized_copy_n_and_update(Allocator &a, Iterator p, size_type n)
- { this->priv_uninitialized_copy_some_and_update(a, index_tuple_t(), p, n); }
- private:
- template<std::size_t ...IdxPack>
- BOOST_CONTAINER_FORCEINLINE void priv_uninitialized_copy_some_and_update(Allocator &a, const index_tuple<IdxPack...>&, Iterator p, size_type n)
- {
- BOOST_ASSERT(n == 1); (void)n;
- alloc_traits::construct( a, boost::movelib::iterator_to_raw_pointer(p), ::boost::forward<Args>(get<IdxPack>(this->args_))... );
- }
- protected:
- tuple<Args&...> args_;
- };
- template<class Allocator, class Iterator, class ...Args>
- struct insert_emplace_proxy
- : public insert_nonmovable_emplace_proxy<Allocator, Iterator, Args...>
- {
- typedef insert_nonmovable_emplace_proxy<Allocator, Iterator, Args...> base_t;
- typedef boost::container::allocator_traits<Allocator> alloc_traits;
- typedef typename base_t::value_type value_type;
- typedef typename base_t::size_type size_type;
- typedef typename base_t::index_tuple_t index_tuple_t;
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy(BOOST_FWD_REF(Args)... args)
- : base_t(::boost::forward<Args>(args)...)
- {}
- BOOST_CONTAINER_FORCEINLINE void copy_n_and_update(Allocator &a, Iterator p, size_type n)
- { this->priv_copy_some_and_update(a, index_tuple_t(), p, n); }
- private:
- template<std::size_t ...IdxPack>
- BOOST_CONTAINER_FORCEINLINE void priv_copy_some_and_update(Allocator &a, const index_tuple<IdxPack...>&, Iterator p, size_type n)
- {
- BOOST_ASSERT(n ==1); (void)n;
- typename dtl::aligned_storage<sizeof(value_type), dtl::alignment_of<value_type>::value>::type v;
- value_type *vp = reinterpret_cast<value_type *>(v.data);
- alloc_traits::construct(a, vp, ::boost::forward<Args>(get<IdxPack>(this->args_))...);
- BOOST_TRY{
- *p = ::boost::move(*vp);
- }
- BOOST_CATCH(...){
- alloc_traits::destroy(a, vp);
- BOOST_RETHROW
- }
- BOOST_CATCH_END
- alloc_traits::destroy(a, vp);
- }
- };
- //Specializations to avoid an unneeded temporary when emplacing from a single argument o type value_type
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy<Allocator, Iterator, typename boost::container::allocator_traits<Allocator>::value_type>
- : public insert_move_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy(typename boost::container::allocator_traits<Allocator>::value_type &&v)
- : insert_move_proxy<Allocator, Iterator>(v)
- {}
- };
- //We use "add_const" here as adding "const" only confuses MSVC12(and maybe later) provoking
- //compiler error C2752 ("more than one partial specialization matches").
- //Any problem is solvable with an extra layer of indirection? ;-)
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy<Allocator, Iterator
- , typename boost::container::dtl::add_const<typename boost::container::allocator_traits<Allocator>::value_type>::type
- >
- : public insert_copy_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy(const typename boost::container::allocator_traits<Allocator>::value_type &v)
- : insert_copy_proxy<Allocator, Iterator>(v)
- {}
- };
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy<Allocator, Iterator, typename boost::container::allocator_traits<Allocator>::value_type &>
- : public insert_copy_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy(const typename boost::container::allocator_traits<Allocator>::value_type &v)
- : insert_copy_proxy<Allocator, Iterator>(v)
- {}
- };
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy<Allocator, Iterator
- , typename boost::container::dtl::add_const<typename boost::container::allocator_traits<Allocator>::value_type>::type &
- >
- : public insert_copy_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy(const typename boost::container::allocator_traits<Allocator>::value_type &v)
- : insert_copy_proxy<Allocator, Iterator>(v)
- {}
- };
- }}} //namespace boost { namespace container { namespace dtl {
- #else // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- #include <boost/container/detail/value_init.hpp>
- namespace boost {
- namespace container {
- namespace dtl {
- #define BOOST_CONTAINER_ADVANCED_INSERT_INT_CODE(N) \
- template< class Allocator, class Iterator BOOST_MOVE_I##N BOOST_MOVE_CLASS##N >\
- struct insert_nonmovable_emplace_proxy##N\
- {\
- typedef boost::container::allocator_traits<Allocator> alloc_traits;\
- typedef typename alloc_traits::size_type size_type;\
- typedef typename alloc_traits::value_type value_type;\
- \
- static const bool single_value = true;\
- \
- BOOST_CONTAINER_FORCEINLINE explicit insert_nonmovable_emplace_proxy##N(BOOST_MOVE_UREF##N)\
- BOOST_MOVE_COLON##N BOOST_MOVE_FWD_INIT##N {}\
- \
- BOOST_CONTAINER_FORCEINLINE void uninitialized_copy_n_and_update(Allocator &a, Iterator p, size_type n)\
- {\
- BOOST_ASSERT(n == 1); (void)n;\
- alloc_traits::construct(a, boost::movelib::iterator_to_raw_pointer(p) BOOST_MOVE_I##N BOOST_MOVE_MFWD##N);\
- }\
- \
- BOOST_CONTAINER_FORCEINLINE void copy_n_and_update(Allocator &, Iterator, size_type)\
- { BOOST_ASSERT(false); }\
- \
- protected:\
- BOOST_MOVE_MREF##N\
- };\
- \
- template< class Allocator, class Iterator BOOST_MOVE_I##N BOOST_MOVE_CLASS##N >\
- struct insert_emplace_proxy_arg##N\
- : insert_nonmovable_emplace_proxy##N< Allocator, Iterator BOOST_MOVE_I##N BOOST_MOVE_TARG##N >\
- {\
- typedef insert_nonmovable_emplace_proxy##N\
- < Allocator, Iterator BOOST_MOVE_I##N BOOST_MOVE_TARG##N > base_t;\
- typedef typename base_t::value_type value_type;\
- typedef typename base_t::size_type size_type;\
- typedef boost::container::allocator_traits<Allocator> alloc_traits;\
- \
- static const bool single_value = true;\
- \
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy_arg##N(BOOST_MOVE_UREF##N)\
- : base_t(BOOST_MOVE_FWD##N){}\
- \
- BOOST_CONTAINER_FORCEINLINE void copy_n_and_update(Allocator &a, Iterator p, size_type n)\
- {\
- BOOST_ASSERT(n == 1); (void)n;\
- typename dtl::aligned_storage<sizeof(value_type), dtl::alignment_of<value_type>::value>::type v;\
- value_type *vp = reinterpret_cast<value_type *>(v.data);\
- alloc_traits::construct(a, vp BOOST_MOVE_I##N BOOST_MOVE_MFWD##N);\
- BOOST_TRY{\
- *p = ::boost::move(*vp);\
- }\
- BOOST_CATCH(...){\
- alloc_traits::destroy(a, vp);\
- BOOST_RETHROW\
- }\
- BOOST_CATCH_END\
- alloc_traits::destroy(a, vp);\
- }\
- };\
- //
- BOOST_MOVE_ITERATE_0TO9(BOOST_CONTAINER_ADVANCED_INSERT_INT_CODE)
- #undef BOOST_CONTAINER_ADVANCED_INSERT_INT_CODE
- #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
- //Specializations to avoid an unneeded temporary when emplacing from a single argument o type value_type
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy_arg1<Allocator, Iterator, ::boost::rv<typename boost::container::allocator_traits<Allocator>::value_type> >
- : public insert_move_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy_arg1(typename boost::container::allocator_traits<Allocator>::value_type &v)
- : insert_move_proxy<Allocator, Iterator>(v)
- {}
- };
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy_arg1<Allocator, Iterator, typename boost::container::allocator_traits<Allocator>::value_type>
- : public insert_copy_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy_arg1(const typename boost::container::allocator_traits<Allocator>::value_type &v)
- : insert_copy_proxy<Allocator, Iterator>(v)
- {}
- };
- #else //e.g. MSVC10 & MSVC11
- //Specializations to avoid an unneeded temporary when emplacing from a single argument o type value_type
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy_arg1<Allocator, Iterator, typename boost::container::allocator_traits<Allocator>::value_type>
- : public insert_move_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy_arg1(typename boost::container::allocator_traits<Allocator>::value_type &&v)
- : insert_move_proxy<Allocator, Iterator>(v)
- {}
- };
- //We use "add_const" here as adding "const" only confuses MSVC10&11 provoking
- //compiler error C2752 ("more than one partial specialization matches").
- //Any problem is solvable with an extra layer of indirection? ;-)
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy_arg1<Allocator, Iterator
- , typename boost::container::dtl::add_const<typename boost::container::allocator_traits<Allocator>::value_type>::type
- >
- : public insert_copy_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy_arg1(const typename boost::container::allocator_traits<Allocator>::value_type &v)
- : insert_copy_proxy<Allocator, Iterator>(v)
- {}
- };
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy_arg1<Allocator, Iterator, typename boost::container::allocator_traits<Allocator>::value_type &>
- : public insert_copy_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy_arg1(const typename boost::container::allocator_traits<Allocator>::value_type &v)
- : insert_copy_proxy<Allocator, Iterator>(v)
- {}
- };
- template<class Allocator, class Iterator>
- struct insert_emplace_proxy_arg1<Allocator, Iterator
- , typename boost::container::dtl::add_const<typename boost::container::allocator_traits<Allocator>::value_type>::type &
- >
- : public insert_copy_proxy<Allocator, Iterator>
- {
- static const bool single_value = true;
- BOOST_CONTAINER_FORCEINLINE explicit insert_emplace_proxy_arg1(const typename boost::container::allocator_traits<Allocator>::value_type &v)
- : insert_copy_proxy<Allocator, Iterator>(v)
- {}
- };
- #endif
- }}} //namespace boost { namespace container { namespace dtl {
- #endif // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- namespace boost { namespace container { namespace dtl {
- template <class T>
- struct has_single_value
- {
- private:
- struct two {char array_[2];};
- template<bool Arg> struct wrapper;
- template <class U> static two test(int, ...);
- template <class U> static char test(int, const wrapper<U::single_value>*);
- public:
- static const bool value = sizeof(test<T>(0, 0)) == 1;
- void dummy(){}
- };
- template<class InsertionProxy, bool = has_single_value<InsertionProxy>::value>
- struct is_single_value_proxy_impl
- {
- static const bool value = InsertionProxy::single_value;
- };
- template<class InsertionProxy>
- struct is_single_value_proxy_impl<InsertionProxy, false>
- {
- static const bool value = false;
- };
- template<class InsertionProxy>
- struct is_single_value_proxy
- : is_single_value_proxy_impl<InsertionProxy>
- {};
- }}} //namespace boost { namespace container { namespace dtl {
- #include <boost/container/detail/config_end.hpp>
- #endif //#ifndef BOOST_CONTAINER_ADVANCED_INSERT_INT_HPP
|