Aufbau Dynamisches Array?

[iphi]

Hallo,

kann mir jemand beim Verständnis des Aufbaus von dynamischen Arrays auf die Sprünge helfen?

Soweit verstehe ich die Sache:

var x: array of BYTE; ...legt einen Zeiger x an, der auf den später allokierten Speicherblock zeigen soll.

SetLength(x,4); ...allokiert 4 Byte zusammenhängenden Speicher. Auf diesen zeigt dann x.

Nun meine Frage: Wo wird denn die Länge des dynamischen Arrays im Speicher abgelegt? Ist x wirklich nur ein Zeiger oder ein Record, der die Länge enthält?

[Deep-Sea]

Auszug aus der System.pas:

Delphi-Quellcode:

procedure _DynArrayLength;
asm
{       FUNCTION _DynArrayLength(const a: array of ...): Longint; }
{     ->EAX     Pointer to array or nil                           }
{     <-EAX     High bound of array + 1 or 0                      }
        TEST    EAX,EAX
        JZ      @@skip
        MOV     EAX,[EAX-4]
@@skip:
end;

Interessant ist hier nur die Zeile mit dem MOV-Befehl. Er packt in das Ausgaberegister den Wert, auf den der Array-Pointer - 4 zeigt.
Sprich: Die Länge wird direkt vor den Daten, auf die der Pointer zeigt, gespeichert.
Es handelt sich also nur um einen Pointer und keinen Record.

[mleyen]

Delphi-Quellcode:

function GetArrayLen(var bytes: TBytes): Longint;
begin
  if Cardinal(bytes) = 0 then
    Result := 0
  else
    Result := PInteger(Cardinal(@bytes[0])-sizeof(Result))^;
end;

In der kommenden 64bit-Version wird da auch Int64 verwendet.

[Deep-Sea]

Richtig. Mein Auszug stammt aus einer 32-bit-Version
(Aber darum ging's hier ja auch nicht wirklich.)

[iphi]

Alles klar, danke!
Dann sieht der Datenblock eines dynamischen Arrays also genauso aus wie der eines statischen Arrays mit der Arraylänge ganz am Anfang, richtig?

[Blup]

Nein, in einem statischen Array sind kein Informationen über die Größe enthalten.

Bei aktiver Bereichsprüfung erzeugt der Compiler lediglich Code der die Zugriffe auf den gültigen Bereich des Arrays prüft. Die Größe des Array ist dabei Teil dieses Codes.