Frage zu einer type definition

[A.Griffin]

Code:

type
  T_BUS_Text = record
    case byte of
      0:
        (b: array[1..20] of byte);
      1:
        (s: array[1..20] of char);
      2:
        (w: array[1..10] of word);
  end;

Code:

...
EinBeispiel: T_BUS_Text;
...

Es werden in dem Code den ich gerade lese dann z.B. EinBeispiel.b[i] von 1 bis 8 gefüllt und dann wird aber mit EinBeispiel.s weitergearbeitet. Wie funktioniert diese Art von Typdefinition?

[Neutral General]

Alle 3 Arrays überlagern im Speicher. Alle Daten aus b sind gleichzeitig auch in s und in w.
Ist unterm Strich eine Art cast - Gleiche Daten werden einfach unterschiedlich interpretiert.

[DeddyH]

Ab Delphi 2009 wird der Code aber so wie er ist nicht mehr funktionieren, man sollte sicherheitshalber eine kleine Änderung vornehmen:

Delphi-Quellcode:

type
  T_BUS_Text = record
    case byte of
      0:
        (b: array[1..20] of byte);
      1:
        (s: array[1..20] of AnsiChar); //Probleme mit Unicode vermeiden
      2:
        (w: array[1..10] of word);
  end;

[A.Griffin]

Das heißt dann, wenn ich EinBeispiel.b[1] := 77; mache dann habe ich bei EinBeispiel.s[1] ein "M" gespeichert?

[Neutral General]

Jo genau.

[A.Griffin]

Vielen Dank

[Rollo62]

Sollte das nicht besser ein packed record sein ?

[himitsu]

Es sind alles Bytes, somit ist es praktisch immer packed.

[Rollo62]

byte und word könnte sich evtl. anders anordnen ...

Naja, wenn du sicher bist ist es ja OK.

[Stevie]

Arrays sind immer packed.

[himitsu]

Arrays sind Packed, aber wenn der Field-Typ unpacked ist und eine unrunde Größe hat (z.B. 3 Byte Inhalt, aber 4 Byte groß), dann ist das Array natürlich auf die 4 Byte ausgerichtet.

Es gibt kein MinAlign, sondern nur ein MaxAlign, als Compiler-Option.
2 Byte passen "genau" in ein Word, also richten sie sich immer doppelt übereinander aus, egal ob packed oder nicht.

[Rollo62]

Îch sehe hier wird alles theoretisch perfekt aufarbeitet, super :-D

Ich bin aber leider auch zu oft auf der praktischen Seite unterwegs, und da wird
dann aus solchen Konstrukten gerne schnell mal:

Delphi-Quellcode:

type
  T_BUS_Text = record
    case byte of
      0:
        (b: array[1..20] of byte);
      1:
        (s: array[1..20] of AnsiChar); //Probleme mit Unicode vermeiden
      2:
        (w: array[1..10] of word);
      //
      3:
        (w: array[1..3] of TDings);  // Sind das 9 Bytes ?
      4:
        (w: array[1..5] of TBums);   // Sind das 10 Bytes ? 
      5:
        (w: array[1..2] of TFlumms); // Sind das 12 Bytes ?
      6:
      //...

  end;

Bevor ich mir da alle Optionen durchspiele (die mein Kollege vielleicht nicht so fleissig testet), mache ich einfach
pro Forma ein "packed" davor, und bin erstmal auf der sichere(ren) Seite :stupid:

Rollo

[himitsu]

Warum durchtesten?

Wenn das "veränderliche" {$ALIGN} bekannt ist, kann ich meistens sofort sagen, wie das ausgerichtet wird
Wenn man das "einfache" System erstmal verstanden hat, ist es garnicht mehr so schwer.
Nur beim Typen Extended vergesse ich ständig, wie dieser krumme 10-Byte-Typ gerechnet wird. :oops:

PS: Das Selbe betrifft natürlich auch die Felder in Objekten (unter Betrachtung des Vorfahren)
und auch die globalen Variablen (HEAP), sowie die lokalen Variablen (Sack, nur hier halt rückwärts).

PACKED ist echt etwas ganz Schlimmes, denn packed ARRAY/RECORD werden als FieldSize=1 gerechnet, also ab da nicht mehr optimal ausgerichtet.