La trasmissione di una matrice di byte a un puntatore di struct dipende da endianness o dall'allineamento della memoria?

Question

Supponiamo di questo codice:

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

Posso supporre che sempre s->a == 1, s->b == 2, s->c == 3?
Oppure dipenderà dalla endianità del sistema o dall'allineamento della memoria?

Answer 1

Analizziamo questo.

In tutti i casi, sizeof(char) == 1, e il list matrice avrà suoi tre membri a locazioni di memoria, listlist + 1 e list + 2.

La situazione con lo struct non è altrettanto chiara. Lo standard garantisce che i membri verranno allocati in posizioni di memoria crescenti, ma non che saranno contigue. Il compilatore è libero di introdurre il padding tra i membri e il padding alla fine.

Pertanto, s->a == 1 sarà sempre vero. Se l'implementazione inserisce i valori unsigned char nell'adiacente (e quasi tutti), le altre uguaglianze corrisponderanno necessariamente a struct.

A proposito, chiamare struct_struct può causare problemi. Un nome che inizia con un trattino basso nello spazio dei nomi globale è riservato all'implementazione.

Answer 2

Sì, dipende dall'allineamento della memoria e dalle regole di imballaggio del sistema e del compilatore.