8

可能重复：
GNU 编译器警告“类具有虚函数但非虚析构函数”

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

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
};

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

4

2 回答 2

14

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

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

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

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

于 2012-09-30T19:08:41.933 回答
2

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

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

另外，顺便说一句，默认构造函数和析构函数的规范签名通常在不使用“void”作为参数的情况下编写，只需使用空括号代替。

于 2012-09-30T18:55:28.103 回答