reynosa - ¿Por qué se asignan los objetos Delphi incluso después de llamar a.Free?

delphi technologies mexico

Question

En Delphi, ¿por qué la función Assigned () aún devuelve True después de llamar al destructor?

El siguiente código de ejemplo escribirá "sl todavía está asignado" a la consola.

Sin embargo, puedo llamar a FreeAndNil (sl); y no será asignado.

He estado programando en Delphi por un tiempo, pero esto nunca tuvo sentido para mí.

¿Alguien puede explicar?

program Project1;
{$APPTYPE CONSOLE}
uses SysUtils, Classes;
var
sl : TStringList;
begin
sl := TStringList.Create;
sl.Free;
if Assigned(sl) then
WriteLn(''sl is still assigned'')
else
WriteLn(''sl is not assigned'');
end.

Intenté comparar las operaciones de VCL ... FreeAndNil es corto, dulce y tiene sentido:

procedure FreeAndNil(var Obj);
var
P: TObject;
begin
P := TObject(Obj);
TObject(Obj) := nil; // clear the reference before destroying the object
P.Free;
end;

Pero TObject.Free está en ensamblador misterioso, que no entiendo:

procedure TObject.Free;
asm
TEST EAX,EAX
JE @@exit
MOV ECX,[EAX]
MOV DL,1
CALL dword ptr [ECX].vmtDestroy
@@exit:
end;

Answer 1

El método gratuito de TObject es como el "operador de eliminación" en C ++. Llamar gratis primero llamará a la función Destruir y luego liberará el bloque de memoria que se asignó para el objeto. Por defecto, el puntero a la memoria no se pone a cero porque usará una instrucción.

Lo correcto en la mayoría de los casos es no establecer el puntero a cero porque en la mayoría de los casos no importa. Sin embargo, a veces es importante, por lo que solo debe anular el puntero para esos casos.

Por ejemplo. En una función en la que se crea un objeto y luego se libera al final de la función, no tiene sentido establecer la variable en cero, ya que eso solo está desperdiciando el tiempo de la CPU.

Pero para un objeto o campo global al que se pueda hacer referencia de nuevo más tarde, debe establecerlo en cero. Use FreeAndNil o simplemente configure el puntero a cero, no importa. Pero manténgase alejado de las variables de ajuste a cero que no necesitan ponerse a cero por defecto.

Answer 2

Los ''objetos'' de Delphi VCL en realidad son siempre indicadores de objetos, pero este aspecto generalmente está oculto para usted. Simplemente liberando el objeto deja el puntero colgando, por lo que debería usar FreeAndNil en su lugar.

El "misterioso ensamblador" se traduce aproximadamente a:

if Obj != NIL then
vmtDestroy(obj); // which is basically the destructor/deallocator.

Debido a que Free checks for NIL primero, es seguro llamar a FreeAndNil varias veces ...

Answer 3

Si usa sl.Free, el objeto se libera pero la variable sl aún apunta a la memoria que ahora no es válida.

Utilice FreeAndNil (sl) para liberar el objeto y borrar el puntero.

Por cierto, si lo haces:

var
sl1, sl2: TStringList;
begin
sl1 := TStringList.Create;
sl2 := sl1;
FreeAndNil(sl1);
// sl2 is still assigned and must be cleared separately (not with FreeAndNil because it points to the already freed object.)
end;
procedure TObject.Free;
asm
TEST EAX,EAX
JE @@exit // Jump to exit if pointer is nil.
MOV ECX,[EAX]
MOV DL,1
CALL dword ptr [ECX].vmtDestroy // Call cleanup code (and destructor).
@@exit:
end;

Answer 4

Tenemos reglas simples:

1. Si desea usar Assigned() para verificar si un objeto Obj ya está creado o no, asegúrese de usar FreeAndNil(Obj) para liberarlo.

2. Assigned() solo dice si se asigna o no una dirección.

3. A la referencia de objeto local siempre se le asigna una dirección de basura (alguna dirección aleatoria), por lo que es bueno establecerlo en cero antes de usarlo.

Ejemplo: (Este no es el código completo)

{Opened a new VCL application, placed a Button1, Memo1 on the form
Next added a public reference GlobalButton of type TButton
Next in OnClick handler of Button1 added a variable LocalButton
Next in body, check if GlobalButton and LocalButton are assigned}
TForm2 = class(TForm)
Button1: TButton;
Memo1: TMemo;
procedure Button1Click(Sender: TObject);
private
{ Private declarations }
public
{ Public declarations }
GlobalButton: TButton;
end;
procedure TForm2.Button1Click(Sender: TObject);
var
LocalButton: TButton;
begin
if Assigned(GlobalButton) then
Memo1.Lines.Add(''GlobalButton assigned'');
if Assigned(LocalButton) then
Memo1.Lines.Add(''LocalButton assigned'');
end;