类具有虚拟方法但非虚拟析构函数C ++ [重复]

Question

可能重复：
GNU compiler warning “class has virtual functions but non-virtual destructor”

我正在为两个类编写一个接口，并在标题中收到警告。 代码如下：

class GenericSymbolGenerator {
   protected:                     // <== ok 
    ~GenericSymbolGenerator(void) {}

   public:
    virtual GenericSymbolTableCollection* generateSymbolTableCollection(GenericSymbolTableCollection *gst) = 0;
    GenericSymbolGenerator(void) {}
    // ~GenericSymbolGenerator(void) {} // <== warning if used
};

class PascalPredefinedSymbolGenerator : public GenericSymbolGenerator {
   protected:
    ~PascalPredefinedSymbolGenerator(void) {} // <== ok

   public:
    GenericSymbolTableCollection* generateSymbolTableCollection(GenericSymbolTableCollection *pst); // initializes *pst
    PascalPredefinedSymbolGenerator(void) {}
    // ~PascalPredefinedSymbolGenerator(void) {} <== warning if used
};

class PascalSymbolGenerator : public GenericSymbolGenerator {
    protected:
         ~PascalSymbolGenerator(void) {} // <== ok

    public:
     GenericSymbolTableCollection* generateSymbolTableCollection(GenericSymbolTableCollection *st); // initializes st
     PascalSymbolGenerator(void) {}
     // ~PascalSymbolGenerator(void) {} // <== warning if used
};

只要构造函数/析构函数是无效的，将析构函数声明为受保护就没有问题。当类使用堆时会出现问题（析构函数被声明为受保护的，无法将类从“外部”中释放出来，使对象“坚不可摧”）。 有没有更方便的方法（除了一路公开）？

Answer 1

用作多态基的类应该有一个虚拟析构函数或一个受保护的析构函数。

原因是，如果您有一个公共的、非虚拟的析构函数，那么该类的外部用户几乎对它的任何使用都是不安全的。例如：

GenericSymbolGenerator *ptr = new PascalPredefinedSymbolGenerator();
delete ptr; // behavior is undefined, we tried to call the base class destructor

通过标记析构函数protected，您可以防止用户通过基类删除PascalPredefinedSymbolGenerator 对象。通过公开析构函数和virtual，当用户通过基类删除时，您可以获得定义的行为。所以选择其中一个选项。

Answer 2

我认为编译器正确地警告您基类中的非虚拟析构函数是正确的。您创建了一个明确打算作为继承层次结构的根的类，但是通过使基类析构函数成为非虚拟的，您破坏了通过指向基类的指针删除对象的能力（因为所有这些都是execute 是基类的析构函数，因此不会执行派生类特定的操作）。这在 C++ 中被认为是一个非常糟糕的主意，因为当涉及到这个对象层次结构时，您基本上会破坏多态性的实现。

正如您在 cmets 中提到的，您的意图是使用 GenericSymbolGenerator 作为接口并强制用户实例化和使用包含实际实现代码的派生类。在 C++ 中声明接口的规范方法是将接口上的至少一个函数声明为纯虚函数。这禁止您实例化基类，但仍创建可实例化的派生类。您已经通过在基类中将generateSymbolTableCollection() 声明为纯虚函数来完成此操作。因此，您需要做的就是将析构函数设为虚拟，因为在这个特定场景中它确实必须是虚拟的。

另外，顺便说一句，默认构造函数和析构函数的规范签名通常不使用“void”作为参数，而是使用空括号。