вопрос в следующем: в некоем "независимом" участке программы обьект больше не нужен, как устроить так, чтобы этот участок смог прознать, не используется этот обьект где еще, нет ли на него указателей(?), чтобы освобождать или не освобождать память?
в java - понятно как, я вот с турбопаскалем морочусь... 

По идее реализется это так - в самом объекте есть счетчик. При создании указателя на объект счетчик инкрементируется, указатель перестает указывать на объект - декрементируется. Каждый раз проверяется состояние счетчика, если он равен нулю - объект уничтожается.
Так оно в теории. Желаю удачи!

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

Увы, тогда объекту нельзя ссылаться даже на самого себя!

Однако такой подход достаточно просто реализуется и шустро работает, при наличии прямых рук косяков не возникает.

Понятно: пишем процедуру/метод, который индексирует все счетчики, в случае чего освобождает память, а потом уж присваивает(себе народное добро=). 
А с двумя обьектами... это когда один "выписали", а потом другой и остаются они висеть в воздухе... мда.       так, что сделать?        я подумывал об том, чтоб каждый обьект в спец. список заносить(и дались мне эти списки), в котором к нему все, что на него ссылается, прицеплено и раз в три столетия через прогонять через процедуру очистки. Да, при больших обьемах накладно очень получится...


как все таки? это ведь, как я понимаю, общее место для многих программ.


п.с. можт знает кто, как джавовский сборщик мусора работает?

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

в C++ это реализуется без проблем (если только не начинать брать указатель на умный указатель)
в TP я не припоминаю только одного - отслеживания создания нового объекта путём копирования (т.е. конструктор копирования)

если он там есть, проблем быть не должно...

http://www.memorymanagement.org/articles/recycle.html

Думаю, что счетчик в указателе, в любом случае инициализируется через счетчик в объекте, а при изменении значения указателя, счетчик у обьекта найти несложно [только, интерфейс должен быть типа stchetchikable для всех обьектов], почему же тогда он(счетчик) дублируется в указателе?

эта проблема всеж не решается. Или я крупно не понимаю чего-то.
---------------------------
[upd] пока писал да думал, пост с чудодейственной ссылкой проглядел. пойду смотреть

Это сообщение отредактировал(а) scai - 22.1.2007, 16:48