C語言結構體定義完全指南：struct vs typedef、自引用/互引用、匿名結構體與對齊陷阱

結構體是 C 語言自定義複合類型的核心機制。本文系統梳理 struct 與 typedef struct 的本質差異、自引用與互引用的正確姿勢、匿名結構體用法、以及 C/C++ 差異與對齊陷阱，助你寫出可移植、可維護的類型定義。

一、struct vs typedef struct：本質差異

// 純 struct：標籤空間
struct Student { char name[20]; int age; };
struct Student s1;  // 必須帶 struct 關鍵字

// typedef：普通標識符空間
typedef struct Student { char name[20]; int age; } Student;
Student s2;  // 直接用類型名，無需 struct

二、自引用結構體（鏈表/樹節點）

❌ 錯誤：直接嵌套結構體值（無限遞歸）

struct Node { int val; struct Node next; }; // 錯誤：sizeof 無法確定

✅ 正確：指針引用（尺寸固定）

// 方式 1：標籤 + typedef 分離 (最推薦，清晰)
struct Node;
typedef struct Node Node;
struct Node { int val; Node *next; };

// 方式 2：標籤內部直接用標籤指針
struct Node { int val; struct Node *next; };
typedef struct Node Node;

// 方式 3：匿名結構體 + typedef (C11 支持，但自引用需技巧)
typedef struct Node {
    int val;
    struct Node *next;  // 必須用 struct Node，因為 Node 尚未進入作用域
} Node;

三、互引用結構體（圖/雙向關聯）

// 前向聲明
struct A; struct B;

typedef struct A A;
typedef struct B B;

struct A { int val; B *b_ptr; };
struct B { int val; A *a_ptr; };

關鍵：先前向聲明標籤，再 typedef，最後定義結構體體。編譯器見到標籤指針只需知道類型存在，無需完整定義。

四、匿名結構體與嵌套

跨語言頭文件模式：

#ifdef __cplusplus
extern "C" {
#endif

typedef struct MyStruct MyStruct;  // C++ 見到前向聲明
struct MyStruct { int x; };        // C 見到完整定義

#ifdef __cplusplus
}
#endif

六、進階 typedef 技巧：指針層級別名

typedef struct Node Node;
typedef Node *PNode;      // 一級指針
typedef PNode *PPNode;    // 二級指針
typedef PPNode *PPPNode;  // 三級指針

// 等價於
// struct Node *p;
// struct Node **pp;
// struct Node ***ppp;

七、對齊與 sizeof 陷阱實測

#pragma pack(push, 1)
struct Packed { char c; int i; };  // sizeof = 5
#pragma pack(pop)

struct Natural { char c; int i; }; // sizeof = 8 (x86-32)
// 訪問 Packed.i 可能觸發非對齊訪問 (性能/崩潰風險)

八、最佳實踐清單

1. 首選「標籤 + typedef 分離」：支持自引用、互引用、C/C++ 共用、調試器顯示類型名。
2. 結構體定義放頭文件，實現放 .c，不透明指針 (Opaque Pointer) 隱藏細節。
3. 柔性數組成員 (C99)：struct { size_t len; char data[]; } 單次分配變長對象。
4. 靜態斷言驗證布局：static_assert(sizeof(Struct) == EXPECTED, "");。
5. 避免在頭文件濫用匿名結構體，影響跨編譯單元一致性。

結構體定義看似簡單，實則蘊含「命名空間管理、類型系統邊界、編譯器布局算法、跨語言互操作」等系統級知識。建立標準化定義模式，是從「寫出能跑的代碼」邁向「設計可演化的系統」的關鍵一步。

1. 上一篇文章： C語言結構體數組動態管理實戰：創建、輸入、排序、銷毀完整模型
2. 下一篇文章： 函數設計哲學：單一職責、參數節制、接口極簡——寫出可維護的 C 代碼

關於C語言

C# 檔案分割合併工具（七）：合併程式完整實作與專案總結

合併程式核心程式碼 命名空間引入 using System

C# 類型系統深度解析：從類、結構到靜態成員的完整指南

C# 是一門強型別、面向對象的語言，其類型系統是編寫健壯代碼

Objective-C 代理模式 完整實戰：協議定義、委託傳遞與定時器回調示例

代理模式核心思想 一個對象 (委託者) 將特定任務委託給另一

C 語言字串反轉完全指南：從整數陣列到字串的演算法優化之路

整數陣列反轉：基礎邏輯建立 對 {1,2,3,4,5} 反轉