非多态和非抽象基类中的虚拟析构函数

Question

如果有人问过这个问题，我深表歉意。我正在编写一个将与 python 交互的 c++ 类。到目前为止的类实现是：

struct body_data
{
map <int, atom*> atoms;
map <int, bond*> bonds;
map <int, dihedral*> dihedrals;
};

这个类是另一个类的基类。我没有为这个类添加析构函数，因为我很困惑。在我读过的所有关于基类的析构函数的帖子中，他们建议析构函数应该是公共虚拟的或受保护的。由于我不打算在 c++ 代码或 python 接口中多态地使用上述类，我真的需要将析构函数设为公共虚拟或受保护吗？我正在考虑将这个类公开，这样程序员就知道永远不要多态地使用这个类。我的想法对吗？

Answer 1

当你有虚函数时，你只需要一个公共析构函数被声明为虚函数，表明你打算从你的类型派生。我强调“需要”，因为仅当您的基本类型具有非 POD 类型时才需要它或您知道从您的类型派生的类型将具有非 POD 类型。是的，您可以拥有一个具有零虚拟成员的基类，但这样的基类将具有边际效用。不必要地添加虚拟成员会增加开销。即，如果您的类型除了虚拟析构函数之外没有虚拟成员，通常您已经将每个实例的大小增加了一个指针，并且所述对象的销毁会稍微慢一些，因为您必须至少调用析构函数单个内存间接。在第一个之后增量添加虚拟成员应该具有固定的内存成本，但您仍然会因不必要的虚拟化函数而受到运行时惩罚。

在您的情况下，您的数据类型似乎表明动态分配的内存（其值为原始指针的映射）的所有权，并且您已经表明这是为了作为其他类型的基础（这是关键），其中在这种情况下，您肯定想要定义一个正确释放内存的析构函数，并且由于您已经声明它是其他类型的基础，因此应该将其标记为虚拟，除非您可以绝对确保实例永远不会被任何东西破坏除了指向最派生类型的指针（做出这种假设非常危险，失败可能导致难以诊断内存泄漏）。