c++ - 不用于删除对象的基类的析构函数应该是虚拟的吗？

Question

假设我有两个基类，

struct A {}; 
struct B {}; 

和派生的使用多重继承

struct D : A, B {}; 

如果我的使用场景是这样的:

A *obj = new D; 

即我永远不会使用 B 基类来引用派生对象，我是否必须将两个基类的析构函数都设为虚拟？我目前正在将 B 的析构函数声明为 protected 以禁止其他用户这样做，但这是否足够？

D 的析构函数呢？

Answer 1

B 的析构函数不必是虚拟的，只要 B* 从未用于删除派生对象。参见 [expr.delete]/3:

... if the static type of the object to be deleted is different from its dynamic type, the static type shall be a base class of the dynamic type of the object to be deleted and the static type shall have a virtual destructor or the behavior is undefined.

在这种情况下，“静态类型”是 T cv 类型，其中 delete 的操作数具有类型 T 简历 *。因此，您的案例中的要求强加于 A，而不是 B。