Почему можно сделать деструктор чистым виртуальным

Question

Как я знаю в cpp, когда мы удаляем объект или когда заканчивается главный, деструкторы всех объектов будут вызваны. Для тех объектов, тип которых является дочерним по классу, деструкторы класса child будут вызываться сначала, тогда будут вызваны distructors родителя класса.
Теперь я смущен. Потому что, если разрешен чистый виртуальный деструктор, как его можно вызывать, когда мы удаляем объект класса child? Разве он не вызывает деструктор родительского класса, который является чисто виртуальным?

Answer 1

Да, деструктор базового класса называется. Это означает, что должен иметь реализацию. Можно обеспечить реализацию для любой чистой виртуальной функции, включая деструктор. Например:

struct foo 
{ 
    virtual ~foo() = 0; // pure virtual dtor 
}; 

foo::~foo() {} // implementation 

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