Khai báo cấu trúc: typedef struct name name;

Question

Chúng ta đều biết làm thế nào để khai báo một cấu trúc trong C:

struct Label1{ /* variables */ } Label2; // As I learned 

Nhưng tôi muốn biết tại sao mã này hoạt động mà không tuyên bố 'tên struct':

typedef struct name s_name; 

Hoặc là trong thực tế, không gõ mã số

struct name; 

có nghĩa là tôi đã tuyên bố 'tên cấu trúc' là cấu trúc khoảng trống hoặc một cái gì đó như thế này?

Ví dụ mã:

typedef struct Data Data; 
struct Data{ /*variables*/ }; 

Nếu trong lần đầu tiên dữ liệu dòng struct được khai báo là một khoảng trống một, sau đó trong lần thứ hai nó giống như tôi đang redeclaring nó với các thành viên.

Giải thích cho điểm này là gì?

Answer 1

Cái gì như:

struct MyStruct; 

Được gọi là một tài liệu tham khảo về phía trước. Nó tạo ra một loại không đầy đủ và nói với trình biên dịch sẽ có một loại tên đó (và nó là một cấu trúc - nó hoạt động tương tự như vậy cho các công đoàn), và các chi tiết "theo sau". Loại như vậy bạn không thể xác định các biến, cho đến khi bạn hoàn thành loại.

typedef struct MyStruct MyType; 

Chỉ cần xác định tên loại là cấu trúc đó. Đây vẫn là loại không đầy đủ.

Tuy nhiên, bạn có thể mất một con trỏ đến một loại không đầy đủ:

MyType *my_t_pointer; 
struct MyStruct *my_s_pointer; 

này rất hữu ích cho một cấu trúc để có con trỏ tới các đối tượng cùng loại khi bạn cung cấp việc kê khai đầy đủ, "hoàn thành" loại :

struct MyStruct { 
    struct MyStruct *next; 
}; 

Thực ra đây là cách duy nhất để tạo nút cho danh sách, cây và tất cả cấu trúc dữ liệu đệ quy khác. Đây là phần chính của các chương trình C (đôi khi bị ẩn).

Ngoài ra, cơ chế này được sử dụng để ẩn chi tiết triển khai. Các hàm trong tiêu đề chỉ cần biết cấu trúc tồn tại để lấy/truyền con trỏ tới nó. Việc sử dụng các chức năng này không cần phải biết chi tiết của cấu trúc (nhưng theo cách này nó không thể phân bổ nó, vì vậy mô-đun phải bao gồm tất cả các khía cạnh cần biết chi tiết về cấu trúc). Khai báo đầy đủ chỉ nằm bên trong tệp thực hiện của mô-đun. Những con trỏ này được gọi là "mờ đục" như một người không thể "xem qua", tức là truy cập vào các trường của cấu trúc vì chúng đơn giản là không được biết đến.

my_module.h:

struct MyStruct; 

extern void my_init(struct MyStruct *obj); 

my_module.c:

struct MyStruct { 
    int f1; 
    ... 
}; 

my_init(struct MyStruct *obj) 
{ 
    ... 
} 

Answer 2

Các typedef tuyên bố s_name như một bí danh cho tên struct để bạn có thể khai báo các biến, ví dụ:

s_name *sptr; 

Dòng

struct name; 

tuyên bố rằng có một cấu trúc kiểu gọi tên mà không xác định Nội dung của nó. Điều này thường được thực hiện để có thể khai báo các biến là con trỏ đối với loại cấu trúc. Bạn không thể khai báo các biến của kiểu cấu trúc thực tế cho đến khi nó được định nghĩa.