Verständnisfrage offene Arrays, move und setlength

[peterbelow]

Zitat von kmma:

Also um die Frage auf ein Langwort runterzubrechen:

Delphi-Quellcode:

type TDings = packed record
  a: integer;
  b: integer;
end;
type TDingsArray = array of TDings;
var Dings: TDings; //sizeof(Dings) = 4;

Stimmt nicht, Sizeof(Dings) ist 8, denn records sind value types, die Variable Dings enthält also keinen pointer sondern direkt die Daten des Records.

Delphi-Quellcode:

var CardVal: Cardial;
var p: pointer;

p := @Dings;
move(Dings, CardVal, 4); // Cardval = 0

Nach diesem Move enthält CardVal den Wert von Dings.a, nicht eine Adresse.

Delphi-Quellcode:

move(p, CardVal, 4); // eben die Adresse
move(p, Dings, 4); // passiert da jetzt irgendwas mit Speicher der mir nicht gehört?

Das erste Move schreibt den Wert von p (die Addresse von Dings) in die Variable Cardval (für 32 bit Target, für 64 bit wäre Sizeof(pointer) = 8, Sizeof(Cardval) aber 4)
Das zweite Move schreibt dann analog in Dings.a, d.h. nach den Move ist Pointer(Dings.a) = @Dings.

Delphi-Quellcode:

fillchar(Dings, 4, 0);  // um den Müll wieder loszuwerden
setlegth(Dings, 100);
move(Dings, CardVal, 4); // CardVal = Zeiger auf Array of TDings?

Das compiliert nicht da Dings ein TDings und kein TDingsArray ist.

Nehmen wir mal an, Dings wäre ein TDingsArray und Du hättest Platz für 100 TDings reserviert:
  SetLength(Dings, 100); Nehmen wir weiter an, Du hättest irgend einen Puffer A mit 200 Integern und einen Pointer pA auf den Anfang dieses Puffers. Dann würde

Move(pA^, Dings[0], 200 * Sizeof(Integer)); den Inhalt des Puffers in den Dings array kopieren. Move verwendet typenlose Parameter, d.h. der Compiler übergibt hier die Addresse der übergebenen Variablen, deshalb muß pA dereferenziert werden und anstelle von Dings dessen erstes Element übergeben werden.

Move(pA^, Dings, 200 * Sizeof(Integer)); würde den Stack beginnend mit der Addresse von Dings mit 200 Integern überschreiben, definitiv nicht gut!

fillchar(Dings, 4, 0); // um den Müll wieder loszuwerden würde ein memory leak erzeugen; es überschreibt den vorher per SetLength erzeugten Pointer mit Nil, ohne den allokierten Speicher freizugeben.

Delphi-Quellcode:

Dings := nil;

oder 

SetLength(Dings, 0);

gibt den Speicher frei.