对已释放的对象的错误引用

Question

有没有办法确保我们对一个对象持有一个可用的引用,即确定它还没有被释放,留下那个非零引用悬空.

Answer 1

如果您使用FastMM4作为内存管理器,则可以检查该类是否不是TFreeObject.
或者,在更标准的情况下,使用一个例程,通过检查类VMT来验证您的对象是否正如它所说的那样.

已经有这样的ValidateObj函数已经存在了一段时间(由Ray Lischner和Hallvard Vassbotn撰写:http://hallvards.blogspot.com/2004/06/hack-6checking-for-valid-object.html )

这是另一个:

function ValidateObj(Obj: TObject): Pointer;
// see { Virtual method table entries } in System.pas
begin
  Result := Obj;
  if Assigned(Result) then
    try
      if Pointer(PPointer(Obj)^) <> Pointer(Pointer(Cardinal(PPointer(Obj)^) + Cardinal(vmtSelfPtr))^) then
        // object not valid anymore
        Result := nil;
    except
      Result := nil;
    end;
end;

更新:有点谨慎......上面的函数将确保结果是nil或有效的非nil对象.如果内存管理器已经重新分配了以前释放的内存,它并不能保证Obj仍然是您认为的那样.