C++如果派生中没有数据成员，是否还需要虚拟析构函数？

Question

假设我有这段代码，

class Base{
  public:
        int getVal();
  private:
         int a, b;
};

class Derived::public Base{
    public:
         void printVal();
};

int main(){
    Base *b = new Derived();
    delete b;    
}

我知道虚拟析构函数会正确删除内容，但是即使派生类中没有虚拟函数和数据成员，使用基指针删除（当没有虚拟析构函数时）是否不好？如果这样做会发生什么？

Answer 1

即使派生类中没有虚函数和数据成员，用基指针删除（没有虚析构函数时）是否不好？

是的。

无论派生类的内容如何，​​该行为都是未定义的。

如果这样做会发生什么？

什么事情都可能发生。

Answer 2

对于原始类型数据，您的示例很可能在实践中有效。事实上，引入 vtable 实际上可能阻碍性能（因此这里可能有一些合法的用途），但根据 5.3-5.4，它在技术上是未定义的：

如果操作数的静态类型[of
删除运算符] 不同于
它的动态类型、静态类型
应是操作数的基类
动态类型和静态类型应
有一个虚拟析构函数或
行为未定义。

这实际上完全取决于类中数据的“堆”，并且由于没有堆分配的成员（在您的情况下），所以您应该没问题，但这绝对是代码味道。

Answer 3

当通过指向基类的指针创建派生对象时，为了正确调用派生析构函数（多态性），派生类中需要虚拟析构函数。

高完整性 CPP 规则 3.3.2 为基类编写“虚拟”析构函数。 (QACPP 2116)

理由：如果一个对象将通过指向其基类的指针被销毁，那么该基类应该有一个虚拟析构函数。如果基类析构函数不是虚拟的，则仅调用基类的析构函数。在大多数情况下，析构函数应该是虚拟的，因为维护或重用可能会添加需要虚拟析构函数的派生类。

class Base {}; 
class Derived : public Base { public: ~Derived() {} }; 

void foo() {  
   Derived* d = new Derived; delete d; // correctly calls derived destructor 
} 
void boo() { 
   Derived* d = new Derived; Base* b = d; delete b; // problem! does not call derived destructor! 
}