Du kannst nicht unbedingt davon ausgehen, daß die Strukturelemente ohne
"Füllstoff" linear aufeinanderfolgend im Speicher liegen.
Bei Deinem Beispiel wird das zwar der Fall sein, aber wenn auch nur ein
Element anderer Strukturgröße dazwischenliegt, dann besteht die reelle
Chance, daß nachfolgende Strukturelemente neu ausgerichtet werden.
Ein Beispiel, angenommen sei sizeof (int) == 4:
struct bla
{
int wert1; // offset 0
char wert2; // offset 4
int wert3; // offset 8
};
Diese Ausrichtung ist bei einigen Prozessorarchitekturen zwingend
erforderlich; nicht jeder Prozessor kann 32-Bit-Zugriffe auf nicht
durch vier teilbare Adressen ausführen. Manche Prozessorarchitekturen
haben dieses Problem bereits bei 16-Bit-Zugriffen, wie beispielsweise
68K.
Mit
#pragma pack(1)
kann der C-Compiler allerdings davon überzeugt werden, Strukturelemente
ohne "Füllbytes" auszurichten; der Compiler wird, sofern es
erforderlich ist, aufwendigeren Code für "misaligned" 32-Bit-Zugriffe
erzeugen.
Die x86-Architektur lässt hingegen beliebige 32-Bit-Zugriffe zu; der
Prozessor teilt einen "misaligned" Zugriff auf zwei nacheinander
folgende Zugriffe auf und schiebt sich die Daten zurecht. Das ist
natürlich langsamer als ein "aligned" Zugriff ... daher empfiehlt es
sich aus Performancegründen auch auf x86 mit #pragma pack(4)
(Standardvorgabe) zu arbeiten.
Also:
Wenn Du vor Deine Strukturdeklaration das #pragma pack setzt, dann
kannst Du davon ausgehen, daß die Daten tatsächlich so im Speicher
angeordnet sind, wie von Dir vorgesehen.
Ein einfacher Test wäre ein Vergleich der Speichergrößen:
Struktur mit #pragma pack(4) deklarieren, sizeof (struktur) ausgeben,
dasselbe mit pack(1) und Ergebnisse vergleichen.
