Dispose mit untypisiertem Pointer

[Namenloser]

Hallo, ich stehe gerade ein bisschen auf dem Schlauch:

Delphi-Quellcode:

type 

PRecord = ^TRecord;
TRecord = record
  { was auch immer }
end;

var
  TypedPointer: PRecord;
  UntypedPointer: Pointer;
begin
  New(TypedPointer);
  UntypedPointer := TypedPointer;
  Dispose(UntypedPointer);
end;

Kann ich sowas machen, oder gibt das ein MemoryLeak? Kompilieren tut es zumindest, aber woher weiß Dispose die Größe des Records? Merkt der Speichermanager sich die? Wenn ja, kann ich mich darauf verlassen, dass das unter allen Versionen funktioniert?

Danke im Voraus

[Bjoerk]

Kannst du mit ReportMemoryLeaksOnShutDown := true; in der dpr prüfen. Sollte m. E. aber gehen, das sich der Pointer ja nicht geändert hat.

[p80286]

Das dürfte nicht richtig funktionieren, da ohne Typ die Information fehlt wieviel Speicher adressiert wird.

Gruß
K-H

[Namenloser]

ReportMemoryLeaksOnShutDown meldet keine Leaks, aber so ganz trau ich dem Braten nicht.

[Bummi]

Ich verheddere mich auch gerade in der Pointern (müde), allerdings liefert
ReportMemoryLeaksOnShutDown=true keine Fehler, im Gegensatz zu einer Version ohne
Dispose(UntypedPointer);
Nur aus dem Bauch, wegen Übermüdung, Pointer ist Pointer ??

[USchuster]

Für Records mit Managed Types wie (Long)Strings wird zwingend ein typisierter Pointer(cast) benötigt, denn sonst gibt es Speicherlöscher außer es gibt einen zusätzlichen Finalize Aufruf.

Delphi-Quellcode:

program RecordMemleak;

{$APPTYPE CONSOLE}

type
  PRecord = ^TRecord;
  TRecord = record
    Value: string;
  end;

var
  TypedPointer: PRecord;
  UntypedPointer: Pointer;
begin
  ReportMemoryLeaksOnShutdown := True;
  New(TypedPointer);
  TypedPointer^.Value := 'Foo';
  UntypedPointer := TypedPointer;
  Dispose(UntypedPointer);
end.

[Medium]

Ich würde fast schätzen, dass sich der MM die zu einer Adresse angeforderte Länge merkt. Schätzen! (Aber da es an sich ein Leichtes für ihn wäre, schätze ich das hier mal laut. Er klassifiziert Requests ja auch anhand der Größe in diverse Buckets.)

@RedBox: Ausser dort *hüstel* (Was auch erklärbar wäre, da vom String nur der Pointer im Record liegt, der ja wieder ein ganz eigener für sich ist - und wovon der MM nicht so arg viel mitbekommt.)

[Namenloser]

Zitat von Medium:

Ich würde fast schätzen, dass sich der MM die zu einer Adresse angeforderte Länge merkt. Schätzen! (Aber da es an sich ein Leichtes für ihn wäre, schätze ich das hier mal laut.)

Scheint so zu sein, ich habe mal in der System.pas und getmem.inc gewühlt, und keine der dortigen Freigabe-Prozeduren erwartet einen Parameter für die Länge, immer nur den Pointer.

Zitat von Medium:

@RedBox: Ausser dort *hüstel* (Was auch erklärbar wäre, da vom String nur der Pointer im Record liegt, der ja wieder ein ganz eigener für sich ist - und wovon der MM nicht so arg viel mitbekommt.)

Ja, macht für mich auch Sinn.

Damit wäre es wohl geklärt. Danke euch.

[himitsu]

Dispose weiß bei einem untypisiertem Zeiger nicht wie groß der Record ist.
Es gibt einfach nur den kompletten Speicherblock frei und fertig.

Wenn sich in diesem Record Speicherblock aber referenzierte Variablen befanden, dann werden diese nicht freigegeben, denn ohne entsprechende TypeInfo (welche es bei einem typisiertem Zeiger bekommt) weiß es ja nichts davon.

dynamische Arrays, String, Interfaces und Co., welche sich in dem Record befinden könnten, werden also nicht mit freigegeben.

Zitat:

Delphi-Quellcode:

  TRecord = record
    Value: string;
  end;

Der String bliebe somit als Speicherleck zurück.