Memoria libre y nula en Delphi usando una sola función

Question

Tengo muchas asignaciones de memoria y el mismo número de llamadas de FreeMem. Sin embargo, lo que no tenía es una comprobación antes de llamar a freemem para ver si el puntero era nulo, y una línea después de liberar para establecer el puntero a cero.

Me trataron de crear una función para hacer esto

procedure FreeMemAndNil(p: Pointer; size: Integer = -1); 
begin 
    if p <> nil then 
    begin 
    if size > -1 then 
     FreeMem(p, size) 
    else 
     FreeMem(p); 
    p := nil; 
    end; 
end; 

Pero hay un problema. No puede establecer el puntero original en nil porque el parámetro no es variable (var p: Pointer). No puedo usar var aunque porque si el compilador se queja, el tipo tiene que ser del mismo tipo (Puntero). Los punteros que estoy pasando podrían ser punteros a cualquier tipo (PChar, puntero regular, etc.).

¿Qué puedo hacer para solucionarlo? ¿Hay una mejor solución?

Answer 1

Me gusta Mason Wheeler dijo que debe utilizar el mismo truco como FreeAndNil en la unidad SysUtils hace referencia a objetos.
Así que he modificado el código, la unidad probada, y esto funciona bien:

procedure FreeMemAndNil(var ptr; size: Integer = -1); 
var 
    p: Pointer; 
begin 
    p := Pointer(ptr); 
    if p <> nil then 
    begin 
    if size > -1 then 
     FreeMem(p, size) 
    else 
     FreeMem(p); 
    Pointer(ptr) := nil; 
    end; 
end; 

--jeroen

PS: Rob Kennedy escribió una respuesta agradable en untyped var parameters que tiene un enlace a su página de parámetros sin tipo En Internet.

PS2: Para referencia: The Kylix version of SysUtils.pas is on-line, y el FreeAndNil no es idéntico a como está en Delphi.

Answer 2

Hay un procedimiento en SysUtils llamado FreeAndNil que hace esto para los objetos. Lo hace mediante el uso de un parámetro var var que se envía a TObject, y depende de usted asegurarse de que no se le pase algo que no sea un TObject. Podría hacer algo similar aquí si lo necesitara. Sólo sé cuidadoso; no hay seguridad de tipo si haces eso.

Answer 3

Para poder pasar valores de puntero arbitrarios a esa función, debe seguir el mismo modelo que FreeAndNil y pasar un parámetro sin tipo. De lo contrario, el compilador se queja correctamente de que los tipos de parámetros reales y formales no son idénticos. Escriba el parámetro sin tipo en Pointer cuando llame a FreeMem en él.

Estás haciendo un par de cosas sin sentido en esa función.

Lo primero de todo es que liberar un puntero nulo siempre es seguro, por lo que no hay ninguna razón para comprobarlo antes de llamar a FreeMem. Está liberando un puntero no nulo del que debe preocuparse, pero ninguna función puede protegerlo de eso.

A continuación, el parámetro de tamaño para FreeMem se ha ignorado durante muchos años. Solía ​​ser que si proporcionaba ese parámetro, tenía que coincidir con el tamaño pasado a GetMem, pero hoy en día, FreeMem ignora por completo ese parámetro, el compilador ni siquiera pasa ese parámetro a la función.

Con todo lo anterior en mente, su función se reduce a esto:

procedure FreeMemAndNil(var P); 
var 
    Tmp: Pointer; 
begin 
    Tmp := Pointer(P); 
    Pointer(P) := nil; 
    FreeMem(Tmp); 
end; 

Tenga cuidado de no llamar accidentalmente esa función en cualquier cosa que no es un puntero asignado con GetMem. El compilador no lo captará como lo haría si estuviera usando parámetros escritos.Si intentas liberar algo que no fue asignado con GetMem, probablemente obtendrás una excepción EInvalidPointer, pero la variable que ingresaste seguirá siendo nula después. Así es como funciona FreeAndNil.

Answer 4

Tiendo a trabajar mucho con ReallocMem para el funcionamiento del puntero/memoria.

Calling

ReallocMem(P,0) 

establecerá el puntero a Nada.

Lo que necesita saber sobre su uso, P debe inicializarse antes de pasarlo a ReallocMem.