C語言 typedef 詳解：型別別名與可移植性的關鍵

編輯：關於C語言

前言：為什麼需要 `typedef`？

typedef 不創建新型別，而是為現有型別建立同義詞。其核心價值在於：

語義清晰：SOCKET 比 int 更能表達意圖
可移植性：16/32/64 位元平台只需修改一處 typedef
簡化複雜宣告：函數指標、結構體指標宣告大幅簡化

一、基本語法與標量型別

typedef int SIGNED_INT;          // 基本型別別名
typedef unsigned char BYTE;      // 常見嵌入式慣例
typedef unsigned short WORD;
typedef unsigned long DWORD;

SIGNED_INT a, b;        // 等同 int a, b;
BYTE buffer[256];       // 等同 unsigned char buffer[256];

限制：long SIGNED_INT x; 非法，typedef 別名不可再加型別修飾詞。

二、結構體、聯合、列舉的 `typedef`

舊式寫法（需重複 `struct` 關鍵字）


struct Student {
    char name[20];
    int age;
};
struct Student s1;  // 必須寫 struct

`typedef` 簡化寫法


typedef struct {
    char name[20];
    int age;
} Student;          // 直接使用 Student

Student s1, s2;     // 簡潔明瞭

匿名結構體 + typedef 模式（推薦）


typedef struct {
    int x, y;
} Point;

typedef struct {
    Point topLeft;
    Point bottomRight;
} Rectangle;

三、經典案例：標準庫 `FILE` 型別


// stdio.h 內部定義（簡化版）
typedef struct {
    short level;
    unsigned flags;
    char fd;
    unsigned char hold;
    short bsize;
    unsigned char *buffer;
    unsigned char *curp;
    unsigned istemp;
    short token;
} FILE;

// 使用者代碼
FILE *fp = fopen("data.txt", "r");  // 無需關心內部結構

標準庫將複雜結構封裝為不透明型別 FILE，使用者只操作指標，實現資訊隱藏與二進制相容。

四、函數指標簡化——`typedef` 最大價值場景

無 typedef 的痛苦


// 返回 int、接受兩個 int 參數的函數指標
int (*compare)(int, int);

有 typedef 的優雅


typedef int (*CompareFunc)(int, int);

CompareFunc cmp = myCompare;      // 變數宣告
void sort(int *arr, int n, CompareFunc cmp);  // 參數宣告
CompareFunc getComparator(int mode);          // 返回型別宣告

五、可移植性實戰：`stdint.h` 風格


// my_types.h - 專案統一型別定義
#if defined(_MSC_VER) && _MSC_VER < 1600  // VS2010 前無 stdint.h
typedef signed char int8_t;
typedef unsigned char uint8_t;
typedef signed short int16_t;
typedef unsigned short uint16_t;
typedef signed int int32_t;
typedef unsigned int uint32_t;
#else
#include 
#endif

typedef int32_t  Bool;        // 專案統一布林
typedef uint32_t Handle;      // 句柄型別
typedef int (*Callback)(void* context);  // 回調型別

所有平台相關型別集中在一個頭檔，移植時只修改此檔。

六、常見誤區

誤區	正確理解
`typedef` 創建新型別	僅建立別名，型別相容性不變
`typedef struct S { } S;` 與 `struct S { }` 相同	前者 `S` 為型別名，後者 `S` 為標籤，名字空間不同
可對 `typedef` 型別再加修飾詞	`long MY_INT x;` 非法（除非 `MY_INT` 是巨集）