Przesyłanie tablicy bajtów do wskaźnika struktury zależy od dokładności lub wyrównania pamięci?

Question

Załóżmy ten kod:

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

mogę założyć, że zawsze s->a == 1, s->b == 2, s->c == 3?
Lub zależy to od endianiczności systemu lub wyrównania pamięci?

Answer 1

Przeanalizujmy to.

We wszystkich przypadkach sizeof(char) == 1 i list tablica będzie miała trzech członków w miejscach pamięci list, list + 1 i list + 2.

Sytuacja z struct nie jest tak jednoznaczna. Standard gwarantuje, że członkowie będą przydzielani w rosnących lokalizacjach pamięci, ale nie będą przylegać. Kompilator może wprowadzać dopełnienie między elementami, a dopełnianie na końcu.

Dlatego s->a == 1 zawsze będzie prawdziwy. Jeśli implementacja powoduje, że unsigned char są w sąsiednich (i większość będzie), to inne równości będą musiały być prawdziwe.

Nawiasem mówiąc, wywołanie struct_struct może powodować problemy. Nazwa rozpoczynająca się od podkreślenia w globalnej przestrzeni nazw jest zarezerwowana dla implementacji.

Answer 2

Tak, będzie to zależało od wyrównania pamięci systemu i kompilatora oraz reguł pakowania.