Warum wird eine dynamisch erzeugte Matrix scheinbar automatisch freigegeben?

[himitsu]

Ja, ThreadVar ist ein Sonderfall, aber bei allem Anderen werden gemanagte Typen ordentlich behandelt.

Aufpassen muß man z.B. wenn man Speicher für Records, oder so, via GetMem/FreeMem und Co. holt/freigibt.
Aber New/Dispose beachten sowas.



ThreadVar:

In der Hilfe wird zwar Einiges gesagt, aber das auch nicht ganz Richtig und Vieles fehlt komplett (z.B. was man dort besser nur mit viel Vorsicht verwenden sollte, oder besser garnicht, also was man da am Ende selber Freigeben muß).
Außerdem wäre es nett, wenn hier der Compiler bereits eine Warnung für solche Typen werfen würde, denn er weiß ja welches ein gemanagter Typ ist, bzw. Pointer allgemein (wo er nicht weiß, ob es nur auf was Anderes zeigt, oder ob der Entwickler dort Selbsterstelltes reintun wird).

Bei Strings/Interfaces/Objekten/Variants/DynArrays/... würde z.B. gern ein Speicherleck entstechen, wenn der Programmierer es nicht freigibt, denn Delphi/Windows macht es nicht automatisch, beim Ende des Threads,
also wäre es besser sowas besser nicht zu verwenden.

Zitat:

Bei Zeigern und Funktionen ist diese Art der Deklaration nicht möglich. Typen, bei denen ein Schreibzugriff einen Kopiervorgang impliziert, wie lange Strings, können nicht als Thread-Variablen deklariert werden.

Das stimmt so nicht ganz -> Doch, kann man.

Die Referenzzählung ist thread-save, auch was den "Kopiervorgang" betrifft, denn erst wird referenzgezählt (beim Schreibzugriff auf Unique geändert) und dann in die "eine" eigene Referenz geschrieben.
Ganze Strings zuweisen geht ohne Probleme, was hängen könnt, wäre z.B. wenn man via PChar/Pointer drauf zugreift, bzw. einzelne Chars über den Arrayzugriff auslesen will (schreiben geht, bei LongStrings, aber nicht bei DynArrays).
Bei DynArrays gibt es leider kein Copy-on-Write, was das Ändern einzelner Felder etwas unpraktisch macht, wenn man das Array nicht vorher selber "unique" macht.
Strings mit Pointerzugriff könnte man vorher via UniqueString explizit absichern, was aber beim Cast mit PChar meistens bereits automatisch gemacht wird.

[Andreas13]

Zitat von 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...

Habe gerade in meiner lokalen Hilfe-Datei zu XE5 (Stand ca. 2013) folgenden Hinweis gefunden: ms-help://embarcadero.rs_xe5/rad/Strukturierte_Typen.html

Zitat:

Dynamische Array-Variablen sind implizit Zeiger und werden mit derselben Referenzzählung verwaltet wie lange Strings. Um ein dynamisches Array freizugeben, weisen Sie einer Variable, die das Array referenziert, den Wert nil zu, oder Sie übergeben die Variable an Finalize. Beide Methoden geben das Array unter der Voraussetzung frei, dass keine weiteren Referenzen darauf vorhanden sind. Dynamische Arrays werden immer freigegeben, sobald ihr Referenzzähler null ist. Dynamische Arrays der Länge 0 haben immer den Wert nil.

Leider wird nirgends aufgeführt, welche Typen "gemanagt" sind und somit automatisch freigegeben werden.
Grüße, Andreas

[himitsu]

Man kann alles an Finalize übergeben ... am Ende des Scopes (z.B. im END; von Funktionen wird Dieses aufgerufen, in einem implizitem Try-Finally, sobald gemanagte lokale Variablen vorhanden sind)

Was:

Zitat:

Strings/Interfaces/Objekten/Variants/DynArrays

zzgl. CustomManagedRecords

genauer LongStrings (alle Delphi-Strings, außer ShortString und WideString) sind wie aufgemotzte dynamische Arrays.
Der WideString ist sogar "eigentlich" eine gekapselte WinAPI für einen BSTR / OLE-String (siehe SysAllocString).

[dummzeuch]

Zitat von Andreas13:

Zitat von 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...

Habe gerade in meiner lokalen Hilfe-Datei zu XE5 (Stand ca. 2013) folgenden Hinweis gefunden: ms-help://embarcadero.rs_xe5/rad/Strukturierte_Typen.html

Eben: Man kann ein dynamisches Array explizt freigeben aber man muss das nicht tun. Abgesehen davon ging es doch um Delphi 5 (released 1999, ), nicht Delphi XE5 (released 2013), oder nicht?

[Andreas13]

Hi Thomas,
damit wollte ich nur sagen, daß die eingebaute Delphi-Hilfe selbst bei XE5 (Stand: 2013) immer noch nicht von einer automatischen Freigabe ("managed Type") spricht, sondern nur von Nil oder Finalize zur Freigabe des Speichers.
Was mich gewundert hat, war, daß wenn ich weder Nil noch Finalize benutze, das dynamische Array trotzdem freigegeben wird.
Grüße, Andreas