Struct con trỏ tương thích

Question

Giả sử chúng ta có hai cấu trúc:

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

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

Có an toàn để đúc Struct2 *-Struct1 *? Thông số ANSI nói gì về điều này? Tôi biết rằng một số trình biên dịch có tùy chọn sắp xếp lại các trường cấu trúc để tối ưu hóa việc sử dụng bộ nhớ, điều này có thể khiến cho hai cấu trúc không tương thích. Có cách nào để chắc chắn mã này sẽ hợp lệ, bất kể cờ trình biên dịch?

Cảm ơn bạn!

Answer 1

struct con trỏ loại luôn luôn có các đại diện như nhau trong C.

(C99, 6.2.5p27) "Tất cả các con trỏ đến cấu trúc loại sẽ có cùng yêu cầu đại diện và liên kết như nhau."

Và các thành viên trong các loại cấu trúc luôn trong trật tự trong C.

(C99, 6.7.2.1p5) "một cấu trúc là một loại bao gồm một chuỗi các thành viên, có lưu trữ được phân bổ trong một chuỗi được sắp xếp theo thứ tự "

Answer 2

Rất có thể nó sẽ hoạt động. Nhưng bạn rất chính xác trong việc hỏi làm thế nào bạn có thể chắc chắn mã này sẽ hợp lệ. Vì vậy: một nơi nào đó trong chương trình của bạn (lúc khởi động) có thể nhúng một loạt các câu lệnh ASSERT, đảm bảo rằng offsetof(Struct1.a_short) bằng offsetof(Struct2.a_short) v.v ... Bên cạnh đó, một số lập trình viên khác có thể sửa đổi một trong những cấu trúc này. an toàn hơn xin lỗi.

Answer 3

Nó an toàn, theo như tôi biết.

Nhưng nó tốt hơn nhiều, nếu có thể, để làm:

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

Sau đó, bạn thậm chí đã nói với trình biên dịch rằng Struct2 bắt đầu với một thể hiện của Struct1, và vì một con trỏ đến một cấu trúc luôn trỏ vào nó thành viên đầu tiên, bạn an toàn để xử lý Struct2 * dưới dạng Struct1 *.

Answer 4

Có, nó là ok để làm điều đó!

Chương trình mẫu như sau.

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