类内的纯虚拟析构函数定义给出编译错误

Question

基类中的纯虚拟析构函数应该有一个定义。否则，编译器将在链接时从派生类析构函数生成对基类析构函数的调用，并导致链接错误。

我尝试在基类中定义纯虚拟析构函数，如下所示：

class base
{
   public:
      base()
      {
         cout << "constructor in base class\n";
      }

      virtual ~base()=0
      {}
};

这给出了编译错误：

错误：函数定义上的纯说明符

然后我尝试在基类之外定义函数，如下所示：

class base
{
   public:
      base()
      {
         cout << "constructor in base class\n";
      }

      virtual ~base()=0;
};

base::~base()
{

}

这消除了编译错误，并且其行为符合我的理解。

但我的问题是如何在基类之外定义纯虚拟析构函数来消除编译错误？

Answer 1

你的第二个例子是正确的。

许多其他答案都认为使用默认实现的纯虚函数是非法的，但这是不正确的。

对于纯虚拟析构函数，您必须有一个定义（请参阅 xmoex 答案中的链接）。

确实如此：

§10.4/2 函数声明不能​​同时提供纯说明符
和定义

但是，正如您所注意到的，可以在声明之外提供定义。

Answer 2

我查看了此页面：

http://www.gotw.ca/gotw/031.htm

并从我的理解纯虚拟析构函数必须有一个定义（即使是空的），因为每个派生类都必须调用基类析构函数

Answer 3

编写以下语法是无效的：

virtual ~base()=0
{}

如果要提供纯虚拟成员函数的实现，则应该在类之外进行。大多数时候你不应该这样做，因为无论如何都不应该调用纯虚函数。然而，可以定义纯虚函数的实现。

事实上，一个纯虚析构函数必须有一个实现。这是因为无论给定类中的析构函数是否是纯虚拟的，在对象销毁时都会调用所有基类的析构函数。

因此，如果您创建从 base 派生的任何类的实例，那么在某个时刻，将调用该对象所属的所有类的析构函数，包括 base::~base()析构函数。如果您不定义它，链接器将找不到所需的符号并会抱怨。

Answer 4

析构函数是唯一的方法，即使它是纯虚拟的，也必须有一个实现才能使定义它的类有用。因此，与 @Kiril 的答案相反，我想说纯虚函数可以有实现。

有点题外话：

struct base {
    virtual void func() = 0;
};

void base::func() { /* default implementation */ }

class derived : public base{
    void func() { base::func(); } // have to explicitly call default implementation.
};

Answer 5

纯虚拟方法可以有实现，但它们使基类抽象并强制派生类覆盖这些方法。

假设基类中有一个指针成员。您想在析构函数中删除它，但同时也使该类抽象 - 因此您可以实现纯虚拟析构函数。

这是一个实现细节 - 析构函数的实现这一事实不应该从外部可见。