Struct compatibilidad puntero

Question

Supongamos que tenemos dos estructuras:

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

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

¿Es seguro enviar contenido desde Struct2 * a Struct1 *? ¿Qué dice la especificación de ANSI sobre esto? Sé que algunos compiladores tienen la opción de reordenar los campos de las estructuras para optimizar el uso de la memoria, lo que puede hacer que las dos estructuras sean incompatibles. ¿Hay alguna forma de asegurarse de que este código sea válido, independientemente de la bandera del compilador?

¡Gracias!

Answer 1

tipos punteros struct siempre tienen la misma representación en C.

(C99, 6.2.5p27) "todos los punteros de estructurar tipos tendrán los mismos requisitos de representación y de alineación como entre sí."

y miembros en los tipos de estructura están siempre en el orden en C.

(C99, 6.7.2.1p5) "una estructura es un tipo que consta de una secuencia de miembros, cuyo almacenamiento se asigna en una secuencia ordenada "

Answer 2

Es muy probable que funcione. Pero tiene mucha razón al preguntar cómo puede estar seguro de que este código será válido. Entonces: en algún lugar de tu programa (al comienzo tal vez) inserte un montón de declaraciones ASSERT que se aseguren de que offsetof(Struct1.a_short) sea igual a offsetof(Struct2.a_short) etc. Además, algún programador que no sea un día podría modificar una de estas estructuras pero no la otra, entonces mejor salvo que lo siento

Answer 3

Es seguro, hasta donde yo sé.

Pero es mucho mejor, si es posible, hacer:

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

después, se lo he dicho al compilador que Struct2 comienza con una instancia de Struct1, y puesto que un puntero a una estructura siempre apunta en su primer miembro, puede tratar Struct2 * como Struct1 *.

Answer 4

Sí, está bien hacerlo!

Un programa de ejemplo es el siguiente.

#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; 
}