c++ - 默认情况下，类应该是最终的吗？

Question

引用 Effective C++(Scott Meyers)，第三版，第 7 项:

Declare destructors virtual in polymorphic base classes.

这意味着要继承的类至少应具有虚拟析构函数。

在编写一些应用程序/库时，有些类(我会说不少)并不是为了被继承而设计的。我们通常依赖于一些约定，其中一个人不应该继承不属于他自己的类，或者不检查它是否安全。

现在，编码标准可能要求编写和设计类，以便继承始终是安全的。我觉得这可能太多了。 C++11 添加了 final 关键字，确保类不会被继承。您是否建议将所有不是为继承而设计的类默认标记为 final？

这将使编译器强制执行我们多年来按照惯例所做的事情。但该约定可能被认为足够好理解且易于遵循(特别是因为通常避免继承，首选组合)，因此它可能只是编写代码时需要注意的另一件事。

Answer 1

仅仅因为一个类没有任何虚函数并不不意味着从它继承没有意义。这只是意味着它可能不是故意的，你必须小心不要通过指向基类的指针删除派生对象的任何实例。 private 继承经常在这种情况下用作组合的替代方法，表示从基类继承纯粹是一个实现细节，派生类不是被认为与基数具有“is-a”关系。

将一个类标记为 final 是一种很好的方式来表达一个类根本不打算派生自，通过使其不可能。因此，如果这就是您想要的，请在类里面打一个 final。

在某些情况下，将(派生的)类标记为 final 以防止任何进一步派生还可以带来额外的好处，即使编译器更容易将函数调用去虚拟化，从而在某些情况下带来更好的性能。

在我的看来，final 应该(通常)是默认值，如果您发现需要/想要从之后的类派生，您可以稍后将其删除全部。但这只是意见。