Проверить выделена ли память под объект

[Sibedir]

Согласен. Мы с ним в этом схожи.

Ну а так, как вариант, если нельзя но очень хочется вам как? Ведь работает же гадина

[GunSmoker]

В том-то и дело, что не работает.

T := TObject.Create; // 1-й объект
P := T;
FreeAndNil(T);

T := TObject.Create; // 2-й объект

// P - допустим или нет?

Любая известная мне проверка укажет, что P - допустим, даже хотя это явно не так.

P.S. Вероятно, в таком варианте глупость подобных проверок будет более очевидна:

P := TObject.Create;
P.Free;

T := TObject.Create;

// P - допустим или нет? Проверка укажет, что да, а на самом деле - нет.

[Sibedir]

Как раз, при использовании TSibObject, все становится на свои места.

T := TSibObject.Create; // 1-й объект
P := T;
FreeAndNil(T);
T := TSibObject.Create; // 2-й объект

P.Assigned будет равен False, а так оно и есть.

P := TSibObject.Create;
P.Free;
T := TSibObject.Create;

Опять, P.Assigned = False, следовательно обращение к ниму недопустимо.

[GunSmoker]

Как раз, при использовании TSibObject, все становится на свои места.

Да не может это становится на свои места. У вас, скорее всего, менеджер памяти просто перестраховывается.

Неужели не сообразили на что это был пример?

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

Соответственно, в примере:

P := TObject.Create;
P.Free;

T := TObject.Create;

// P равно T (случайно!)

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

Если же у вас проверка прошла - это значит, что вам повезло (или не повезло - смотря как посмотреть): просто менеджер памяти решил пока не использовать повторно старый блок памяти, а выделил новый. Понятно, что так или иначе, но старый блок памяти будет когда-то заново использован. И нет гарантии, что не под объект.

P.S. У вас FastMM?

[Пепел Феникса]

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

[Sibedir]

Если же у вас проверка прошла - это значит, что вам повезло

обращение к уже освобожденной памяти кучи всегда опасно

Нет, нет. Посмотрите пожалуйста пример из поста #39. Там в TSibObject переопределены NewInstance и FreeInstance.

class function TSibObject.NewInstance: TObject;
var
  buf: PBoolean;
begin
  buf := _GetMem(InstanceSize + 4);
  Result := InitInstance(Pointer (Integer(buf) + 4));
  buf^ := True;
  _AddLabel (buf);
end;

procedure TSibObject.FreeInstance;
var
  buf: PBoolean;
begin
  CleanupInstance;
  buf := Pointer (Integer(Self) - 4);
  ReallocMemory (buf, 4);
  buf^ := False;
end;

P.S. У вас FastMM?

Не, менеджер памяти не трогаю.

[Пепел Феникса]

Там в TSibObject переопределены NewInstance и FreeInstance.

а однако утечки памяти тогда.

[Sibedir]

Поясни ...

[GunSmoker]

Эй, да с такой логикой можно юзать SafeMM - он вообще никогда память не отпускает Весьма здорово для отладки, но сомнительно для практических целей. Чем дольше работает программа, тем больше памяти она сожрёт, пока в итоге вся машина не упадёт на колени под непосильной нагрузкой.

[Пепел Феникса]

ReallocMemory (buf, 4);

эти 4 байта где освобождаются?