如何从没有虚拟析构函数的类派生？

Question

有一个虚类作为回调接口，我不能修改，也不能要求作者修复。该类的唯一成员是很多可以覆盖的虚拟方法，以便让库回调到我的代码中。为了获得一些回调机会，我应该创建该虚拟类的派生类，并覆盖相应的虚拟方法。如果我对某些回调机会不感兴趣，我只需要避免覆盖它们。

但是，该接口类的声明存在缺陷 - 其析构函数未声明为虚拟。

例如：

class callback_t {
public:
  virtual void onData( int ) {};
};

我创建了一个子类并且不重写析构函数，但是当我删除类child_t的动态对象时，我遇到了来自编译器的警告（gcc9 with C++17）：

删除具有非虚拟析构函数的多态类类型“child_t”的对象可能会导致未定义的行为。

class child_t : public callback_t {
public:
  ~child_t() {
    // release things specific to the child...
  };
  void onData( int ) override {
    // do things I want when onData
  };

private:
  int m_data = 0;
};

int main() {
  child_t* pc = new child_t;

  // pass pc into the routines of the library
  // working...

  delete pc;   /*deleting object of polymorphic class type ‘child_t’ which has non-virtual destructor might cause undefined behavior */
};

问题： 如何正确优雅地消除警告（我必须提交没有警告的代码）？

注释和修改：

1. 我不能修改类callback_t的声明，我也不能要求它的作者修复！这是一个由权威机构发布的库。 劝我改基类也没用，判断lib的代码质量也没意义；

2. 我从来没有打算用基类类型的指针释放child_t类的对象，我清楚地知道virtual-dtor和static-dtor的区别；

3. 我需要解决的主要问题是消除编译警告，因为我确定没有内存泄漏，并且没有遗漏恢复某些状态；

4. 在这种情况下，基类中没有数据，没有有意义的代码，而制作它的唯一目的是派生自，因此不应将其标记为 final。但我尝试将 child_t 设为“final”，警告消失了。我不确定这种方法是否正确。如果是这样，我认为这是迄今为止最便宜的方法；

5. 我还尝试将 child_t 的 dtor 设为virtual，警告也消失了。但我仍然不确定它是否 是正确的。

Answer 1

仅当您需要通过基类指针delete 派生对象时才需要virtual 析构函数。如果您不需要这样做，那么基类析构函数不是 virtual 的事实并不重要（尽管这是一个相当大的暗示，即该类从未打算被继承from - 在现代代码中，它可能应该被标记为final)。你仍然可以很好地从类派生。你只需要注意派生类的对象是如何被销毁的。

Answer 2

您收到的警告是误报。与

child_t* pc = new child_t;

// pass pc into the routines of the library
// working...

delete pc;

pc指向child_t，它的静态类型是指向child_t的指针，所以会调用正确的析构函数。如果你有

callback_t* pc = new child_t;

// pass pc into the routines of the library
// working...

delete pc;

那么警告将是正确的，因为只会调用 callback_t 析构函数。

---

有一个解决方法，那就是使用std::shared_ptr。指针将正确的删除器存储在其存储中，因此即使析构函数不是虚拟的，也会调用正确的派生析构函数而不是基析构函数。您可以在shared_ptr magic :) 中查看更多相关信息