放置 new 和析构函数

Question

我有一个简单的结构，它具有固定大小并包含内置类型。我通过分配内存块来创建内存池，并将此内存拆分为结构大小的块。然后它使用placement new 在特定内存块上调用构造函数，以使用默认值初始化一些成员。然后我想通过调用 delete[] 操作符来释放整个内存块。我可以安全地跳过使用placement new 初始化的每个对象的显式析构函数调用吗？我没有在构造函数内或该类的其他成员字段的构造函数内找到任何资源。我只想释放整个内存块。

Answer 1

如果对析构函数的调用很简单，你可以跳过它：

A trivial destructor is a destructor that performs no action. Objects with trivial destructors don't require a delete-expression and may be disposed of by simply deallocating their storage.

您可以使用std::is_trivially_destructible<Type>::value 表达式判断该类型是否可以简单地破坏。如果您在优化的情况下进行编译，大多数优化器都会为您解决这个问题，因此编写一个为块中的所有对象调用微不足道的析构函数的循环不会对性能造成影响。