Function erase

extern/boost/boost/container/vector.hpp:2089–2105

Effects : Erases the element at position pos. Throws : Nothing. Complexity : Linear to the elements between pos and the last element. Constant if pos is the last element.

   //! <b>Complexity</b>: Linear to the elements between pos and the
   //!   last element. Constant if pos is the last element.
   iterator erase(const_iterator position)
   {
      BOOST_ASSERT(this->priv_in_range(position));
      const pointer p = vector_iterator_get_ptr(position);
      T *const pos_ptr = boost::movelib::to_raw_pointer(p);
      T *const end_ptr = this->priv_raw_end();

      //Move elements forward and destroy last
      (void)::boost::container::move(pos_ptr + 1, end_ptr, pos_ptr);

      T *const last_ptr = end_ptr-1;
      if(!value_traits::trivial_dctr_after_move || pos_ptr == last_ptr){
         allocator_traits_type::destroy(this->get_stored_allocator(), last_ptr);
      }
      --this->m_holder.m_size;
      return iterator(p);
   }

   //! <b>Effects</b>: Erases the elements pointed by [first, last).
   //!