如果您始终将它存储在shared_ptr中，那么您的接口是否需要虚拟析构函数？

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');
}

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

如果您确保始终使用shared_ptr<Interface>（或make_shared<Interface>）创建界面的每个实现，那么您真的需要virtual析构函数吗？无论如何我会声明它virtual，但我只是想知道，因为shared_ptr将始终删除它初始化的类型（除非给出另一个自定义删除器）。

Answer 1

我仍然会遵循要派生的类的通用规则：

  

提供公共虚拟析构函数或受保护的非虚拟析构函数

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

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

如果base具有公共非虚拟析构函数且foo返回从base派生的类型，则shared_ptr将无法调用正确的析构函数。如果base的析构函数是虚拟的，一切都会好的，如果受到保护，编译器会告诉你那里有错误。