c++ - 如何在动态数组中的某些对象上调用析构函数

Question

我终于开始尝试使用 placement new 来创建高效的动态数组。目的是了解它是如何工作的，而不是取代类 vector 。构造函数工作。 block 已分配但未初始化。添加每个元素时，都会对其进行初始化。但我看不到如何使用 placement delete 仅在那些存在的元素上调用析构函数。任何人都可以解释一下吗？这段代码适用于随着数组的增长一个一个地分配元素，但是删除是不正确的。

template<typename T>
class DynArray {
private:
  uint32_t capacity;
  uint32_t size;
  T* data;
  void* operator new(size_t sz, T* place) {
    return place;
  }
  void operator delete(void* p, DynArray* place) {
  }

public:
  DynArray(uint32_t capacity) :
     capacity(capacity), size(0), data((T*)new char[capacity*sizeof(T)]) {}
  void add(const T& v) {
        new(data+size++) T(v);
  }
  ~DynArray() {
     for (int i = 0; i < size; i++)
       delete (this) &data[i];
     delete [] (char*)data;
  }
};

Answer 1

放置 delete 没有多大意义，因为析构函数已经做了放置 delete 应该做的事情。

普通的delete 调用析构函数，然后释放为new 对象分配的内存。然而，与普通的 new 不同，放置 new 不分配内存，它只是初始化它。因此，放置 delete 只需调用要“删除”的对象的析构函数。

你只需要直接调用数组的每个对象的析构函数:

~DynArray() {
   for (int i = 0; i < size; i++)
      data[i].~T();
}

---

从 C++17 开始，您还可以使用函数模板 std::destroy而不是直接调用析构函数:

~DynArray() {
   auto first = std::addressof(data[0]);
   auto last  = std::next(first, size);
   std::destroy(first, last);
}