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段解释了为什么（强调我的）：

程序可以通过重用对象占用的存储或显式地终止任何对象的生命周期使用非平凡的析构函数调用析构函数以获取类类型的对象。对于类类型的对象使用非平凡的析构函数，程序不需要在存储之前显式调用析构函数对象占用的对象被重用或释放;但是，如果没有显式调用析构函数或者如果a delete-expression（5.3.5）不用于释放存储，析构函数不应该被隐式调用任何依赖于析构函数产生的副作用的程序都有未定义的行为。

这意味着可以在具有简单析构函数（*）的对象占用的内存或者根本没有对象的对象（例如ints等等）。但是当内存包含需要在析构函数中执行某些操作的类的对象（如关闭网络连接或文件，刷新缓冲区，释放内存）时，您将泄漏资源（并且通过标准形成，调用未定义的行为））。

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

Answer 2

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

Destroy vs Deallocate

2 个答案: