Casting tipi di puntatore su diverse architetture

Question

Ho la seguente struttura e la funzione "getter" che ritorna a Cast a un intero senza segno:

struct s { 
    uint32_t a; 
}; 

void get_a(struct s *st, unsigned *ret) 
{ 
    *ret = (unsigned)st->a; 
} 

Il seguente codice viene eseguito:

struct s st; 
uint16_t x; 

st.a = 1; 
get_a(&st, (unsigned *)&x); 

e per x86_64, i686, armv7hl, ppc64le e altre architetture x == 1, ma per ppc64 x == 0. Perchè è questo? Poco - big-endian?

Answer 1

Il problema è che avete:

uint16_t x; 

ma poi si tenta di scrivere in quella posizione di memoria come se fosse la posizione di unsigned.

Se si era su un sistema in cui unsigned e uint16_t sono dello stesso tipo, questo va bene. Ma su altri sistemi, come quello che hai usato per il tuo esempio di codice, sei nei guai.

Prima di tutto, ciò causa undefined behaviour violando lo strict aliasing rule. Le variabili di tipo uint16_t possono essere scritte solo tramite lvalue di tipo uint16_t o un tipo di carattere.

Ma anche se non violasse il rigoroso aliasing, si causerebbe comunque UB scrivendo al di fuori dei limiti di x. Probabilmente, stai scrivendo 4 o 8 byte in una posizione di memoria a 2 byte, quindi si riverserà il buffer.

Ci potrebbe anche essere UB se x non è correttamente aligned per unsigned.