默认析构函数有什么作用吗？

Question

我想知道默认类析构函数在被调用时是否真的做任何事情。

我一直在研究它，我发现如果我用一个调用它自己的析构函数的函数创建一个类，它根本不会做任何事情（即所有变量保持不变，实例仍然存在并且可用） .

这是否意味着类析构函数可以被认为是所有类都具有的继承虚函数，并且可以重新定义它（删除指针等并清除成员变量）但是如果不重新定义它'什么都不做？

如果是这样，析构函数不能本质上用作“清除所有数据”类型的函数，并通过清除动态内存分配的变量并重新使用它而不是让计算机在堆上找到一块新的内存？

谢谢。

Answer 1

• 默认构造函数调用所有成员变量的默认构造函数，不包括原始类型（char、int、指针）。
• 析构函数可以显式调用，但并不意味着对象的析构。如果对象在堆栈上，那么它不可能对它做任何事情。
• 默认情况下，析构函数不是虚拟的，但如果您打算从类继承，它们确实应该是虚拟的。
• 如果对象被释放（超出范围、从堆中删除或封闭对象以任何方式销毁），则将调用 desctuctor。

Answer 2

我一直在研究它，我发现如果我用一个调用它自己的析构函数的函数创建一个类，它根本不会做任何事情（即所有变量保持不变，实例仍然存在并且可用） .

考虑这段代码：

#include <iostream>

struct A
{
    ~A()
    {
        std::cout << "A::~A" << std::endl;
    }
};

struct B
{
    A a;
};

int main()
{
    B b;
    std::cout << "Calling b.~B()" << std::endl;
    b.~B();
    std::cout << "Done" << std::endl;
}

You'll see 调用B 的默认析构函数调用A 的析构函数，因为B 包含A：

Calling b.~B()
A::~A
Done
A::~A

只有当b 超出范围时，堆栈才会展开，合成的B::~B() 会被调用，而A::~A() 的内存才会被释放。

Answer 3

除了 Notinlist 的回答：

默认构造函数调用基类的构造函数。

如果是这样，析构函数本质上不能用作“清除所有数据”吗 一种功能，并通过以下方式使代码的某些部分更有效 清除动态内存分配的变量并重新使用它 而不是让计算机在 堆？

您在描述一个内存池。如果您愿意，您的对象可能会获取内存缓冲区并将其返回到您发明的某个池系统/从该池系统返回。但在大多数情况下，分配足够快且频率足够低，以至于人们（不再）这样做了。并不是说它们很少发生，但它们需要发生很多才能注意到性能损失。

Answer 4

手动调用析构函数通常是个坏主意。关于 destructors 的 C++ 常见问题解答部分有很多关于此的有用信息。

如果您确实想明确地销毁一个对象，您可以使用额外的作用域来安全地调用析构函数（请参阅此常见问题解答entry）。此方法还可以防止您使用已销毁的对象实例。尽管该实例似乎可用，但实际上并非如此。

如果您的意图是释放某个类的实例所拥有的部分资源，但不是全部，您可以尝试两种方法：

• 在类上定义一个clear()（或类似的）方法。
• 确保在调用clear() 后保持类的不变量。

假设您最初手动调用析构函数的方法有效，或者您选择执行类似于上述clear() 方法的操作，在这两种情况下您以后都可能会遇到问题。

在 C++ 中一种很好理解且经常实践的资源管理方法是 Resource Acquisition Is Initialization（通常缩写为 RAII，但如果名称混淆，请忽略该名称，这个概念是可以理解的）。有关有用信息，请参阅 this 维基百科文章或此 answer。

这里是 tl;dr 虽然：

• 资源的生命周期应始终与 一个对象。
• 对象的生命周期从构造函数完成时开始
• 对象的生命周期在析构函数完成时结束。

遵循这个习惯用法通常可以防止 C++ 资源管理问题发生。