dynamische Array kopieren (letztes Element fehlt)

[freimatz]

Weils hier öfters ein Problem war: http://www.selbe-gleiche.de/

[himitsu]

Ihr müsst bei "ohne var" das SetLength weglassen,
denn Dieses behandelt ordnungsgemäß die Referenzzählung und macht vor dem nachfolgenden Schreibzugriff die lokale "Kopie" unique.
Mit "const" würde die Referenz nicht hochgezählt, was bei SetLength dann durchrutschen würde (wenn vor Funktionsaufruf nur eine Referenz existierte), aber da SetLength bei einer Kostante vom Compiler verweigert wird, gibt es dieses Problem dort nicht.

Grund: außer bei LongStrings funktioniert für keine dynamischen Array die Referenzprüfung, wenn auf Felder schreibend zugegriffen wird.
CopyOnWrite ist da nur für LongStrings (String, AnsiString, UnicodeString usw.) implementiert und fehlt seit Jahrzehnten.

PS: A2 := A1; und übergabe an Parameter/Property erhöht nur den Referenzzähler.
A2 := Copy(A2); , SetLength oder die UniqueXyz-Funktionen aus der System-Unit sollte man also vor Schreibzugriffen immer manuell aufrufen, wenn man mit "externen" Arrays arbeitet und deren Inhalt nicht veränder darf.



PSS: Noch ein Beispiel, dass auch LongStrings nicht von Problemen verschont werden.

Delphi-Quellcode:

function MeineFunktion: string;
begin
  Result := Result + 'X';
end;

S := '';
for i := 1 to 10 do
  S := MeineFunktion;
ShowMessage(S);

[QuickAndDirty]

Bitte sagt mir ob ich das richtig verstanden habe!

Also wird tatsächlich immer eine Referenz auf ein DynArray übergeben.
Abhängig von dem was ich danach mit der Referenz des Dnyarray mache wird unterschiedlicher Maschinencode erzeugt.

Im

Code:

 procedure KeyFooVal(arr: TStringDynArray)

Fall, wird erst beim schreiben durch "Copy on Write" eine Arbeitskopie angelegt.
Wenn ich nur lesend auf das Dynarray zugreife dann lese ich vom referenzierten Original?
Das Schreiben auf Elementen des DynArray gilt nicht als Schreibenderzugriff auf das DynArray. "Copy on Write" erfolgt nicht.
SetLength gilt als Schreiben auf das DynArray "copy on Write" erfolgt.

Im

Code:

procedure KeyFooRef(var arr: TStringDynArray);

Fall, wird auch eine Referenz übergeben aber in keinem Fall erfolgt ein "Copy on write" wenn das DynArray bearbeitet wird.

>"This is madness!"