c++ - 如何故意泄漏非指针堆分配的对象

Question

假设我有一个 Foo 类，我通过“new”关键字在堆上分配了它。 Say Foo 有非指针数据成员 Bar。 Bar 虽然不是指针，但它本身在堆上，因为它是 Foo 的一部分。当我删除我的 Foo 对象时，它会被正确地释放——即使我声明我自己的 Foo 析构函数不会(不会，也不应该)删除 Bar。

1. 有没有像 Bar 这样的数据成员的术语，它虽然在堆上，但不是通过“new”关键字创建的？对于未分配堆栈但自动处理析构函数调用的对象。

2. Foo 的默认析构函数是否仍然被创建，即使程序员已经声明并定义了一个随后执行的析构函数？

3. 如果不是，如何调用 Bar 的析构函数？

4. 如果我想在非指针数据成员(无论是堆栈还是堆分配，我该怎么做？ (注意:我实际上并没有尝试这样做)

Answer 1

首先，C++ 标准没有堆。它具有免费存储和自动存储。

让我们看一个与您的理论相匹配的具体示例:

struct Bar { int x[100]; }
struct Foo {
  Bar bq;
  int x;
  ~Foo() {};
};

Bar bq 是任何 Foo 实例的成员变量。当您在免费商店上创建一个 Foo 时，它的成员变量是 Foo 的一部分。如果 Foo 是标准布局(如上)，则基本上可以保证其成员变量分配在线性缓冲区中。在某些理论上的编译器中，非标准布局对象可以具有奇特的布局:但实际上它们没有。

对于上面的 Foo，没有创建默认析构函数。但是，对于 Foo 的每个析构函数，Foo 中的对象在 Foo 的析构函数运行后被销毁。请注意，销毁指针不会执行任何操作——我指的是 Foo 的实际对象部分。

这不是因为调用了“自动创建的默认析构函数”——默认析构函数是 ~Foo() {}，与您定义的相同。相反，代码会在析构函数完成后自动运行。

使 Bar 的析构函数不被调用的唯一方法是使数据成员不是 Bar。有几种方法可以做到这一点，包括创建一个 Bar 大小且对齐的数据缓冲区，然后放置 newBar。

然而，虽然析构函数不会被调用，但当 Foo Bar 存在时，Bar 所在的内存将被自由存储回收> 存在于被回收。

如果您希望 Bar 泄漏，您可以阻止 Foo 返回到免费商店。但是，没有办法从免费商店分配一个 Foo 并将 Foo 的部分返回到免费商店——你是只允许全部归还或不归还。您可以选择使用这些属性实现您自己的免费存储或您自己的手动堆，没有什么能阻止您。您甚至可以覆盖 new 和 delete，以便在有人执行 Foo* foo = new Foo() 时使用您的堆而不是免费存储>，以及当有人执行 delete foo 时。

但是，Foo 占用的内存量不在您的控制范围内，每个成员变量的相对位置也不在您的控制范围内。