C 語言 typedef 完全指南：基本用法、結構體技巧、與 #define 差異、複雜聲明簡化實戰

1. typedef 基本定義與目的

typedef 是 C 語言關鍵字，**為現有類型建立別名**，不創建新類型。兩大核心目的：

1. 語義化：賦予類型領域含義（如 `typedef uint32_t UserID;`）。
2. 簡化複雜聲明：將「指標陣列、函數指標、嵌套結構」等難讀聲明封裝為單一識別符。

2. 基本用法範例

// 內建類型別名
typedef unsigned long  ULONG;
typedef int            INT32;
typedef char           BYTE;

// 結構體別名（兩種寫法等價）
typedef struct { int x, y; } Point;          // 匿名結構體 + 別名
typedef struct TagPoint { int x, y; } Point; // 命名結構體 + 別名

// 使用
Point p1 = {10, 20};
ULONG id = 12345;

3. 結構體自指針陷阱與解法

❌ 錯誤寫法

typedef struct Node {
    char *data;
    Node *next; // 錯誤：Node 尚未定義完成，編譯器不認識
} Node;

✅ 三種正確解法

typedef struct Node *PNode;
struct Node {
    char *data;
    PNode next; // OK：PNode 已是完整類型別名
};

typedef struct Node {
    char *data;
    struct Node *next; // 直接用 struct Node
} Node;

struct Node {
    char *data;
    struct Node *next;
};
typedef struct Node *PNode; // 統一在結構體定義後 typedef

4. typedef vs #define 關鍵差異

typedef char *pStr;
#define pStr_macro char *

測試代碼

pStr s1, s2;        // 兩個 char*
pStr_macro s3, s4;  // s3 是 char*，s4 是 char（宏只是文本替換！）

差異總結表

const 陷阱實例

typedef char *pStr;
char str[] = "hello";
const pStr p1 = str; // p1 是 char * const（指標不可改）
// p1++; // 編譯錯誤：指標本身為常量
const char *p2 = str; // p2 是 const char *（指向內容不可改）
p2++; // OK

5. 複雜聲明簡化實戰

核心技巧：**在原聲明中用別名替換變數名，前加 `typedef`**。

案例 1：函數指標陣列

// 原聲明：int *(*a[5])(int, char*);
typedef int *(*FuncPtr)(int, char*); // 別名替換 a
FuncPtr a[5]; // 簡潔聲明

案例 2：函數指標陣列，參數也是函數指標

// 原聲明：void (*b[10]) (void (*)());
typedef void (*Callback)();       // 內層函數指標
typedef void (*Handler)(Callback); // 外層函數指標
Handler b[10];                    // 簡潔聲明

案例 3：指向函數指標陣列的指標

// 原聲明：double (*(*pa)[9])();
typedef double (*Func)();         // 函數指標類型
typedef Func (*FuncArrayPtr)[9];  // 指向 9 元素 Func 陣列的指標
FuncArrayPtr pa;                  // 簡潔聲明

6. 進階技巧與最佳實務

• 標準庫風格：`` 使用 `typedef long int int64_t;` 等固定寬度類型。
• 不透明指標：頭檔僅 `typedef struct Impl *Handle;`，實現隱藏在 `.c` 中，實現封裝。
• 函數指標別名慣例：以 `_fn` 或 `Handler` 結尾，如 `typedef void (*EventHandler)(void*);`。
• 避免過度使用：簡單類型（`int`、`char*`）無需別名，增加認知負擔。
• 結構體同時定義標籤與別名：
  `typedef struct Node { ... } Node;` 允許同時用 `struct Node` 和 `Node`，兼容 C++ 風格。

7. 常見錯誤總結

1. 結構體自指針用 typedef 名而非標籤 → 編譯錯誤。
2. 以為 `typedef` 創建新類型 → 實為別名，類型檢查視為同一類型。
3. 混淆 `const typedef名` 與 `const 原類型*` 的語義差異。
4. 宏定義指標類型導致多變量聲明語義不符。