C語言結構體聲明與變量定義完全指南：typedef 與非 typedef 四種寫法對比

方式二：聲明同時定義變量

struct Student {
    int id;
    double score;
} stu1, stu2;  // 直接跟變量名

• 緊湊但無法復用類型：別處無法用 struct Student 定義新變量
• 匿名結構體（無標籤）則連聲明處都無法復用

使用 typedef 的兩種方式

方式三：別名標籤結構體

typedef struct Student {
    int id;
    double score;
} Stu;  // Stu 是類型別名

Stu stu1, stu2;  // 直接用別名，無需 struct

• Student：標籤（可選）
• Stu：typedef 引入的類型別名，在普通標識符命名空間
• 推薦：標籤與別名同名（大小寫區分），如 typedef struct Student { ... } Student;（C++ 風格）

方式四：別名匿名結構體

typedef struct {  // 無標籤
    int id;
    double score;
} Stu;

Stu stu1, stu2;

• 結構體無標籤，只能通過別名 Stu 使用
• 無法在結構體內部聲明自引用指針（如鏈表節點 struct Node *next;），因為沒有標籤名
• 適用於不需要自引用的簡單數據聚合

對比總結表

進階：自引用結構體（鏈表/樹）

// 必須有標籤
typedef struct Node {
    int data;
    struct Node *next;  // 必須用 struct Tag，不能用 Alias（尚未定義完成）
} Node;  // 標籤與別名同名，C++ 風格

關鍵點：結構體內部引用自身類型時，只能用 struct Tag，因為 typedef 別名在定義結束前不可見。

命名空間隔離機制

C 語言有四個獨立命名空間：

1. 標籤命名空間：struct/enum/union 後的標識符
2. 普通標識符命名空間：變量、函數、typedef 別名
3. 標籤成員命名空間：每個結構體/聯合體內部的成員名
4. 標號命名空間：goto 標號

因此：

struct Student { int Student; };  // ✅ 合法：標籤 Student ≠ 成員 Student
typedef struct Student Student;   // ✅ 合法：標籤 Student ≠ 別名 Student
Student Student;                  // ✅ 合法：類型 Student ≠ 變量 Student（但極不推薦！）

現代 C 最佳實踐

// 統一風格：標籤與別名同名，首字母大寫
typedef struct Student {
    int id;
    double score;
} Student;

// 使用
Student s1, s2;
Student *ps = malloc(sizeof(Student));

• 頭文件中只放類型定義，不定義變量
• 避免匿名結構體（除非極簡單且確不自引用）
• 結構體名用單數帕斯卡命名（Student 而非 Students）

總結

理解 struct Tag（標籤）與 typedef 別名的區別、四種寫法的適用場景、自引用的限制，是編寫清晰、可維護 C 代碼的基礎。現代項目推薦方式三（標籤+別名同名），兼顧自引用能力、跨文件聲明與簡潔的變量定義語法。