此处未定义虚拟析构函数

No virtual destructor defined here

本文关键字：析构函数 虚拟 未定义      更新时间：2023-10-16

这在我的官方笔记中提供了，但我发现了一个错误。在我把它带到我的导师那里之前，我只是想在这里和我所有的血亲兄弟——你们——确认一下。

#include <iostream.h>
class Base {
   public:
      virtual void display() { cout << "Base class" << endl; }
};
class Derived: public Base {
   // Nothing here
};
void main()
{
   Base * ptr;
   // Calls Base::display ( )
   ptr = new Base ;
   ptr ->display();
   delete ptr ;
   // Calls Base::display ( ) again
   ptr = new Derived ;
   ptr ->display();
   delete ptr ;
}

输出为：

Base class 
Base class

我认为问题出在主函数的最后一行。我的意思是，由于析构函数不是虚拟的，我认为您无法使用基类类型的指针删除派生类类型的动态分配实例。你觉得怎么样？

我的意思是，由于析构函数不是虚拟的，我认为您无法使用基类类型的指针删除派生类类型的动态分配实例。你觉得怎么样？

您可以在此处和此处看到这是未定义的行为。

如果基类没有虚拟析构函数，则此类代码的行为是未定义的。

从C++标准：

5.3.5 删除

3 在第一种替代方法(删除对象(中，如果操作数的静态类型与其动态类型不同，则静态类型应为操作数的动态类型的基类，静态类型应具有虚拟析构函数或行为未定义。

当一个函数被定义为虚拟时，编译器将使用动态绑定的指向基的指针来调用该函数，即对实际函数的调用将通过类 vTable 来查找函数的相关实现。如果一个函数没有被定义为虚拟的，那么编译器生成的代码将使用静态绑定，即编译器将简单地调用它知道的函数。换句话说，如果在指向派生类的基类指针上调用非虚函数，则编译器将生成用于调用基类实现的代码。

现在，析构函数行为只是上述一般行为的一个私人案例。由于在没有析构函数实现的情况下，编译器将为您生成默认的非虚拟析构函数，使用基类指针销毁对象将仅调用基类析构函数。通过显式定义基类和派生类的非虚拟析构函数，并使用调试器查看基类版本是否为被调用的版本，可以轻松重现此行为。

相关文章：