Задачей было найти потери памяти в проекте.

Причина оказалась вот в чем. Имеется шаблонный класс "Динамический список " или просто class_List , т.е. тип данных списка определяется шаблонно. Есть class_A , который создает объект class_List для хранения данных типа *class_Data . Класс class_List пользует new & delete для создания/удалени я своих элементов. Есть потомок от class_Data cl_child_Data .
Так вот один из потомков класса Class_A , загоняет в список объекты (исп. указатель на объект) не *class_Data , а *cl_child_Data , т.е. его потомка , что вполне допустимо. Но при очистке памяти оператором delete удаляется естественно предок (class_Data), а не наследник, который фактически туда помещен - отсюда и лики.

На самом деле схема использования этих классов и их наследников очень громоздка и они выполняют сложные вычисления, поэтому для исправления проблемы с утечкой памяти желательно минимальное вмешательство, чтобы не навредить. Т.е. нужно устранить лики и не более. Хотел бы услышать толковые идеи по решению этой проблемы. Прошу учесть при объяснении, что я новичок и не автор проекта.

Можно ли как-нидь сделать "умный" delete, чтобы он сам "знал" какой тип объекта находится в памяти и грамотно удалял потомка, а не предка?

Голенков Владимирдеструкторы class_Data, cl_child_Data должны быть виртуальные

очищает память class_List, но так как он удаляет данные типа class_Data, хотя хранит на самом деле cl_child_Data. Т.е. до деструктора cl_child_Data дело в любом случае не доходит, если я правильно понимаю.

KGP Tubrik
Но при очистке памяти оператором delete удаляется естественно предок (class_Data), а не наследник, который фактически туда помещен - отсюда и лики.

Не пойму, что значит?
Список class_List самописный?
В cl_child_Data дестуктор виртуальный, переопределен нормально?
cl_child_Data выделяет память в ходе работы, в деструкторе она освобождается?

class_List самописный.

Он же и выделяет память под объекты и он же удаляет, к примеру:

class_Data *n = new class_Data();
n = [объект класса cl_child_Data];

а удаляется:

delete [как объект класса class_Data];

AkhЕще вариант - удалять класс, приведенный к классу потомка



так работает, но тут нельзя предсказать какой именно из потомков будет использован.

KGP AkhЕще вариант - удалять класс, приведенный к классу потомка


Да нельзя так ПРИНЦИПИАЛЬНО!

to Tubrik:
Я спрашивал деструктор виртуальный, переопределен?
скинь определение класса class_Data и cl_child_Data на уровне определения ( реализацию - деструкторов)

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

Деструктор не виртуальный и не переопределен.

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

Наследование происходит не напрямую от class_Data, а через другие объекты.

Полагаю, что поступил несколько глупо, т.к. коряво упростил схему классов, решив, что так легче будет объяснить. В результате вызвал ненужный спор и недразумения, да и сам запутался, чего конечно не хотел. Поэтому помещу в новой теме все "как есть".

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


Т.е. если у объекта деструктор виртуальный, то delete удаляет объект на который указывает указатель, а если нет, то объект, тип которого задан при объявлении указателя?

Т.е. размер удаляемого объекта в delete зависит от виртуальности деструктора?

еще маленький вопрос

//в коде есть такое...
classA *pCA;
pCA = new classA();
((class_child_A *)pCA )->add( new classB(this, ...) ); //это нормально?
.....
.....