В книге А.Александреску "Стандарты программирования на С++" в 50 совете говорится: "Делайте деструкторы базовых классов открытыми и виртуальными либо защищенными и невиртуальными". Скажите в каких случаях применяются protected невиртуальные деструкторы. В чем польза этого подхода?
-
Разве там не приводится мотивация и пример к этому совету?– user786067016 июн 2020 в 12:21
-
Благодарю за минусы. Там приводится пример, но хотелось бы осмотреть на проблему с разных сторон.– KoD16 июн 2020 в 12:33
-
видимо люди не любят Александресу.– KoVadim16 июн 2020 в 12:52
-
И зря..........– KoD16 июн 2020 в 12:57
-
все нормально. Иначе он бы не пошел создавать D– KoVadim16 июн 2020 в 13:03
1 ответ
Если класс планируется использовать в качестве базового, т.е. он будет наследоваться - лучше делать деструктор виртуальным, так как может быть удаление через указатель на базовый класс.
struct Base
{
~Base();
};
struct Derived: public Base
{
~Derived();
};
int main()
{
Base * b = new Derived;
delete b;
}
Так сказать, угадайте с трех раз, какой деструктор вызовется, и будет ли это верное поведение...
Если же вы делаете деструктор не виртуальным, то защититься от такого неверного использования можно, сделав деструктор ~Base()
защищенным - все, такой код вы написать просто не сможете.
Только
struct Base
{
protected:
~Base() { cout << "~Base\n"; };
};
struct Derived: public Base
{
~Derived() { cout << "~Derived\n"; };
};
int main()
{
Derived * b = new Derived;
delete b;
}
Но, как и в других вопросах C++ - если бы какой-то совет был не советом, а жестким требованием - он вошел бы в стандарт как запрет. Так что у вас есть выбор, как поступать, и всегда есть ситуации, когда лучше поступить вопреки совету.
-
Вот ещё и @Harry спрошу - где, где Вы прочитали, что будет вызван какой то определенный конструктор в этом случае?– KoVadim16 июн 2020 в 12:22
-
@KoVadim Если деструктор не виртуальный - будет вызван
~Base
, если виртуальный -~Derived
, за нимBase
. ideone.com/0d3mNR Что не так? А, вы про описку, что я деструктор конструктором назвал? Спасибо, исправил.– Harry16 июн 2020 в 12:25 -
-
-
1не, если почитать стандарт внимательно, то там есть приписка, что если в точке удаления, статический и динамический тип отличается, а виртуального деструктора нет, то будет просто UB.А то что будет "не вызван один из деструкторов"... это просто никто не заморачивается. Но об этом знают единицы... описано в 17 стандарте в главе "12.5 Free store"– KoVadim16 июн 2020 в 12:37