强制虚拟析构函数？ C++

Question

我在 C++ Faq lite: How do I Define a base class so every class inheriting it is required to Define a destructor? 中没有看到这个问题的答案：

How do I Define a base class so every class inheriting it is required to Define a destructor?

我尝试运行这个程序

struct VDtor { virtual ~VDtor()=0;  };
struct Test:VDtor { virtual ~Test(){}  };
int main() { delete new Test; return 0; }

http://codepad.org/wFcE71w3 出现错误

In function `Test::~Test()':
t.cpp:(.gnu.linkonce.t._ZN4TestD0Ev+0x1e): undefined reference to `VDtor::~VDtor()'
In function `Test::~Test()':
t.cpp:(.gnu.linkonce.t._ZN4TestD1Ev+0x1e): undefined reference to `VDtor::~VDtor()'

那么，这可能吗？

Answer 1

从某种意义上说，这是“可能的”（如果您的目标是派生类保持抽象，否则）。但它不会给出您想要的结果：因为如果程序员没有这样做，编译器将隐式地创建析构函数本身。

因此不可能强制派生类的作者显式声明构造函数。

_{（编辑：就像@chubsdad notes 指出的那样，您的特定代码中的错误是因为您需要定义基类的显式声明的析构函数）。}

---

编辑< /strong>：只是为了好玩，有些情况需要显式声明的构造函数。考虑以下

struct Viral {
  struct Dose { };
protected:
  ~Viral() throw (Dose) { }
};

struct Base {
  virtual ~Base() throw() { }
};

struct Derived : Base, Viral { };

代码此代码将无法编译，因为隐式声明的 ~Derived 将具有比 ~Base 更宽松的异常规范 throw (Dose) code> 有 - 所以它违反了覆盖者不得有更宽松的异常规范的要求。您需要适当地显式声明析构函数

struct Derived : Base, Viral { ~Derived() throw() { } };

但这并不是真正解决您的问题，因为派生类需要“合作”从 Viral 派生或将其作为非静态数据成员。它也非常丑陋:)

---

编辑：以下似乎是一种符合标准的 Clang 和 GCC 方法

struct Viral {
  struct Dose { };
protected:
  ~Viral() throw (Dose) { }
};

struct Base : virtual Viral {
  virtual ~Base() throw() { }
};

(从 v4.6 开始）拒绝任何具有隐式声明析构函数的 Base 派生类，因为它具有不兼容的异常规范（标准规定，任何派生类都应直接调用 ~Viral，而不是通过调用 ~Base 间接调用）。科莫接受这一点，但我强烈怀疑它在这方面不符合规定。

Answer 2

无论如何，每个类都有一个析构函数。在基础中声明虚拟析构函数可确保子级将拥有虚拟析构函数。这并不意味着编码人员需要显式声明析构函数——无论如何，这不是一件好事。它的意思是，如果声明了析构函数，它将是虚拟的。

Answer 3

struct VDtor { virtual ~VDtor()=0;  };
VDtor::~VDtor () { } // <== Implementation.
struct Test:VDtor { ~Test(){}  };
int main() { delete new Test; return 0; }

要修复该错误，您必须像上面一样实际实现 VDtor::~VDtor() 。

Answer 4

当 Test 被析构时，它将调用它的基类析构函数，该析构函数不存在。如果没有必要的销毁逻辑，您应该将其声明为空。