Виртуальные деструкторы по умолчанию в C++

Question

У меня есть большой набор унаследованных классов (критериев), которые наследуются от базового класса (критерия). Вот criterionкод

class criterion
{
public:
    virtual unsigned __int32 getPriorityClass() const = 0;
    virtual BOOL include(fileData &file) const = 0;
    virtual void reorderTree() = 0;
    virtual unsigned int directoryCheck(const std::wstring& directory) const = 0;
    virtual std::wstring debugTree() const = 0;
};

Некоторые примеры производных классов от этого:

class fastFilter : public criterion
{
public:
    void reorderTree() {};
    unsigned int  directoryCheck(const std::wstring& /*directory*/) const { return DIRECTORY_DONTCARE; };
    unsigned __int32 getPriorityClass() const { return PRIORITY_FAST_FILTER; };
};

class isArchive : public fastFilter
{
public:
    BOOL include(fileData &file) const
    {
        return file.getArchive();
    }
    std::wstring debugTree() const
    {
        return std::wstring(L"+ ISARCHIVE\n");
    };
};

Так как у меня здесь вообще нет деструктора, но все же предполагается, что это базовый класс, нужно ли мне вставлять пустой виртуальный деструктор, т.е.

virtual void ~criterion() = 0;

Если требуется объявление виртуального деструктора, нужен ли он всем промежуточным классам? Т.е. будет ли fastFilter выше нужен виртуальный деструктор?

Answer 1

Да - базовому классу нужен виртуальный деструктор, даже если он пуст. Если это не сделано, то когда что-то deleteПроизводный объект через базовый указатель / ссылку, объекты-члены производного объекта не получат шанса уничтожить себя должным образом.

Производные классы не должны объявлять или определять свой собственный деструктор, если им не нужно что-то кроме поведения деструктора по умолчанию.

Answer 2

Рекомендуется вставить

virtual ~criterion() {}

чтобы избежать удаления от проблемы указателя базового класса. В противном случае вы потеряете память, поскольку деструкторы производных классов не будут вызываться.

criterion *c = new fastFilter();
delete c; // leaks

Answer 3

Вам не нужно делать деструктор абстрактным, просто дайте ему пустую реализацию:

virtual ~criterion() { }

Таким образом, вы не обязаны реализовывать его в каждом дочернем классе, но каждый из них будет иметь (унаследованный) виртуальный деструктор.

Answer 4

Небольшое изменение от того, что уже ответили другие:

Вместо

virtual void ~criterion() = 0;

Требуемая версия:

    virtual ~criterion() {}  //Note: Removed void as destructors not allowed 
                             //  a return type

Чтобы узнать больше о виртуальном деструкторе, посмотрите на эту ссылку в FAQ. Когда мой деструктор должен быть виртуальным?