Destroy vs Deallocate

Question

在Accelerated C++的第11章中,作者提出了一个使用数组模拟std :: vector行为的Vector类.他们使用allocator类来处理内存管理.该uncreate函数的作用是销毁数组的每个元素并释放为数组分配的空间:

template <class T> void Vec<T>::uncreate() {
  if (data) {

  // destroy (in reverse order) the elements that were constructed 
  iterator it = avail;
  while (it != data)
    alloc.destroy(--it);

  // return all the space that was allocated
  alloc.deallocate(data, limit - data); 
  }

  // reset pointers to indicate that the Vec is empty again 
  data = limit = avail = 0;
}

显然我们需要释放分配的空间.但我不清楚为什么我们也需要摧毁个别元素.如果我们只在不破坏单个元素的情况下释放内存,会发生什么？

Answer 1

原因是它可能会让你陷入困境.C++标准第3.8章(对象生命周期)中的第4段解释了为什么(强调我的):

程序可以通过重用对象占用的存储来结束任何对象的生命周期,或者通过使用非平凡的析构函数显式调用类类型的对象的析构函数来结束任何对象的生命周期.对于具有非平凡析构函数的类类型的对象,程序不需要在重用或释放对象占用的存储之前显式调用析构函数; 但是,如果没有显式调用析构函数或者如果没有使用delete-expression(5.3.5)来释放存储,则不应该隐式调用析构函数,并且任何程序都依赖于析构函数产生的副作用有未完成的行为.

这意味着可以在具有普通析构函数(*)的对象或完全没有一个对象(例如ints等)的对象占用的内存上执行此操作.但是当内存包含需要在析构函数中执行某些操作的类的对象(如关闭网络连接或文件,刷新缓冲区,释放内存)时,您将泄漏资源(并且通过标准形式,调用未定义的行为).

(*)如果生成的编译器不是虚拟的,则析构函数是微不足道的,并且它所属的类的所有非静态成员和直接基类都具有琐碎的析构函数.

Answer 2

销毁单个元素可确保调用它们的析构函数，因此它们有机会释放它们拥有的任何资源。简单地释放内存不会调用放置在该内存中的对象的析构函数。