c++ - 如果您始终将其存储在 shared_ptr 中，您的接口(interface)是否需要虚拟析构函数？

Question

自从 boost::/std::shared_ptr具有类型删除其删除器的优势，您可以做一些不错的事情，例如

#include <memory>

typedef std::shared_ptr<void> gc_ptr;

int main(){
  gc_ptr p1 = new int(42);
  gc_ptr p2 = new float(3.14159);
  gc_ptr p3 = new char('o');
}

由于保存了正确的删除器，这将正确删除所有指针。

如果您确保接口(interface)的每个实现总是使用 shared_ptr<Interface> 创建(或 make_shared<Interface> )，你真的需要 virtual析构函数？我会宣布virtual无论如何，但我只想知道，因为 shared_ptr将始终删除它初始化的类型(除非给出另一个自定义删除器)。

Answer 1

对于要派生的类，我仍然会遵循通用规则:

Provide either a public virtual destructor or a protected non-virtual destructor

原因是你不能控制所有的使用，这个简单的规则意味着如果你试图通过层次结构中的错误级别delete，编译器会标记。考虑 shared_ptr 不保证它会调用适当的析构函数，只保证它会调用用作参数的静态类型的析构函数:

base* foo();
shared_ptr<base> p( foo() );

如果 base 有一个公共(public)的非虚拟析构函数并且 foo 返回一个派生自 base 的类型，那么 shared_ptr 将无法调用正确的析构函数。如果 base 的析构函数是虚拟的，一切都会好的，如果它是 protected ，编译器会告诉你那里有错误。