Das Übergeben eines Bytearrays an einen Strukturzeiger hängt von der Endianess- oder Speicherausrichtung ab?

Question

diesen Code Angenommen:

unsigned char list[3] = { 1, 2, 3 }; 
struct _struct{ 
    unsigned char a; 
    unsigned char b; 
    unsigned char c; 
} *s; 
s = (_struct *) list;

Kann ich das immer s->a == 1, s->b == 2, s->c == 3 übernehmen?
Oder hängt es von der Endianess oder Speicherausrichtung des Systems ab?

Answer 1

Lassen Sie uns das sezieren.

In allen Fällen sizeof(char) == 1 und die list Array wird seine drei Mitglieder an Speicherplatz list, list + 1 und list + 2 hat.

Die Situation mit der struct ist nicht ganz so klar. Der Standard garantiert, dass die Mitglieder in wachsenden Speicherbereichen zugewiesen werden, aber nicht, dass sie zusammenhängend sind. Dem Compiler steht es frei, Padding zwischen Mitgliedern und Padding am Ende einzuführen.

Daher wird s->a == 1 immer wahr sein. Wenn die Implementierung die unsigned char s in die struct angrenzende (und die meisten wird) setzt, dann werden die anderen Gleichheiten notwendigerweise wahr sein.

Übrigens kann das Aufrufen eines struct_struct Probleme verursachen. Ein mit einem Unterstrich im globalen Namespace beginnender Name ist für die Implementierung reserviert.

Answer 2

Ja, es hängt von der Speicherausrichtung und den Packregeln des Systems und des Compilers ab.