C ++：释放动态数组（结构成员）和指向该结构的指针的方法

Question

全部。 假设我们有一个指向结构的指针，该结构的成员是一个动态数组（以及其他成员）。

我可以释放所有对象，但希望您对针对这种特定情况的最佳做法提出意见。请参阅下面的代码，它可以编译并运行而不会出现分段错误：

#include <iostream>

struct TestStruct
    {
    int a;  // And other members here
    int *b = new int[10];

    ~TestStruct()
        {
        }
    };

int main(void)
    {
    struct TestStruct *a_struct = new TestStruct();

    // Do something with the struct

    delete[] a_struct->b;
    delete a_struct;

    return 0;
    }

这样我假设内存被正确返回。但是，如果我将这些删除中的任何一个移动到析构函数中，就会出现段错误。也就是说，如果我将数组删除移动到析构函数（delete[] a_struct->b;），它不再可访问，因为我之前删除了指向该结构的指针（delete a_struct;），反之亦然，就会发生内存泄漏。

在阅读了这个帖子C++ free all memory used by struct之后，有点不确定，因为大多数建议都被认为是理所当然的工作，但其中许多存在segfault。

我已经简化了问题，因为我将使用的数组是 3D。如果无法在析构函数中释放 100% 的内存，那么我准备使用一种方法来运行循环以释放数组内存和指向结构的指针。所以我想知道你对这种特殊情况的看法。

Answer 1

由于您使用的是 C++ 和动态数组，std::vector、std::array 或例如 std::unique_ptr 都是比直接使用 new 更好的处理方法。

Answer 2

正确的 RAII 方法是：

struct TestStruct
{
    int a;  // And other members here
    int *b = new int[10];

    ~TestStruct()
    {
            delete[] b;
    }
};

int main(void)
{
    struct TestStruct *a_struct = new TestStruct();

    delete a_struct;

    return 0;
}

正确的设计不允许通过同一个指针字段进行多次删除。如果存在这种风险，您可以将nullptr 分配给指针。删除空指针是noop。

RAII（资源获取即初始化）本质上归结为：谁分配了内存，谁就释放了。

Answer 3

在析构函数中，只删除动态分配的成员，而不是对象本身（这是在销毁过程中完成的）。

所以下面的代码应该没问题：

struct TestStruct
{
  int a;  // And other members here
  int *b = new int[10];

  ~TestStruct() {
     delete[] b;
  }
};

int main(void)
{
  struct TestStruct *a_struct = new TestStruct();

  // Do something with the struct

  delete a_struct;

  return 0;

}