Описание

Деструктор базового класса, не виртуальный, происходит, когда класс имеет 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;
};