Всем привет. Допустим, вот такой класс:

И такой код:

Скажите, верно ли я понимаю:
Объект obj1 будет создан в стеке; он состоит из членов int и int*, которые будут созданы в стеке. Также, в куче будет создан еще объект типа int.
Объект obj2 будет создан в куче; то есть его члены a и b будут тоже в куче. При этом тоже еще где-то в куче будет создан еще один int.

И скажите еще вот что. Вот такой код:

Ни вызов free, ни ручной вызов деструктора для a не освобождают память, выделенную под FP. Почему?

Ну, если оператор new не переопределен, то, как мне кажется, все так.


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

Но в коде я не вижу проверки освобождения - как вы убедились, что освобождение памяти не прошло?

И еще - путать в одном коде new и malloc - не комильфо 

Это сообщение отредактировал(а) disputant - 28.4.2012, 20:55

Я смотрю ProcessExplorer'ом, сколько памяти уходит на процесс. Дело в том, что если написать так:

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

Вообще, тут ситуация такая - сам объект класса лежит в стеке, и содержит член, указывающий на большой кусок в куче. При создании объекта, конструктор выделяет память. Дальше наступает момент, когда объект более не нужен. Как вызвать деструктор и его уничтожить? Ведь, например, delete должен работать в связке с new, то есть высвобождать память, выделенную new и вызывать деструктор. У меня в стеке сам объект, нельзя его удалить.
Вопрос чисто академический, чтобы разобраться, я уже по другому реализовал.


Ну, у меня код посложнее, это я его на коленке упростил, чтобы местный народ не читал, что к вопросу отношения не имеет.

Это черевато, в деструкторе будет попытка освободить уже освобожденую память.
И потом вызов free не гарантирует возврат памяти системе, она можео остаться зарезервированной за процессом, на случай если еше понадобится. По моему так

А в какой момент вызывается деструктор?



А вызывается он уже после getch()  И заметить этот момент ProcessExplorer'ом практически невозможно, ибо он совпадает с моментом завершения процесса.

Ну и про malloc/free вместо new/delete и про двойное высвобождение памяти Вам уже написали))))

Это сообщение отредактировал(а) feodorv - 29.4.2012, 01:58

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



Впрочем, черасчур умный оптимизатор может и тут все испортить (хотя если умный, то как раз не должен )

Спасибо за ответы.


Не, я имел в виду, если вот эту строчку - free( a.FP ); заменить на a.~GP(); то не видно освобождения. Если вызывать деструктор выходом из области видимости, та же фигня.


Ясно, а надежней можно как-нибудь?

Что-то типа функций heapwalk, heapchk в вашем компиляторе нет?