C ++“虚拟函数但没有虚拟析构函数”

Question

我有一个基类Media 和几个派生类，即DVD、Book 等... 基类写成：

class Media{
    private:
        int id;
        string title;
        int year;
    public:
        Media(){ id = year = 0; title = ""; }
        Media(int _id, string _title, int _year): id(_id), title(_title), year(_year) {}
//      virtual ~Media() = 0;
        void changeID(int newID){ id = newID; }
        virtual void print(ostream &out);
};

问题是：没有析构函数，GCC 给了我一堆警告class has virtual functions but non-virtual destructor，但仍然可以编译并且我的程序运行良好。现在我想摆脱那些烦人的警告，所以我通过添加一个虚拟析构函数来满足编译器，结果是：它没有编译，错误：

undefined reference to `Media::~Media()`

将析构函数设为纯虚拟并不能解决问题。 那么到底出了什么问题呢？

Answer 1

你还需要定义虚拟析构函数，而不只是添加它。

//Media.h
class Media{
    //....
    virtual ~Media() = 0;
};

//Media.cpp
#include "Media.h"
//....
Media::~Media() {};

您收到警告的原因是所有将派生的类都应具有虚拟或受保护（信用@Steve）析构函数，否则通过指向基类的指针删除实例会导致未定义的行为。

注意您必须为析构函数提供定义，即使它们是纯虚拟的。

Answer 2

问题是：没有析构函数，GCC 给了我一堆警告“类具有虚函数但非虚析构函数”，但仍然可以编译并且 我的程序工作正常

这在现代 C++ 中是一个令人讨厌的警告，但在旧的对象风格 C++ 中它通常是正确的。

问题在于您的对象被破坏的方式。一个简单的测试：

#include <iostream>

class Base {};
class Derived: public Base { public: ~Derived() { std::cout << "Aargh\n"; } };

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

  delete d;
  delete b;
}

打印出来：

Aargh

是的，只有一次。

问题在于，当您对Base* 类型的变量调用delete 时，会调用Base::~Base() 方法。如果是virtual，则调用将动态分派到最终方法（基于动态类型），在本例中为Derived::~Derived()，但如果不是，则永远不会调用Derived::~Derived()，因此永远不会执行。

因此，如果您希望在基本类型上调用delete（或使用智能指针），那么您需要在其类定义中添加virtual ~Base() {}。这就是为什么 gcc 在您创建没有 virtual 析构函数的多态类时会发出警告的原因。

---

注意：时间变了，从那以后我在 Clang 中实现了-Wdelete-non-virtual-dtor，它也被复制到了 gcc 中。

-Wnon-virtual-dtor 对库编写者很有用（因为它在基类上发出警告），但可能有更高的误报率；另一方面，-Wdelete-non-virtual-dtor 会在调用站点触发，并且误报率要低得多（您通常可以通过使用 final 来消除该类的“多态”属性来解决此问题）。

Answer 3

您注释掉的是析构函数的纯虚拟声明。这意味着必须在派生类中重写该函数才能实例化该类的对象。

你想要的只是将析构函数定义为虚函数：

virtual ~Media() {}

在 C++ 11 或更高版本中，通常最好将其定义为默认值，而不是使用空主体：

virtual ~Media() = default;

Answer 4

您应该实现虚拟析构函数，而不是使其成为纯虚拟的。

查看this 类似问题（从虚拟析构函数错误的角度来看可能相同，而不是警告）以获取更多信息。

编辑：更通用的解决方案，回复 LuchianGrigore 的评论（感谢您指出）

您还可以将析构函数设为纯虚拟并按照上述问题中的说明实现。

在你的类中使用虚拟析构函数应该是为了防止基类的实例化（即当你没有其他纯虚拟方法来使类抽象时）。

Answer 5

先取消注释，然后再取消注释 尝试在类声明后添加以下行

Media::~Media(){}