Рассмотрим следующий абстрактный класс:
class Abstract
{
// ...
public:
virtual ~Abstract() = 0;
}
Abstract::~Abstract()
{
}
Очевидно, что создать экземпляр такого класса нельзя, потому что деструктор класса Abstract
помечен, как чисто виртуальный. Но... Для этого чисто виртуального деструктора существует реализация.
Таким образом, мы можем отнаследоваться от класса Abstract
, и при компиляции не возникнет ошибки, связанной с тем, что наследник не может вызвать чисто виртуальный деструктор.
Как это работает? Это какое-то особое правило?
Я столкнулся с этой особенностью в следующей ситуации:
У меня есть базовый класс, который нужно было сделать абстрактным. Так как все виртуальные методы моего класса имели определение и не являлись чисто виртуальными, я решил сделать виртуальным именно деструктор. Я принял такое решение, потому что не видел смысла добавлять костыльную чисто виртуальную функцию, единственное назначение которой - запретить создание экземпляров базового класса.
В общем, затем я сделал примерно так:
class Concrete1 : public Abstract;
class Concrete2 : public Abstract;
И был удивлен тем, что переопределять чисто виртуальный деструктор предка нужно только в одном из наследников. При попытке сделать так:
Concrete1::Abstract::~Abstract(){}
Concrete2::Abstract::~Abstract(){}
Я получаю от компилятора сообщение о том, что происходит переопределение ~Abstract()
.
Хочу разобраться в следующем:
- Что происходит, если деструктор объявлен, как чисто виртуальный, но при этом такой деструктор имеет реализацию?
- Почему я не могу переопределить чисто виртуальный деструктор в независимых наследниках?
Abstract::~Abstract(){}
? Просто я думал, что каждому наследнику можно задать персональный деструктор базового класса.