12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123 |
- #ifndef BOOST_GEOMETRY_INDEX_DETAIL_VARRAY_HPP
- #define BOOST_GEOMETRY_INDEX_DETAIL_VARRAY_HPP
- #include <boost/container/detail/config_begin.hpp>
- #include <boost/container/detail/workaround.hpp>
- #include <boost/concept_check.hpp>
- #include <boost/config.hpp>
- #include <boost/core/ignore_unused.hpp>
- #include <boost/integer.hpp>
- #include <boost/iterator/reverse_iterator.hpp>
- #include <boost/iterator/iterator_concepts.hpp>
- #include <boost/type_traits/alignment_of.hpp>
- #include <boost/type_traits/aligned_storage.hpp>
- #include <boost/geometry/core/static_assert.hpp>
- #include <boost/geometry/index/detail/assert.hpp>
- #include <boost/geometry/index/detail/exception.hpp>
- #include <boost/geometry/index/detail/varray_detail.hpp>
- namespace boost { namespace geometry { namespace index { namespace detail {
- namespace varray_detail {
- template <typename Value, std::size_t Capacity>
- struct varray_traits
- {
- typedef Value value_type;
- typedef std::size_t size_type;
- typedef std::ptrdiff_t difference_type;
- typedef Value* pointer;
- typedef const Value* const_pointer;
- typedef Value& reference;
- typedef const Value& const_reference;
- typedef std::false_type use_memop_in_swap_and_move;
- typedef std::false_type use_optimized_swap;
- typedef std::false_type disable_trivial_init;
- };
- template <typename Varray>
- struct checker
- {
- typedef typename Varray::size_type size_type;
- typedef typename Varray::const_iterator const_iterator;
- static inline void check_capacity(Varray const& v, size_type s)
- {
- BOOST_GEOMETRY_INDEX_ASSERT(s <= v.capacity(), "size too big");
- ::boost::ignore_unused(v, s);
- }
- static inline void throw_out_of_bounds(Varray const& v, size_type i)
- {
- if ( v.size() <= i )
- throw_out_of_range("index out of bounds");
- ::boost::ignore_unused(v, i);
- }
- static inline void check_index(Varray const& v, size_type i)
- {
- BOOST_GEOMETRY_INDEX_ASSERT(i < v.size(), "index out of bounds");
- ::boost::ignore_unused(v, i);
- }
- static inline void check_not_empty(Varray const& v)
- {
- BOOST_GEOMETRY_INDEX_ASSERT(!v.empty(), "the container is empty");
- ::boost::ignore_unused(v);
- }
- static inline void check_iterator_end_neq(Varray const& v, const_iterator position)
- {
- BOOST_GEOMETRY_INDEX_ASSERT(v.begin() <= position && position < v.end(), "iterator out of bounds");
- ::boost::ignore_unused(v, position);
- }
- static inline void check_iterator_end_eq(Varray const& v, const_iterator position)
- {
- BOOST_GEOMETRY_INDEX_ASSERT(v.begin() <= position && position <= v.end(), "iterator out of bounds");
- ::boost::ignore_unused(v, position);
- }
- };
- }
- template <typename Value, std::size_t Capacity>
- class varray
- {
- typedef varray_detail::varray_traits<Value, Capacity> vt;
- typedef varray_detail::checker<varray> errh;
- BOOST_GEOMETRY_STATIC_ASSERT(
- ( std::is_unsigned<typename vt::size_type>::value &&
- sizeof(typename boost::uint_value_t<Capacity>::least) <= sizeof(typename vt::size_type) ),
- "Size type is too small for specified capacity.",
- typename vt::size_type, std::integral_constant<std::size_t, Capacity>
- );
- typedef boost::aligned_storage<
- sizeof(Value[Capacity]),
- boost::alignment_of<Value[Capacity]>::value
- > aligned_storage_type;
- template <typename V, std::size_t C>
- friend class varray;
- public:
-
- typedef typename vt::value_type value_type;
-
- typedef typename vt::size_type size_type;
-
- typedef typename vt::difference_type difference_type;
-
- typedef typename vt::pointer pointer;
-
- typedef typename vt::const_pointer const_pointer;
-
- typedef typename vt::reference reference;
-
- typedef typename vt::const_reference const_reference;
-
- typedef pointer iterator;
-
- typedef const_pointer const_iterator;
-
- typedef boost::reverse_iterator<iterator> reverse_iterator;
-
- typedef boost::reverse_iterator<const_iterator> const_reverse_iterator;
-
-
-
-
-
-
-
- varray()
- : m_size(0)
- {}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- explicit varray(size_type count)
- : m_size(0)
- {
- this->resize(count);
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- varray(size_type count, value_type const& value)
- : m_size(0)
- {
- this->resize(count, value);
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- template <typename Iterator>
- varray(Iterator first, Iterator last)
- : m_size(0)
- {
- BOOST_CONCEPT_ASSERT((boost_concepts::ForwardTraversal<Iterator>));
- this->assign(first, last);
- }
-
-
-
-
-
-
-
-
-
- varray(varray const& other)
- : m_size(other.size())
- {
- namespace sv = varray_detail;
- sv::uninitialized_copy(other.begin(), other.end(), this->begin());
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- template <std::size_t C>
- varray(varray<value_type, C> const& other)
- : m_size(other.size())
- {
- errh::check_capacity(*this, other.size());
- namespace sv = varray_detail;
- sv::uninitialized_copy(other.begin(), other.end(), this->begin());
- }
-
-
-
-
-
-
-
-
-
- varray& operator=(varray const& other)
- {
- this->assign(other.begin(), other.end());
- return *this;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- template <std::size_t C>
- varray& operator=(varray<value_type, C> const& other)
- {
- this->assign(other.begin(), other.end());
- return *this;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
- varray(varray&& other)
- {
- typedef typename
- vt::use_memop_in_swap_and_move use_memop_in_swap_and_move;
- this->move_ctor_dispatch(other, use_memop_in_swap_and_move());
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- template <std::size_t C>
- varray(varray<value_type, C>&& other)
- : m_size(other.m_size)
- {
- errh::check_capacity(*this, other.size());
- typedef typename
- vt::use_memop_in_swap_and_move use_memop_in_swap_and_move;
- this->move_ctor_dispatch(other, use_memop_in_swap_and_move());
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
- varray& operator=(varray&& other)
- {
- if ( &other == this )
- return *this;
- typedef typename
- vt::use_memop_in_swap_and_move use_memop_in_swap_and_move;
- this->move_assign_dispatch(other, use_memop_in_swap_and_move());
- return *this;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- template <std::size_t C>
- varray& operator=(varray<value_type, C>&& other)
- {
- errh::check_capacity(*this, other.size());
- typedef typename
- vt::use_memop_in_swap_and_move use_memop_in_swap_and_move;
- this->move_assign_dispatch(other, use_memop_in_swap_and_move());
- return *this;
- }
-
-
-
-
-
-
-
- ~varray()
- {
- namespace sv = varray_detail;
- sv::destroy(this->begin(), this->end());
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
- void swap(varray& other)
- {
- typedef typename
- vt::use_optimized_swap use_optimized_swap;
- this->swap_dispatch(other, use_optimized_swap());
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- template <std::size_t C>
- void swap(varray<value_type, C>& other)
- {
- errh::check_capacity(*this, other.size());
- errh::check_capacity(other, this->size());
- typedef typename
- vt::use_optimized_swap use_optimized_swap;
- this->swap_dispatch(other, use_optimized_swap());
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- void resize(size_type count)
- {
- namespace sv = varray_detail;
- typedef typename vt::disable_trivial_init dti;
- if ( count < m_size )
- {
- sv::destroy(this->begin() + count, this->end());
- }
- else
- {
- errh::check_capacity(*this, count);
- sv::uninitialized_fill(this->end(), this->begin() + count, dti());
- }
- m_size = count;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- void resize(size_type count, value_type const& value)
- {
- if ( count < m_size )
- {
- namespace sv = varray_detail;
- sv::destroy(this->begin() + count, this->end());
- }
- else
- {
- errh::check_capacity(*this, count);
- std::uninitialized_fill(this->end(), this->begin() + count, value);
- }
- m_size = count;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- void reserve(size_type count)
- {
- errh::check_capacity(*this, count);
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- void push_back(value_type const& value)
- {
- typedef typename vt::disable_trivial_init dti;
- errh::check_capacity(*this, m_size + 1);
- namespace sv = varray_detail;
- sv::construct(dti(), this->end(), value);
- ++m_size;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- void push_back(value_type&& value)
- {
- typedef typename vt::disable_trivial_init dti;
- errh::check_capacity(*this, m_size + 1);
- namespace sv = varray_detail;
- sv::construct(dti(), this->end(), std::move(value));
- ++m_size;
- }
-
-
-
-
-
-
-
-
-
- void pop_back()
- {
- errh::check_not_empty(*this);
- namespace sv = varray_detail;
- sv::destroy(this->end() - 1);
- --m_size;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- iterator insert(iterator position, value_type const& value)
- {
- typedef typename vt::disable_trivial_init dti;
- namespace sv = varray_detail;
- errh::check_iterator_end_eq(*this, position);
- errh::check_capacity(*this, m_size + 1);
- if ( position == this->end() )
- {
- sv::construct(dti(), position, value);
- ++m_size;
- }
- else
- {
-
- value_type& r = *(this->end() - 1);
- sv::construct(dti(), this->end(), std::move(r));
- ++m_size;
- sv::move_backward(position, this->end() - 2, this->end() - 1);
- sv::assign(position, value);
- }
- return position;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- iterator insert(iterator position, value_type&& value)
- {
- typedef typename vt::disable_trivial_init dti;
- namespace sv = varray_detail;
- errh::check_iterator_end_eq(*this, position);
- errh::check_capacity(*this, m_size + 1);
- if ( position == this->end() )
- {
- sv::construct(dti(), position, std::move(value));
- ++m_size;
- }
- else
- {
-
- value_type& r = *(this->end() - 1);
- sv::construct(dti(), this->end(), std::move(r));
- ++m_size;
- sv::move_backward(position, this->end() - 2, this->end() - 1);
- sv::assign(position, std::move(value));
- }
- return position;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- iterator insert(iterator position, size_type count, value_type const& value)
- {
- errh::check_iterator_end_eq(*this, position);
- errh::check_capacity(*this, m_size + count);
- if ( position == this->end() )
- {
- std::uninitialized_fill(position, position + count, value);
- m_size += count;
- }
- else
- {
- namespace sv = varray_detail;
- difference_type to_move = std::distance(position, this->end());
-
- if ( count < static_cast<size_type>(to_move) )
- {
- sv::uninitialized_move(this->end() - count, this->end(), this->end());
- m_size += count;
- sv::move_backward(position, position + to_move - count, this->end() - count);
- std::fill_n(position, count, value);
- }
- else
- {
- std::uninitialized_fill(this->end(), position + count, value);
- m_size += count - to_move;
- sv::uninitialized_move(position, position + to_move, position + count);
- m_size += to_move;
- std::fill_n(position, to_move, value);
- }
- }
- return position;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- template <typename Iterator>
- iterator insert(iterator position, Iterator first, Iterator last)
- {
- BOOST_CONCEPT_ASSERT((boost_concepts::ForwardTraversal<Iterator>));
- typedef typename boost::iterator_traversal<Iterator>::type traversal;
- this->insert_dispatch(position, first, last, traversal());
- return position;
- }
-
-
-
-
-
-
-
-
-
-
-
- iterator erase(iterator position)
- {
- namespace sv = varray_detail;
- errh::check_iterator_end_neq(*this, position);
-
-
- sv::move(position + 1, this->end(), position);
- sv::destroy(this->end() - 1);
- --m_size;
- return position;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- iterator erase(iterator first, iterator last)
- {
- namespace sv = varray_detail;
- errh::check_iterator_end_eq(*this, first);
- errh::check_iterator_end_eq(*this, last);
- difference_type n = std::distance(first, last);
-
-
-
-
- sv::move(last, this->end(), first);
- sv::destroy(this->end() - n, this->end());
- m_size -= n;
- return first;
- }
-
-
-
-
-
-
-
-
-
-
-
-
- template <typename Iterator>
- void assign(Iterator first, Iterator last)
- {
- BOOST_CONCEPT_ASSERT((boost_concepts::ForwardTraversal<Iterator>));
- typedef typename boost::iterator_traversal<Iterator>::type traversal;
- this->assign_dispatch(first, last, traversal());
- }
-
-
-
-
-
-
-
-
-
-
-
-
- void assign(size_type count, value_type const& value)
- {
- if ( count < m_size )
- {
- namespace sv = varray_detail;
- std::fill_n(this->begin(), count, value);
- sv::destroy(this->begin() + count, this->end());
- }
- else
- {
- errh::check_capacity(*this, count);
- std::fill_n(this->begin(), m_size, value);
- std::uninitialized_fill(this->end(), this->begin() + count, value);
- }
- m_size = count;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- template<class ...Args>
- void emplace_back(Args&& ...args)
- {
- typedef typename vt::disable_trivial_init dti;
- errh::check_capacity(*this, m_size + 1);
- namespace sv = varray_detail;
- sv::construct(dti(), this->end(), std::forward<Args>(args)...);
- ++m_size;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- template<class ...Args>
- iterator emplace(iterator position, Args&& ...args)
- {
- typedef typename vt::disable_trivial_init dti;
- namespace sv = varray_detail;
- errh::check_iterator_end_eq(*this, position);
- errh::check_capacity(*this, m_size + 1);
- if ( position == this->end() )
- {
- sv::construct(dti(), position, std::forward<Args>(args)...);
- ++m_size;
- }
- else
- {
-
-
- value_type& r = *(this->end() - 1);
- sv::construct(dti(), this->end(), std::move(r));
- ++m_size;
- sv::move_backward(position, this->end() - 2, this->end() - 1);
- aligned_storage<sizeof(value_type), alignment_of<value_type>::value> temp_storage;
- value_type* val_p = static_cast<value_type*>(temp_storage.address());
- sv::construct(dti(), val_p, std::forward<Args>(args)...);
- sv::scoped_destructor<value_type> d(val_p);
- sv::assign(position, std::move(*val_p));
- }
- return position;
- }
-
-
-
-
-
-
-
- void clear()
- {
- namespace sv = varray_detail;
- sv::destroy(this->begin(), this->end());
- m_size = 0;
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- reference at(size_type i)
- {
- errh::throw_out_of_bounds(*this, i);
- return *(this->begin() + i);
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- const_reference at(size_type i) const
- {
- errh::throw_out_of_bounds(*this, i);
- return *(this->begin() + i);
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- reference operator[](size_type i)
- {
-
- errh::check_index(*this, i);
- return *(this->begin() + i);
- }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- const_reference operator[](size_type i) const
- {
- errh::check_index(*this, i);
- return *(this->begin() + i);
- }
-
-
-
-
-
-
-
-
-
-
-
-
- reference front()
- {
- errh::check_not_empty(*this);
- return *(this->begin());
- }
-
-
-
-
-
-
-
-
-
-
-
-
- const_reference front() const
- {
- errh::check_not_empty(*this);
- return *(this->begin());
- }
-
-
-
-
-
-
-
-
-
-
-
-
- reference back()
- {
- errh::check_not_empty(*this);
- return *(this->end() - 1);
- }
-
-
-
-
-
-
-
-
-
-
-
-
- const_reference back() const
- {
- errh::check_not_empty(*this);
- return *(this->end() - 1);
- }
-
-
-
-
-
-
-
-
- Value * data()
- {
- return boost::addressof(*(this->ptr()));
- }
-
-
-
-
-
-
-
-
- const Value * data() const
- {
- return boost::addressof(*(this->ptr()));
- }
-
-
-
-
-
-
-
-
-
- iterator begin() { return this->ptr(); }
-
-
-
-
-
-
-
-
-
- const_iterator begin() const { return this->ptr(); }
-
-
-
-
-
-
-
-
-
- const_iterator cbegin() const { return this->ptr(); }
-
-
-
-
-
-
-
-
-
- iterator end() { return this->begin() + m_size; }
-
-
-
-
-
-
-
-
-
- const_iterator end() const { return this->begin() + m_size; }
-
-
-
-
-
-
-
-
-
- const_iterator cend() const { return this->cbegin() + m_size; }
-
-
-
-
-
-
-
-
-
-
- reverse_iterator rbegin() { return reverse_iterator(this->end()); }
-
-
-
-
-
-
-
-
-
-
- const_reverse_iterator rbegin() const { return const_reverse_iterator(this->end()); }
-
-
-
-
-
-
-
-
-
-
- const_reverse_iterator crbegin() const { return const_reverse_iterator(this->end()); }
-
-
-
-
-
-
-
-
-
-
- reverse_iterator rend() { return reverse_iterator(this->begin()); }
-
-
-
-
-
-
-
-
-
-
- const_reverse_iterator rend() const { return const_reverse_iterator(this->begin()); }
-
-
-
-
-
-
-
-
-
-
- const_reverse_iterator crend() const { return const_reverse_iterator(this->begin()); }
-
-
-
-
-
-
-
-
-
- static size_type capacity() { return Capacity; }
-
-
-
-
-
-
-
-
-
- static size_type max_size() { return Capacity; }
-
-
-
-
-
-
-
-
-
- size_type size() const { return m_size; }
-
-
-
-
-
-
-
-
-
-
- bool empty() const { return 0 == m_size; }
- private:
-
-
-
-
- template <std::size_t C>
- void move_ctor_dispatch(varray<value_type, C>& other, std::true_type )
- {
- ::memcpy(this->data(), other.data(), sizeof(Value) * other.m_size);
- m_size = other.m_size;
- }
-
-
-
-
-
- template <std::size_t C>
- void move_ctor_dispatch(varray<value_type, C>& other, std::false_type )
- {
- namespace sv = varray_detail;
- sv::uninitialized_move_if_noexcept(other.begin(), other.end(), this->begin());
- m_size = other.m_size;
- }
-
-
-
-
- template <std::size_t C>
- void move_assign_dispatch(varray<value_type, C>& other, std::true_type )
- {
- this->clear();
- ::memcpy(this->data(), other.data(), sizeof(Value) * other.m_size);
- std::swap(m_size, other.m_size);
- }
-
-
-
-
-
- template <std::size_t C>
- void move_assign_dispatch(varray<value_type, C>& other, std::false_type )
- {
- namespace sv = varray_detail;
- if ( m_size <= static_cast<size_type>(other.size()) )
- {
- sv::move_if_noexcept(other.begin(), other.begin() + m_size, this->begin());
-
- sv::uninitialized_move_if_noexcept(other.begin() + m_size, other.end(), this->end());
- }
- else
- {
- sv::move_if_noexcept(other.begin(), other.end(), this->begin());
- sv::destroy(this->begin() + other.size(), this->end());
- }
- m_size = other.size();
- }
-
-
-
-
- template <std::size_t C>
- void swap_dispatch(varray<value_type, C>& other, std::true_type )
- {
- typedef std::conditional_t
- <
- (Capacity < C),
- aligned_storage_type,
- typename varray<value_type, C>::aligned_storage_type
- > storage_type;
- storage_type temp;
- Value* temp_ptr = reinterpret_cast<Value*>(temp.address());
- ::memcpy(temp_ptr, this->data(), sizeof(Value) * this->size());
- ::memcpy(this->data(), other.data(), sizeof(Value) * other.size());
- ::memcpy(other.data(), temp_ptr, sizeof(Value) * this->size());
- std::swap(m_size, other.m_size);
- }
-
-
-
-
-
- template <std::size_t C>
- void swap_dispatch(varray<value_type, C>& other, std::false_type )
- {
- namespace sv = varray_detail;
- typedef typename
- vt::use_memop_in_swap_and_move use_memop_in_swap_and_move;
- if ( this->size() < other.size() )
- swap_dispatch_impl(this->begin(), this->end(), other.begin(), other.end(), use_memop_in_swap_and_move());
- else
- swap_dispatch_impl(other.begin(), other.end(), this->begin(), this->end(), use_memop_in_swap_and_move());
- std::swap(m_size, other.m_size);
- }
-
-
-
-
- void swap_dispatch_impl(iterator first_sm, iterator last_sm, iterator first_la, iterator last_la, std::true_type )
- {
-
-
- namespace sv = varray_detail;
- for (; first_sm != last_sm ; ++first_sm, ++first_la)
- {
- boost::aligned_storage<
- sizeof(value_type),
- boost::alignment_of<value_type>::value
- > temp_storage;
- value_type* temp_ptr = reinterpret_cast<value_type*>(temp_storage.address());
- ::memcpy(temp_ptr, boost::addressof(*first_sm), sizeof(value_type));
- ::memcpy(boost::addressof(*first_sm), boost::addressof(*first_la), sizeof(value_type));
- ::memcpy(boost::addressof(*first_la), temp_ptr, sizeof(value_type));
- }
- ::memcpy(first_sm, first_la, sizeof(value_type) * std::distance(first_la, last_la));
- }
-
-
-
-
- void swap_dispatch_impl(iterator first_sm, iterator last_sm, iterator first_la, iterator last_la, std::false_type )
- {
-
-
- namespace sv = varray_detail;
- for (; first_sm != last_sm ; ++first_sm, ++first_la)
- {
-
-
- value_type temp(std::move(*first_sm));
- *first_sm = std::move(*first_la);
- *first_la = std::move(temp);
- }
- sv::uninitialized_move(first_la, last_la, first_sm);
- sv::destroy(first_la, last_la);
- }
-
-
-
-
-
-
- template <typename Iterator>
- void insert_dispatch(iterator position, Iterator first, Iterator last, boost::random_access_traversal_tag const&)
- {
- BOOST_CONCEPT_ASSERT((boost_concepts::RandomAccessTraversal<Iterator>));
- errh::check_iterator_end_eq(*this, position);
- typename boost::iterator_difference<Iterator>::type
- count = std::distance(first, last);
- errh::check_capacity(*this, m_size + count);
- if ( position == this->end() )
- {
- namespace sv = varray_detail;
- sv::uninitialized_copy(first, last, position);
- m_size += count;
- }
- else
- {
- this->insert_in_the_middle(position, first, last, count);
- }
- }
-
-
-
-
-
- template <typename Iterator, typename Traversal>
- void insert_dispatch(iterator position, Iterator first, Iterator last, Traversal const& )
- {
- errh::check_iterator_end_eq(*this, position);
- if ( position == this->end() )
- {
- namespace sv = varray_detail;
- std::ptrdiff_t d = std::distance(position, this->begin() + Capacity);
- std::size_t count = sv::uninitialized_copy_s(first, last, position, d);
- errh::check_capacity(*this, count <= static_cast<std::size_t>(d) ? m_size + count : Capacity + 1);
- m_size += count;
- }
- else
- {
- typename boost::iterator_difference<Iterator>::type
- count = std::distance(first, last);
- errh::check_capacity(*this, m_size + count);
- this->insert_in_the_middle(position, first, last, count);
- }
- }
-
-
-
-
-
- template <typename Iterator>
- void insert_in_the_middle(iterator position, Iterator first, Iterator last, difference_type count)
- {
- namespace sv = varray_detail;
- difference_type to_move = std::distance(position, this->end());
-
- if ( count < to_move )
- {
- sv::uninitialized_move(this->end() - count, this->end(), this->end());
- m_size += count;
- sv::move_backward(position, position + to_move - count, this->end() - count);
- sv::copy(first, last, position);
- }
- else
- {
- Iterator middle_iter = first;
- std::advance(middle_iter, to_move);
- sv::uninitialized_copy(middle_iter, last, this->end());
- m_size += count - to_move;
- sv::uninitialized_move(position, position + to_move, position + count);
- m_size += to_move;
- sv::copy(first, middle_iter, position);
- }
- }
-
-
-
-
-
- template <typename Iterator>
- void assign_dispatch(Iterator first, Iterator last, boost::random_access_traversal_tag const& )
- {
- namespace sv = varray_detail;
- typename boost::iterator_difference<Iterator>::type
- s = std::distance(first, last);
- errh::check_capacity(*this, s);
- if ( m_size <= static_cast<size_type>(s) )
- {
- sv::copy(first, first + m_size, this->begin());
-
- sv::uninitialized_copy(first + m_size, last, this->end());
- }
- else
- {
- sv::copy(first, last, this->begin());
- sv::destroy(this->begin() + s, this->end());
- }
- m_size = s;
- }
-
-
-
-
- template <typename Iterator, typename Traversal>
- void assign_dispatch(Iterator first, Iterator last, Traversal const& )
- {
- namespace sv = varray_detail;
- size_type s = 0;
- iterator it = this->begin();
- for ( ; it != this->end() && first != last ; ++it, ++first, ++s )
- *it = *first;
- sv::destroy(it, this->end());
- std::ptrdiff_t d = std::distance(it, this->begin() + Capacity);
- std::size_t count = sv::uninitialized_copy_s(first, last, it, d);
- s += count;
- errh::check_capacity(*this, count <= static_cast<std::size_t>(d) ? s : Capacity + 1);
- m_size = s;
- }
- pointer ptr()
- {
- return pointer(static_cast<Value*>(m_storage.address()));
- }
- const_pointer ptr() const
- {
- return const_pointer(static_cast<const Value*>(m_storage.address()));
- }
- size_type m_size;
- aligned_storage_type m_storage;
- };
- #if !defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- template<typename Value>
- class varray<Value, 0>
- {
- typedef varray_detail::varray_traits<Value, 0> vt;
- typedef varray_detail::checker<varray> errh;
- public:
- typedef typename vt::value_type value_type;
- typedef typename vt::size_type size_type;
- typedef typename vt::difference_type difference_type;
- typedef typename vt::pointer pointer;
- typedef typename vt::const_pointer const_pointer;
- typedef typename vt::reference reference;
- typedef typename vt::const_reference const_reference;
- typedef pointer iterator;
- typedef const_pointer const_iterator;
- typedef boost::reverse_iterator<iterator> reverse_iterator;
- typedef boost::reverse_iterator<const_iterator> const_reverse_iterator;
-
- varray() {}
-
- explicit varray(size_type count)
- {
- errh::check_capacity(*this, count);
- }
-
- varray(size_type count, value_type const&)
- {
- errh::check_capacity(*this, count);
- }
-
- varray(varray const& )
- {
-
- }
-
- template <std::size_t C>
- varray(varray<value_type, C> const& other)
- {
- errh::check_capacity(*this, other.size());
- }
-
- template <typename Iterator>
- varray(Iterator first, Iterator last)
- {
- errh::check_capacity(*this, std::distance(first, last));
- }
-
- varray& operator=(varray const& )
- {
-
- return *this;
- }
-
- template <size_t C>
- varray& operator=(varray<value_type, C> const& other)
- {
- errh::check_capacity(*this, other.size());
- return *this;
- }
-
- ~varray() {}
-
- void resize(size_type count)
- {
- errh::check_capacity(*this, count);
- }
-
- void resize(size_type count, value_type const&)
- {
- errh::check_capacity(*this, count);
- }
-
- void reserve(size_type count)
- {
- errh::check_capacity(*this, count);
- }
-
- void push_back(value_type const&)
- {
- errh::check_capacity(*this, 1);
- }
-
- void pop_back()
- {
- errh::check_not_empty(*this);
- }
-
- void insert(iterator position, value_type const&)
- {
- errh::check_iterator_end_eq(*this, position);
- errh::check_capacity(*this, 1);
- }
-
- void insert(iterator position, size_type count, value_type const&)
- {
- errh::check_iterator_end_eq(*this, position);
- errh::check_capacity(*this, count);
- }
-
- template <typename Iterator>
- void insert(iterator, Iterator first, Iterator last)
- {
-
- errh::check_capacity(*this, std::distance(first, last));
- }
-
- void erase(iterator position)
- {
- errh::check_iterator_end_neq(*this, position);
- }
-
- void erase(iterator first, iterator last)
- {
- errh::check_iterator_end_eq(*this, first);
- errh::check_iterator_end_eq(*this, last);
-
- }
-
- template <typename Iterator>
- void assign(Iterator first, Iterator last)
- {
-
- errh::check_capacity(*this, std::distance(first, last));
- }
-
- void assign(size_type count, value_type const&)
- {
- errh::check_capacity(*this, count);
- }
-
- void clear() {}
-
- reference at(size_type i)
- {
- errh::throw_out_of_bounds(*this, i);
- return *(this->begin() + i);
- }
-
- const_reference at(size_type i) const
- {
- errh::throw_out_of_bounds(*this, i);
- return *(this->begin() + i);
- }
-
- reference operator[](size_type i)
- {
- errh::check_index(*this, i);
- return *(this->begin() + i);
- }
-
- const_reference operator[](size_type i) const
- {
- errh::check_index(*this, i);
- return *(this->begin() + i);
- }
-
- reference front()
- {
- errh::check_not_empty(*this);
- return *(this->begin());
- }
-
- const_reference front() const
- {
- errh::check_not_empty(*this);
- return *(this->begin());
- }
-
- reference back()
- {
- errh::check_not_empty(*this);
- return *(this->end() - 1);
- }
-
- const_reference back() const
- {
- errh::check_not_empty(*this);
- return *(this->end() - 1);
- }
-
- Value* data() { return boost::addressof(*(this->ptr())); }
- const Value* data() const { return boost::addressof(*(this->ptr())); }
-
- iterator begin() { return this->ptr(); }
- const_iterator begin() const { return this->ptr(); }
- const_iterator cbegin() const { return this->ptr(); }
- iterator end() { return this->begin(); }
- const_iterator end() const { return this->begin(); }
- const_iterator cend() const { return this->cbegin(); }
-
- reverse_iterator rbegin() { return reverse_iterator(this->end()); }
- const_reverse_iterator rbegin() const { return reverse_iterator(this->end()); }
- const_reverse_iterator crbegin() const { return reverse_iterator(this->end()); }
- reverse_iterator rend() { return reverse_iterator(this->begin()); }
- const_reverse_iterator rend() const { return reverse_iterator(this->begin()); }
- const_reverse_iterator crend() const { return reverse_iterator(this->begin()); }
-
- size_type capacity() const { return 0; }
- size_type max_size() const { return 0; }
- size_type size() const { return 0; }
- bool empty() const { return true; }
- private:
- pointer ptr()
- {
- return pointer(reinterpret_cast<Value*>(this));
- }
- const_pointer ptr() const
- {
- return const_pointer(reinterpret_cast<const Value*>(this));
- }
- };
- #endif
- template<typename V, std::size_t C1, std::size_t C2>
- bool operator== (varray<V, C1> const& x, varray<V, C2> const& y)
- {
- return x.size() == y.size() && std::equal(x.begin(), x.end(), y.begin());
- }
- template<typename V, std::size_t C1, std::size_t C2>
- bool operator!= (varray<V, C1> const& x, varray<V, C2> const& y)
- {
- return !(x==y);
- }
- template<typename V, std::size_t C1, std::size_t C2>
- bool operator< (varray<V, C1> const& x, varray<V, C2> const& y)
- {
- return std::lexicographical_compare(x.begin(), x.end(), y.begin(), y.end());
- }
- template<typename V, std::size_t C1, std::size_t C2>
- bool operator> (varray<V, C1> const& x, varray<V, C2> const& y)
- {
- return y<x;
- }
- template<typename V, std::size_t C1, std::size_t C2>
- bool operator<= (varray<V, C1> const& x, varray<V, C2> const& y)
- {
- return !(y<x);
- }
- template<typename V, std::size_t C1, std::size_t C2>
- bool operator>= (varray<V, C1> const& x, varray<V, C2> const& y)
- {
- return !(x<y);
- }
- template<typename V, std::size_t C1, std::size_t C2>
- inline void swap(varray<V, C1>& x, varray<V, C2>& y)
- {
- x.swap(y);
- }
- }}}}
- #include <boost/container/detail/config_end.hpp>
- #endif
|