Warum wird eine dynamisch erzeugte Matrix scheinbar automatisch freigegeben?

[Andreas13]

Hallo Community,
ich erzeuge zur Laufzeit eine spezielle zweidimensionale dynamische Struktur: Eine dreieckige Matrix gemäß nachfolgendem Demo-Programm. Die Dreieckmatrix wird von der Procedure Make_3EckMatrix(..) erzeugt. Die Procedure PrintMatrixX(..) hilft Euch bei der simplen Visualisierung dieser Struktur.

Delphi-Quellcode:

program _3Eck_Matrix_2;

{$APPTYPE CONSOLE}

{$R *.res}

uses
  System.SysUtils;

Type
  TDynExtendedVektor = TArray<Extended>; // = Array of Extended;
  TMatrix            = Array of TDynExtendedVektor;

  
Procedure PrintMatrixX(CONST Matrix: TMatrix; Name: String); Overload;
// Nur zum Debuggen

VAR
  Zeile, Spalte, n_Zeilen, n_Spalten: Integer;

CONST
  Leer = '    ';
  Pad  = 6;

Begin
  WriteLn;
  WriteLn(Name + '[', Low(Matrix), '..', High(Matrix), ' ; ', Low(Matrix[0]), '..', High(Matrix[0]), ']');
  WriteLn('--------------------------');

  n_Zeilen:= Length(Matrix);

  For Zeile:= 0 To n_Zeilen - 1 Do
  Begin
    n_Spalten:= Length(Matrix[Zeile]);
    
    For Spalte:= 0 To n_Spalten - 1 Do
    Begin
      Write(Matrix[Zeile, Spalte].ToString.PadLeft(Pad));
      Write(Leer);
    End;
    WriteLn;
  End;
  WriteLn('--------------------------');
  WriteLn;
End;{PrintMatrixX}
{----------------}

Procedure Make_3EckMatrix(VAR DreiEckMatrix: TMatrix; 
                              n_Spalten_Max: Integer);
// Dynamische DreiEckMatrix dimensionieren

VAR
  Zeile  : Integer;
  Spalten: Integer;

Begin
  SetLength(DreiEckMatrix, N_Spalten_Max, 0); // Zunächst NUR einen Vektor anlegen

  Spalten:= N_Spalten_Max;   

  For Zeile:= Low(DreiEckMatrix) To High(DreiEckMatrix) Do
  Begin
    SetLength(DreiEckMatrix[Zeile], Spalten);
    Dec(Spalten);
  End;
End;{Make_3EckMatrix}
{-------------------}

VAR
  n_Spalten_Max: Integer;
  DreiEckMatrix: TMatrix;  
  
Begin
  ReportMemoryLeaksOnShutdown:= True;

  Try
    Try 
      n_Spalten_Max:= 10;
      WriteLn('n_Spalten_Max = ', n_Spalten_Max);
      
      Make_3EckMatrix(DreiEckMatrix, n_Spalten_Max);
      PrintMatrixX(DreiEckMatrix, 'DreiEckMatrix');

      ReadLn;
     
    Finally
      // DreiEckMatrix:= NIL; // Nicht nötig? Wird anscheinend automatisch freigegeben?
    End;  
  Except
    On E: Exception Do
      Writeln(E.ClassName, ': ', E.Message);
  End;
End.

Meine Frage:
Wieso meldet weder ReportMemoryLeaksOnShutdown:= True; noch madExcept einen Speicherleck, wenn ich die dynamische Struktur gar nicht freigebe?

Vorsichtshalber habe ich ein  DreiEckMatrix:= NIL; im Finally-Block hinzugefügt, frage ich mich jedoch, ob nicht eine Speicher-Freigabe analog zum Anlegen via Make_3EckMatrix(..) per For-Schliefe notwendig wäre.

Weiß jemand eine Antwort?
Danke im Voraus!

Viele Grüße
Andreas

[Uwe Raabe]

Dynamische Arrays werden bei Verlassen des Scopes automatisch freigegeben.

[TurboMagic]

Also wenn ich's richtig sehe ist da nirgends ein Create in deinem Code, oder?
Dann wird auch kein Objekt irgendwo erzeugt und damit gibt's auch kein Speicherleck weil du dann
nur einen dynamischen Array erzeugst und der wird ja automatisch verwaltet.

[Andreas13]

Ich habe es - noch zu Zeiten von Delphi 5 so gelernt - und dies seither auch stets so gehandhabt, daß jedes mit SetLegth(My_Array, Len) erzeugte dynamische Array am Ende mit My_Array:= NIL; freigegeben werden muß.
Von diesem (für mich neuen) Comfort habe ich bis jetzt nichts mitbekommen...
Danke!
Grüße, Andreas

[dummzeuch]

Zitat von Andreas13:

Ich habe es - noch zu Zeiten von Delphi 5 so gelernt - und dies seither auch stets so gehandhabt, daß jedes mit SetLegth(My_Array, Len) erzeugte dynamische Array am Ende mit My_Array:= NIL; freigegeben werden muß.

Ich erinnere mich nicht, dass das bei Delphi 5 notwendig gewesen wäre. Das mag aber meinem schlechten Gedächtnis geschuldet sein. Ich könnte ja jetzt mein Notebook mit der Delphi 5 Installation rauskramen...

[Andreas13]

Hallo Thomas,
Du magst recht haben. Allerdings konnte ich nach einigem Suchen herausfinden, wo ich das gelernt habe: In einem von mir hochgeschätzten und vielbenutzen Buch:
Doberenz + Gewinnus: Borland Delphi 7: Grundlagen Profiwissen, 2003. S. 93/94.
Bis jetzt hat es meine Programme nicht gestört, wahrscheinlich war es aber, wie Ihr alle schreibt, überflüssig.
Man(n) lernt ja bekanntlich nie aus.
Danke Euch allen!

Viele Grüße
Andreas

[TurboMagic]

Naja, der Code für den Multimedia Timer dieser beiden Herren ist jedenfalls etwas fehlerhaft und nicht wie gezeigt lauffähig...

Soviel zur Schätzung
Aber ja, es gibt schlechtere Bücher...

[himitsu]

Managed Typen verwaltet Delphi automatisch, also Speicherfreigabe und deswegen auch immer eine autmatische Initialisierung der Variable mit 0 (nil).

Interfaces
Variants
dynamische Arrays
LongStrings (alle Strings außer ShortString, aber der ist ein statisches Array und somit auch automatisch weg)
und neuerdings auch Custom Managed Records (wenn man Initialize und Finalize implementiert hat)

[TiGü]

Bevor du das Rad neu erfindest, schau dir doch auch die Unit System.Math.Vectors an.
Vielleicht ist da was dabei, was du gebrauchen kannst.
Gibt es meines Wissens nach ab Delphi Seattle aufwärts.

https://docwiki.embarcadero.com/Libr...m.Math.Vectors

[Redeemer]

Zitat von Andreas13:

Ich habe es - noch zu Zeiten von Delphi 5 so gelernt - und dies seither auch stets so gehandhabt, daß jedes mit SetLegth(My_Array, Len) erzeugte dynamische Array am Ende mit My_Array:= NIL; freigegeben werden muß.

Gilt nur für threadvar, oder? Bei threadvar muss man auch Strings leeren.