Описание

Деструктор базового класса, не виртуальный, происходит, когда класс имеет функции virtual, но не деструктор virtual.

Риск

Присутствие функций virtual указывает, что класс предназначается для использования в качестве базового класса. Однако, если класс не имеет деструктора virtual, он не может вести себя полиморфно для удаления объектов производного класса.

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

Фиксация

Одна возможная фиксация должна всегда использовать деструктор virtual в классе, который содержит функции virtual.

Пример - деструктор базового класса, не виртуальный

class Base {        
        public:
                Base(): _b(0) {};
                virtual void update() {_b += 1;};
        private:
                int _b;
};

class Derived: public Base {                     
        public:
                Derived(): _d(0) {};
                ~Derived() {_d = 0;};
                virtual void update() {_d += 1;};
        private:
                int _d;
};

В этом примере класс Base не имеет деструктора virtual. Поэтому, если указатель Base* указывает на объект Derived, который является выделенной памятью динамически, и операция delete выполняется на том, которым указателем Base*, называется деструктор Base. Память, выделенная для дополнительного участника _d, не выпущена.

Дефект появляется на определении базового класса. Следующее является некоторыми советами для навигации в исходном коде:

Исправление — делает деструктор базового класса виртуальным

Одно возможное исправление должно объявить деструктор virtual для класса Base.

class Base {        
        public:
                Base(): _b(0) {};
                virtual ~Base() {_b = 0;};
                virtual void update() {_b += 1;};
        private:
                int _b;
};

class Derived: public Base {                     
        public:
                Derived(): _d(0) {};
                ~Derived() {_d = 0;};
                virtual void update() {_d += 1;};
        private:
                int _d;
};