Struct puntatore compatibilità

Question

Supponiamo di avere due struct:

typedef struct Struct1 
{ 
    short a_short; 
    int id; 
} Struct1; 

typedef struct Struct2 
{ 
    short a_short; 
    int id; 
    short another_short; 
} Struct2; 

E 'sicuro di gettare Struct2 *-Struct1 *? Cosa dice la specifica ANSI a riguardo? So che alcuni compilatori hanno la possibilità di riordinare i campi delle strutture per ottimizzare l'utilizzo della memoria, che potrebbe rendere le due strutture non compatibili. C'è un modo per essere sicuro che questo codice sarà valido, indipendentemente dal flag del compilatore?

Grazie!

Answer 1

struct tipi puntatori hanno sempre la stessa rappresentazione in C.

(C99, 6.2.5p27) "Tutti i puntatori per strutturare tipi avranno lo stesso esigenze di rappresentazione e allineamento come reciprocamente."

e membri in tipi di strutture sono sempre in ordine in C.

(C99, 6.7.2.1p5) una" struttura è un tipo costituito da una sequenza di membri, la cui memorizzazione è allocato in una sequenza ordinata "

Answer 2

Probabilmente funzionerà. Ma sei molto corretto nel chiedere come puoi essere sicuro che questo codice sarà valido. Quindi: da qualche parte nel tuo programma (all'avvio forse) incorpora un gruppo di istruzioni ASSERT che assicurano che offsetof(Struct1.a_short) sia uguale a offsetof(Struct2.a_short) ecc. Inoltre, alcuni programmatori diversi da quello che potresti modificare un giorno una di queste strutture ma non l'altra, quindi meglio sicuro che dispiaciuto.

Answer 3

È sicuro, per quanto ne so.

Ma è molto meglio, se possibile, di fare:

typedef struct { 
    Struct1 struct1; 
    short another_short; 
} Struct2; 

allora hai anche detto al compilatore che Struct2 inizia con un'istanza di Struct1, e dal momento che un puntatore ad una struct punta sempre al suo primo membro, sei sicuro di trattare un Struct2 * come Struct1 *.

Answer 4

Sì, è giusto farlo!

Un programma di esempio è il seguente.

#include <stdio.h> 

typedef struct Struct1 
{ 
    short a_short; 
    int id; 
} Struct1; 

typedef struct Struct2 
{ 
    short a_short; 
    int id; 
    short another_short; 
} Struct2; 

int main(void) 
{ 

    Struct2 s2 = {1, 2, 3}; 
    Struct1 *ptr = &s2; 
    void *vp = &s2; 
    Struct1 *s1ptr = (Struct1 *)vp; 

    printf("%d, %d \n", ptr->a_short, ptr->id); 
    printf("%d, %d \n", s1ptr->a_short, s1ptr->id); 

    return 0; 
}