boostorg/container
1
0
Fork 1
mirror of https://github.com/boostorg/container.git synced 2025-08-03 14:34:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fixed wrong BOOST_CONTAINER_VECTOR_ALLOC_STATS comments in vector_alloc_base, they should go to the derived vector class.

Browse Source 
Fixed error in void assign(FwdIt first, FwdIt last) when fwd expansion occurs, capacity was not being updated.
Optimized erasure when the type has_trivial_destructor_after_move.
Simplified a bit backwards expansion code.
Optimized priv_uninitialized_construct_at_end calling memmove-aware functions instead of using a hand-written loop
This commit is contained in:
Ion Gaztañaga
2014-09-21 23:57:23 +02:00
parent 33c920d435
commit 3bbb0bbe0e
1 changed files with 99 additions and 74 deletions
Download Patch File Download Diff File Expand all files Collapse all files

173
include/boost/container/vector.hpp
View File

@@ -294,9 +294,6 @@ struct vector_alloc_holder
{ {
if(initial_size){ if(initial_size){
m_start = this->allocation_command(allocate_new, initial_size, initial_size, m_capacity, m_start).first; m_start = this->allocation_command(allocate_new, initial_size, initial_size, m_capacity, m_start).first;
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
++this->num_alloc;
#endif
} }
} }
@@ -310,9 +307,6 @@ struct vector_alloc_holder
if(initial_size){ if(initial_size){
m_start = this->allocation_command m_start = this->allocation_command
(allocate_new, initial_size, initial_size, m_capacity, m_start).first; (allocate_new, initial_size, initial_size, m_capacity, m_start).first;
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
++this->num_alloc;
#endif
} }
} }
@@ -630,6 +624,9 @@ class vector
explicit vector(size_type n) explicit vector(size_type n)
: m_holder(container_detail::uninitialized_size, n) : m_holder(container_detail::uninitialized_size, n)
{ {
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
this->num_alloc += n != 0;
#endif
boost::container::uninitialized_value_init_alloc_n boost::container::uninitialized_value_init_alloc_n
(this->m_holder.alloc(), n, container_detail::to_raw_pointer(this->m_holder.start())); (this->m_holder.alloc(), n, container_detail::to_raw_pointer(this->m_holder.start()));
} }
@@ -646,6 +643,9 @@ class vector
vector(size_type n, default_init_t) vector(size_type n, default_init_t)
: m_holder(container_detail::uninitialized_size, n) : m_holder(container_detail::uninitialized_size, n)
{ {
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
this->num_alloc += n != 0;
#endif
boost::container::uninitialized_default_init_alloc_n boost::container::uninitialized_default_init_alloc_n
(this->m_holder.alloc(), n, container_detail::to_raw_pointer(this->m_holder.start())); (this->m_holder.alloc(), n, container_detail::to_raw_pointer(this->m_holder.start()));
} }
@@ -660,6 +660,9 @@ class vector
vector(size_type n, const T& value) vector(size_type n, const T& value)
: m_holder(container_detail::uninitialized_size, n) : m_holder(container_detail::uninitialized_size, n)
{ {
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
this->num_alloc += n != 0;
#endif
boost::container::uninitialized_fill_alloc_n boost::container::uninitialized_fill_alloc_n
(this->m_holder.alloc(), value, n, container_detail::to_raw_pointer(this->m_holder.start())); (this->m_holder.alloc(), value, n, container_detail::to_raw_pointer(this->m_holder.start()));
} }
@@ -674,6 +677,9 @@ class vector
vector(size_type n, const T& value, const allocator_type& a) vector(size_type n, const T& value, const allocator_type& a)
: m_holder(container_detail::uninitialized_size, a, n) : m_holder(container_detail::uninitialized_size, a, n)
{ {
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
this->num_alloc += n != 0;
#endif
boost::container::uninitialized_fill_alloc_n boost::container::uninitialized_fill_alloc_n
(this->m_holder.alloc(), value, n, container_detail::to_raw_pointer(this->m_holder.start())); (this->m_holder.alloc(), value, n, container_detail::to_raw_pointer(this->m_holder.start()));
} }
@@ -715,6 +721,9 @@ class vector
, allocator_traits_type::select_on_container_copy_construction(x.m_holder.alloc()) , allocator_traits_type::select_on_container_copy_construction(x.m_holder.alloc())
, x.size()) , x.size())
{ {
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
this->num_alloc += x.size() != 0;
#endif
::boost::container::uninitialized_copy_alloc_n ::boost::container::uninitialized_copy_alloc_n
( this->m_holder.alloc(), container_detail::to_raw_pointer(x.m_holder.start()) ( this->m_holder.alloc(), container_detail::to_raw_pointer(x.m_holder.start())
, x.size(), container_detail::to_raw_pointer(this->m_holder.start())); , x.size(), container_detail::to_raw_pointer(this->m_holder.start()));
@@ -775,6 +784,9 @@ class vector
vector(const vector &x, const allocator_type &a) vector(const vector &x, const allocator_type &a)
: m_holder(container_detail::uninitialized_size, a, x.size()) : m_holder(container_detail::uninitialized_size, a, x.size())
{ {
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
this->num_alloc += x.size() != 0;
#endif
::boost::container::uninitialized_copy_alloc_n_source ::boost::container::uninitialized_copy_alloc_n_source
( this->m_holder.alloc(), container_detail::to_raw_pointer(x.m_holder.start()) ( this->m_holder.alloc(), container_detail::to_raw_pointer(x.m_holder.start())
, x.size(), container_detail::to_raw_pointer(this->m_holder.start())); , x.size(), container_detail::to_raw_pointer(this->m_holder.start()));
@@ -790,6 +802,9 @@ class vector
vector(BOOST_RV_REF(vector) x, const allocator_type &a) vector(BOOST_RV_REF(vector) x, const allocator_type &a)
: m_holder(container_detail::uninitialized_size, a, x.size()) : m_holder(container_detail::uninitialized_size, a, x.size())
{ {
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
this->num_alloc += x.size() != 0;
#endif
if(x.m_holder.alloc() == a){ if(x.m_holder.alloc() == a){
this->m_holder.move_from_empty(x.m_holder); this->m_holder.move_from_empty(x.m_holder);
} }
@@ -930,7 +945,7 @@ class vector
if (first == last){ if (first == last){
//There are no more elements in the sequence, erase remaining //There are no more elements in the sequence, erase remaining
T* const end_pos = container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size; T* const end_pos = container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size;
size_type n = static_cast<size_type>(end_pos - container_detail::to_raw_pointer(vector_iterator_get_ptr(cur))); const size_type n = static_cast<size_type>(end_pos - container_detail::iterator_to_raw_pointer(cur));
this->priv_destroy_last_n(n); this->priv_destroy_last_n(n);
} }
else{ else{
@@ -993,6 +1008,7 @@ class vector
#ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS #ifdef BOOST_CONTAINER_VECTOR_ALLOC_STATS
++this->num_expand_fwd; ++this->num_expand_fwd;
#endif #endif
this->m_holder.capacity(real_cap);
//Forward expansion, use assignment + back deletion/construction that comes later //Forward expansion, use assignment + back deletion/construction that comes later
} }
} }
@@ -1602,8 +1618,7 @@ class vector
void pop_back() BOOST_CONTAINER_NOEXCEPT void pop_back() BOOST_CONTAINER_NOEXCEPT
{ {
//Destroy last element //Destroy last element
--this->m_holder.m_size; this->priv_destroy_last();
this->priv_destroy(container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size);
} }
//! <b>Effects</b>: Erases the element at position pos. //! <b>Effects</b>: Erases the element at position pos.
@@ -1614,12 +1629,13 @@ class vector
//! last element. Constant if pos is the last element. //! last element. Constant if pos is the last element.
iterator erase(const_iterator position) iterator erase(const_iterator position)
{ {
T *const pos = container_detail::to_raw_pointer(vector_iterator_get_ptr(position)); const pointer p = vector_iterator_get_ptr(position);
T *const beg = container_detail::to_raw_pointer(this->m_holder.start()); T *const pos_ptr = container_detail::to_raw_pointer(p);
T *const beg_ptr = container_detail::to_raw_pointer(this->m_holder.start());
T *const new_end_ptr = ::boost::move(pos_ptr + 1, beg_ptr + this->m_holder.m_size, pos_ptr);
//Move elements forward and destroy last //Move elements forward and destroy last
this->priv_destroy(::boost::move(pos + 1, beg + this->m_holder.m_size, pos)); this->priv_destroy_last(pos_ptr == new_end_ptr);
--this->m_holder.m_size; return iterator(p);
return iterator(vector_iterator_get_ptr(position));
} }
//! <b>Effects</b>: Erases the elements pointed by [first, last). //! <b>Effects</b>: Erases the elements pointed by [first, last).
@@ -1631,15 +1647,11 @@ class vector
iterator erase(const_iterator first, const_iterator last) iterator erase(const_iterator first, const_iterator last)
{ {
if (first != last){ if (first != last){
T* const end_pos = container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size; T* const old_end_ptr = container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size;
T* const ptr = container_detail::to_raw_pointer(boost::move T* const first_ptr = container_detail::to_raw_pointer(vector_iterator_get_ptr(first));
(container_detail::to_raw_pointer(vector_iterator_get_ptr(last)) T* const last_ptr = container_detail::to_raw_pointer(vector_iterator_get_ptr(last));
,end_pos T* const ptr = container_detail::to_raw_pointer(boost::move(last_ptr, old_end_ptr, first_ptr));
,container_detail::to_raw_pointer(vector_iterator_get_ptr(first)) this->priv_destroy_last_n(old_end_ptr - ptr, last_ptr == old_end_ptr);
));
const size_type destroyed = (end_pos - ptr);
boost::container::destroy_alloc_n(this->get_stored_allocator(), ptr, destroyed);
this->m_holder.m_size -= destroyed;
} }
return iterator(vector_iterator_get_ptr(first)); return iterator(vector_iterator_get_ptr(first));
} }
@@ -2008,27 +2020,52 @@ class vector
} }
} }
void priv_destroy(value_type* p) BOOST_CONTAINER_NOEXCEPT void priv_destroy_last() BOOST_CONTAINER_NOEXCEPT
{ {
if(!value_traits::trivial_dctr) if(!value_traits::trivial_dctr){
value_type* const p = container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size - 1;
allocator_traits_type::destroy(this->get_stored_allocator(), p); allocator_traits_type::destroy(this->get_stored_allocator(), p);
}
--this->m_holder.m_size;
} }
void priv_destroy_last_n(size_type n) BOOST_CONTAINER_NOEXCEPT void priv_destroy_last(const bool moved) BOOST_CONTAINER_NOEXCEPT
{ {
T* const end_pos = container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size; (void)moved;
boost::container::destroy_alloc_n(this->get_stored_allocator(), end_pos-n, n); if(!(value_traits::trivial_dctr || (value_traits::trivial_dctr_after_move && moved))){
value_type* const p = container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size - 1;
allocator_traits_type::destroy(this->get_stored_allocator(), p);
}
--this->m_holder.m_size;
}
void priv_destroy_last_n(const size_type n) BOOST_CONTAINER_NOEXCEPT
{
BOOST_ASSERT(n <= this->m_holder.m_size);
if(!value_traits::trivial_dctr){
T* const destroy_pos = container_detail::to_raw_pointer(this->m_holder.start()) + (this->m_holder.m_size-n);
boost::container::destroy_alloc_n(this->get_stored_allocator(), destroy_pos, n);
}
this->m_holder.m_size -= n;
}
void priv_destroy_last_n(const size_type n, const bool moved) BOOST_CONTAINER_NOEXCEPT
{
BOOST_ASSERT(n <= this->m_holder.m_size);
(void)moved;
if(!(value_traits::trivial_dctr || (value_traits::trivial_dctr_after_move && moved))){
T* const destroy_pos = container_detail::to_raw_pointer(this->m_holder.start()) + (this->m_holder.m_size-n);
boost::container::destroy_alloc_n(this->get_stored_allocator(), destroy_pos, n);
}
this->m_holder.m_size -= n; this->m_holder.m_size -= n;
} }
template<class InpIt> template<class InpIt>
void priv_uninitialized_construct_at_end(InpIt first, InpIt last) void priv_uninitialized_construct_at_end(InpIt first, InpIt last)
{ {
T* end_pos = container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size; T* const old_end_pos = container_detail::to_raw_pointer(this->m_holder.start()) + this->m_holder.m_size;
for(; first != last; ++first, ++end_pos, ++this->m_holder.m_size){ T* const new_end_pos = boost::container::uninitialized_copy_alloc(this->m_holder.alloc(), first, last, old_end_pos);
//There is more memory, just construct a new object at the end this->m_holder.m_size += new_end_pos - old_end_pos;
allocator_traits_type::construct(this->m_holder.alloc(), end_pos, *first);
}
} }
void priv_destroy_all() BOOST_CONTAINER_NOEXCEPT void priv_destroy_all() BOOST_CONTAINER_NOEXCEPT
@@ -2260,6 +2297,7 @@ class vector
iterator priv_forward_range_insert iterator priv_forward_range_insert
(const pointer &pos, const size_type n, const InsertionProxy insert_range_proxy, allocator_v2) (const pointer &pos, const size_type n, const InsertionProxy insert_range_proxy, allocator_v2)
{ {
BOOST_ASSERT(this->m_holder.capacity() >= this->m_holder.m_size);
//Check if we have enough memory or try to expand current memory //Check if we have enough memory or try to expand current memory
const size_type remaining = this->m_holder.capacity() - this->m_holder.m_size; const size_type remaining = this->m_holder.capacity() - this->m_holder.m_size;
@@ -2699,30 +2737,33 @@ class vector
//Copy the first part of old_begin to raw_mem //Copy the first part of old_begin to raw_mem
::boost::container::uninitialized_move_alloc_n ::boost::container::uninitialized_move_alloc_n
(this->m_holder.alloc(), old_start, s_before, new_start); (this->m_holder.alloc(), old_start, s_before, new_start);
//The buffer is all constructed until old_end //The buffer is all constructed until old_end,
//so program trailing destruction and assign final size
//if !do_after, s_before+n otherwise.
size_type new_1st_range;
if(do_after){ if(do_after){
new_1st_range = s_before;
//release destroyer and update size //release destroyer and update size
old_values_destroyer.release(); old_values_destroyer.release();
this->m_holder.m_size = old_size + s_before;
//Now copy the second part of old_begin overwriting itself
T *const next = ::boost::move(old_start + s_before, pos, old_start);
//Now copy the new_beg elements
insert_range_proxy.copy_n_and_update(this->m_holder.alloc(), next, s_before);
} }
else{ else{
//The buffer is all constructed until old_end, new_1st_range = n;
//so program trailing destruction and assign final size
this->m_holder.m_size = old_size + n;
const size_type n_destroy = s_before - n;
old_values_destroyer.shrink_forward(old_size - n_destroy);
//Now copy the second part of old_begin overwriting itself
T *const next = ::boost::move(old_start + s_before, pos, old_start);
//Now copy the all the new elements
insert_range_proxy.copy_n_and_update(this->m_holder.alloc(), next, n);
//Now displace old_end elements
::boost::move(pos, old_finish, next + n);
if(value_traits::trivial_dctr_after_move) if(value_traits::trivial_dctr_after_move)
old_values_destroyer.release(); old_values_destroyer.release();
else{
old_values_destroyer.shrink_forward(old_size - (s_before - n));
}
}
this->m_holder.m_size = old_size + new_1st_range;
//Now copy the second part of old_begin overwriting itself
T *const next = ::boost::move(old_start + s_before, pos, old_start);
//Now copy the new_beg elements
insert_range_proxy.copy_n_and_update(this->m_holder.alloc(), next, new_1st_range);
//If there is no after work and the last old part needs to be moved to front, do it
if(!do_after && (n != s_before)){
//Now displace old_end elements
::boost::move(pos, old_finish, next + new_1st_range);
} }
} }
else { else {
@@ -2850,30 +2891,15 @@ class vector
::boost::container::uninitialized_move_alloc ::boost::container::uninitialized_move_alloc
(this->m_holder.alloc(), pos, old_finish, old_finish + mid_last_dist); (this->m_holder.alloc(), pos, old_finish, old_finish + mid_last_dist);
BOOST_TRY{ typename value_traits::ArrayDestructor old_end_destroyer
//Copy the first part to the already constructed old_end zone (old_finish + mid_last_dist, this->m_holder.alloc(), old_finish - pos);
insert_range_proxy.copy_n_and_update(this->m_holder.alloc(), pos, elemsafter);
//Copy the rest to the uninitialized zone filling the gap
insert_range_proxy.uninitialized_copy_n_and_update(this->m_holder.alloc(), old_finish, mid_last_dist);
this->m_holder.m_size += n_after;
}
BOOST_CATCH(...){
boost::container::destroy_alloc_n(this->get_stored_allocator(), pos, mid_last_dist);
BOOST_RETHROW
}
BOOST_CATCH_END
/*
size_type mid_last_dist = n_after - elemsafter;
//First initialize data in raw memory
//The new_end part is [first + (n - n_after), last) //Copy the first part to the already constructed old_end zone
insert_range_proxy.uninitialized_copy_last_and_update(old_finish, elemsafter); insert_range_proxy.copy_n_and_update(this->m_holder.alloc(), pos, elemsafter);
this->m_holder.m_size += mid_last_dist; //Copy the rest to the uninitialized zone filling the gap
::boost::container::uninitialized_move_alloc insert_range_proxy.uninitialized_copy_n_and_update(this->m_holder.alloc(), old_finish, mid_last_dist);
(this->m_holder.alloc(), pos, old_finish, old_finish + mid_last_dist); this->m_holder.m_size += n_after;
this->m_holder.m_size += n_after - mid_last_dist; old_end_destroyer.release();
//Now copy the part of new_end over constructed elements
insert_range_proxy.copy_remaining_to(pos);*/
} }
} }
} }
@@ -2913,7 +2939,6 @@ struct has_trivial_destructor_after_move<boost::container::vector<T, Allocator>
: public ::boost::has_trivial_destructor_after_move<Allocator> : public ::boost::has_trivial_destructor_after_move<Allocator>
{}; {};
} }
//#define BOOST_CONTAINER_PUT_SWAP_OVERLOAD_IN_NAMESPACE_STD //#define BOOST_CONTAINER_PUT_SWAP_OVERLOAD_IN_NAMESPACE_STD