自定义矢量pop_back函数

Question

所以我正在尝试为我的Vector类实现pop_back()函数，但没有得到预期的结果：

这是我当前的功能：

template <typename T>
void Vector<T>::pop_back() {
    if(vsize > 0){
        array[vsize].~T();
        --vsize;
    }
}

为什么这不删除数组中的最后一个元素？

这是我的.h ：

template <typename T>
class Vector {

public:

    Vector();
    ~Vector();
    void push_back(const T &e);
    int size() const;
    void pop_back();
    void allocate_new();
    T operator[](int index);

private:

    Vector(const Vector<T> & v);
    Vector<T> & operator=(const Vector<T> &);
    int vsize;
    int capacity;
    T* array;

};

Answer 1

调用数组中对象的析构函数不会对数组产生任何影响，除非将数组的元素置于有趣的状态。 特别是，如果执行以下操作：

T* array = new T[2];
array[1].~T();
delete[] array; // ERROR: double destruction

如果不先恢复被破坏的数组元素，就无法真正摆脱数组。

“实际”实现处理情况的方式是分配原始内存，例如，使用void* memory = operator new[](size); （ size合适），或者，如果它是标准C ++库容器，则使用适当的分配器函数。 然后，容器将根据需要在内存中构造和破坏对象。 销毁的内存中的实际表示可能仍然不会真正改变，因为大多数析构函数只是摆脱了所持有的任何资源，而使对象中的位保持不变，因此看起来好像内存中存在一个生命对象，尽管事实并非如此。

Answer 2

数组的最后一个元素将在array[vsize - 1] 。

Answer 3

除非使用新放置的表达式创建对象，否则不应调用该对象的析构函数。 相反，您应该做的是减小大小并保持实际对象不变。 除非它具有动态存储持续时间，否则将调用delete / delete[] 。