C 11中带有虚拟成员的虚拟析构函数

Question

在这些关于C 11/14标准的幻灯片中，在幻灯片15中，作者写道，“许多经典的编码规则不再适用于C 11中”。他提出了三个示例的列表，我同意三法则和内存管理。

然而，他的第二个例子是“具有虚拟成员的虚拟析构函数”（仅此而已）。这是什么意思？我知道必须将基类析构函数声明为虚拟，以便调用正确的析构函数，如果我们有类似的东西

Base *b = new Derived;
...
delete b;

这里很好地解释了：什么时候使用虚拟析构函数？

但是，如果您有虚拟成员，现在在C 11中声明虚拟析构函数是无用的吗？

Answer 1

链接的论文显示了相关代码：

std::unique_ptr<Derived> { new Derived };

存储的删除器是< code>std::default_delete

<罢工> 现在你可以了 把这个移到一个 unique_ptr

Answer 2

我认为这与演示文稿其他地方提到的“零规则”有关。

如果您只有自动成员变量（即对否则将是原始指针的成员使用 shared_ptr 或 unique_ptr），那么您不需要编写自己的复制或移动构造函数或赋值运算符 - 编译器提供的默认值将是最佳的。使用类内初始化，也不需要默认构造函数。最后，你根本不需要编写析构函数，无论是否虚拟。

Answer 3

作为幻灯片的作者，我将努力澄清。

如果您编写的代码显式地分配带有new的派生实例并使用基类指针使用删除销毁它，那么您需要定义一个虚拟析构函数，否则您最终会不完全销毁派生实例。但是，我建议放弃new和完全删除并使用独占shared_ptr来引用堆分配的多态对象，例如

shared_ptr<Base> pb=make_shared<Derived>();

这样，即使< code>shared_ptr

unique_ptr

我提出的个人建议是为了易于遵循，并且一起遵循。他们试图通过让所有资源管理都由库组件和编译器生成的代码来完成，从而生成更简单的代码。

在类中定义一个（虚拟）析构函数，将禁止编译器提供的移动构造函数/赋值运算符，也可能禁止未来版本的C中编译器提供的复制构造函数/赋值操作符。使用=default可以很容易地重新更正它们，但看起来仍然像很多样板代码。最好的代码是你不必写的代码，因为它不会错（我知道这条规则还有例外）。

总结“不要定义(虚)析构函数”作为我的“零规则”的推论:

每当在现代 C 中设计多态 （OO） 类层次结构并希望/需要在堆上分配其实例并通过基类指针访问它们时，请使用make_shared

这并不意味着您必须分配堆上的所有多态对象。例如，定义一个采用（Base

在我看来，动态OO多态在许多系统中被严重过度使用。当我们使用C时，我们不应该像Java那样编程，除非我们有问题，其中具有堆分配对象的动态多态是正确的解决方案。