Каким образом vector (STL, C++11/14) удаляет элементы из внутреннего массива?

//концептуально
pop_back()
{
   (--finish)->~T();
}

void
      pop_back() _GLIBCXX_NOEXCEPT
      {
    --this->_M_impl._M_finish;
    this->_M_impl._M_finish->~_Tp();
        }

template <class T>
    class Vector {
        public:
        size_t size    () const;
        size_t capacity() const;
        bool   empty   () const;
 
        void push_back(T const& element);
        void pop_back();
 
        T& back();
        T& front();
 
        T&      operator[] (size_t index);
        Vector& operator=  (Vector<T> const& rhs);
        private:
        T* arrayBegin     = nullptr;
        T* arrayEnd       = nullptr;
        T* arrayMemoryEnd = nullptr;
 
        size_t maxNumberElements = 2;
    };

_GLIBCXX_ALLOC_TR_NESTED_TYPE(pointer, value_type*)
 
      /**
       * @brief   The allocator's pointer type.
       *
       * @c Alloc::pointer if that type exists, otherwise @c value_type*
      */
      typedef __pointer pointer;
//...
    typedef typename _Base_type::pointer            pointer;
//...
      typedef typename __gnu_cxx::__alloc_traits<_Alloc>::template
        rebind<_Tp>::other _Tp_alloc_type;
      typedef typename __gnu_cxx::__alloc_traits<_Tp_alloc_type>::pointer
        pointer;
      struct _Vector_impl 
      : public _Tp_alloc_type
      {
    pointer _M_start;
    pointer _M_finish;
    pointer _M_end_of_storage;
//...