如何对动态数组中的某些对象调用析构函数

how to call destructor on some of the objects in a Dynamic Array

本文关键字：对象 调用 析构函数 动态 数组      更新时间：2023-10-16

我终于开始尝试放置新来创建高效的动态数组。 目的是了解它是如何工作的，而不是替换类向量。 构造函数工作。已分配块但未初始化。添加每个元素时，都会对其进行初始化。但是我不明白如何使用放置删除来仅对存在的元素调用析构函数。谁能解释一下？此代码用于随着数组的增长逐个分配元素，但删除不正确。

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;
  }
};
放置

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);
}

您实际上找到了想要手动调用析构函数的唯一情况(至少我知道

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

结合一个简单的类和main，你应该得到预期的结果：

struct S {
    ~S() { std::cout << __PRETTY_FUNCTION__ << 'n'; }
};
int main() {
    DynArray<S> da{10};
    da.add(S{});
    return 0;
}

请注意，您会看到析构函数被调用两次，因为DynArray通过引用const获取对象，因此它具有临时函数。

$./a.out 
S::~S()
S::~S()
相关文章：