有必要在重新构造字符串之前先销毁它吗

作为一个练习，我尝试在不使用模板的情况下编写一个类似std::vector的类。它持有的唯一类型是std::string。

以下是strvec.h文件：

class StrVec
{
public:
//! Big 3
StrVec():
element(nullptr), first_free(nullptr), cap(nullptr)
{}
StrVec(const StrVec& s);
StrVec&
operator =(const StrVec& rhs);
~StrVec();
//! public members
void push_back(const std::string &s);
std::size_t size() const        { return first_free - element; }
std::size_t capacity() const    { return cap - element; }
std::string* begin() const      { return element; }
std::string* end() const        { return first_free; }

void reserve(std::size_t n);
void resize(std::size_t n);
//^^^^^^^^^^^^^^^^^^^^^^^^^^^
private:
//! data members
std::string* element;       //  pointer to the first element
std::string* first_free;    //  pointer to the first free element
std::string* cap;           //  pointer to one past the end
std::allocator<std::string> alloc;
//! utilities 
void reallocate();
void chk_n_alloc()      { if (size() == capacity()) reallocate(); }
void free();
void wy_alloc_n_move(std::size_t n);
std::pair<std::string*, std::string*>
alloc_n_copy (std::string* b, std::string* e);
};

三个string*、element、first_free和cap可以被认为是：

[0][1][2][3][unconstructed elements]
^           ^                       ^
element     first_free              cap

在实现成员resize(size_t n)时，我遇到了一个问题。比方说，调用v.resize(3)。因此，指针first_free必须向前移动一个位置并指向[3]。类似于：

[0][1][2][3][unconstructed elements]
^        ^                          ^
element  first_free                 cap

我的问题是我应该如何处理[3]？把它留在那里不动？或者像一样销毁它

if(n < size())
{
for(auto p = element + n; p != first_free; /* empty */)
alloc.destroy(p++);
first_free = element + n;
}

这里需要alloc.destroy( somePointer)代码吗？