Struct kompatybilność wskaźnik

Question

Załóżmy, że mamy dwa konstrukcjom:

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

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

Czy bezpieczne jest odlana z Struct2 * do Struct1 *? Co mówi o tym specyfikacja ANSI? Wiem, że niektóre kompilatory mają możliwość zmiany kolejności pól structs w celu optymalizacji wykorzystania pamięci, co może spowodować, że dwie struktury będą niekompatybilne. Czy jest jakiś sposób, aby upewnić się, że ten kod będzie ważny, niezależnie od flagi kompilatora?

Dziękujemy!

Answer 1

struct rodzaje pointers zawsze mają taką samą reprezentację w C

(C99 6.2.5p27) „Wszystkie wskaźniki do uporządkowania rodzaje mają te same reprezentacja i wyrównania wymagania co do siebie.”

, a człony w rodzaju konstrukcji są zawsze w kolejności C

(C99 6.7.2.1p5) „struktura jest typu składającego się z sekwencji członków, którego pamięci jest przydzielona w zamówionej sekwencji "

Answer 2

Najprawdopodobniej będzie działać. Ale masz rację pytając, jak możesz być pewien, że ten kod będzie ważny. A więc: gdzieś w twoim programie (przy starcie) osadzić kilka instrukcji ASSERT, które upewniają się, że offsetof(Struct1.a_short) jest równy offsetof(Struct2.a_short) itd. Poza tym, jakiś programista inny niż ty mógłbyś kiedyś zmodyfikować jedną z tych struktur, ale nie inną, więc lepiej bezpieczniej niż przepraszam.

Answer 3

Jest bezpieczny, o ile wiem.

Ale to o wiele lepiej, jeśli to możliwe, należy zrobić:

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

Potem już nawet powiedział kompilator, że Struct2 rozpoczyna się wystąpieniem Struct1, a ponieważ wskaźnik do struktury zawsze wskazuje na jego pierwszy członek, możesz bezpiecznie traktować Struct2 * jako Struct1 *.

Answer 4

Tak, można to zrobić w porządku!

Przykładowy program wygląda następująco.

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