1

Подробно изучая механизм наследования в C++ наткнулся на такую фразу деструктор полиморфного базового класса должен объявляться виртуальным. Легально ли наследоваться от std::vector, если его деструктор объявлен без virtual?

2 ответа 2

8

Легально. Виртуальный деструктор в базовом классе при наследовании нужен только когда владение объектом будет осуществляться через указатель на базовый класс. Кроме того, std::vector не является полиморфным классом.

3
  • Что-то запутался - а можно наследовать класс с невртуальным деструктором, но в своем классе сделать его виртуальным - для будущих наследований? 28 фев 2020 в 18:33
  • @Mikhailo Можно, но деструктор в самом базовом классе при этом так и останется не виртуальным. 28 фев 2020 в 18:56
  • А в последующих - виртуальный? А с функциями-членами такой фокус получится? 29 фев 2020 в 15:35
1
#include <cstdlib>
#include <iostream>

using std::cout;
using std::endl;

class A {
public:
    A() { cout << "A()" << endl; }
    ~A() { cout << "~A()" << endl; }
};

class B : public A {
public:
    B() { cout << "B()" << endl; }
    ~B() { cout << "~B()" << endl; }
};

int main()
{
    B b;
    return 0;
}

Вывод

A()
B()
~B()
~A()

Теперь с указателями

int main()
{
    A * pA = new B;
    delete pA;
    return 0;
}

Вывод

A()
B()
~A()

Т.о. само по себе наследование от класса с невиртуальным деструктором вполне легально, но при работе с динамическими объектами оно порождает ошибку с пропуском вызова полиморфного деструктора нужного класса

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.