C 語言 typedef 與 #define 類型別名本質差異深度解析

編輯：關於C語言

前言

typedef 與 #define 都能為型別創建別名，但本質截然不同：前者是編譯器層面的型別系統擴展，後者是前置處理器的純文字替換。這一差異在指標、const、多變數宣告等場景會產生劇烈不同結果。本文通過對比實驗徹底釐清兩者邊界。

核心機制對比

維度	`typedef`	`#define`
處理階段	編譯期（語義分析）	前置處理期（文字替換）
型別檢查	完整參與型別系統	無，純字串展開
作用域	遵循區塊/檔案作用域	無作用域，定義點後全域生效
除錯資訊	保留型別名稱	展開後無痕跡
可用於函數內	不可 (C 標準限制)	可 (但極不推薦)

經典陷阱：指標別名與 const 綁定

場景 1：指標型別別名

typedef int *IntPtr;
#define IntPtrMacro int *

IntPtr a, b;        /* a、b 皆為 int* */
IntPtrMacro c, d;   /* c 為 int*，d 為 int (僅第一個變數獲得 *) */

場景 2：const 修飾指標別名

typedef int *Pint;
#define PINT int *

const Pint p1;   /* const 修飾「指標本身」 → int * const p1；指向不可變，指向的值可改 */
const PINT p2;   /* 展開為 const int * p2；指向的值不可變，指標可改 */

記憶口訣：typedef 將別名視為「不可分割的型別整體」，const 綁定整體；#define 只是把文字貼上去，const 綁定展開後的最左型別。

驗證程式 (C++ RTTI)

#include <iostream>
#include <typeinfo>
using namespace std;

int main() {
    typedef char *CHAR;
    CHAR c, d;
    cout << typeid(c).name() << endl << typeid(d).name() << endl;  /* 皆為 char* */

    #define CH char*
    CH c1, c2;
    cout << typeid(c1).name() << endl << typeid(c2).name() << endl;  /* c1=char*, c2=char */
    return 0;
}

其他關鍵差異

1. 型別修飾詞疊加

#define PEACH int
unsigned PEACH x;   /* 合法：展開為 unsigned int x */

typedef int PEACH2;
unsigned PEACH2 y;  /* 錯誤：PEACH2 已是完整型別，不可再加 unsigned */

2. 連續宣告一致性

#define INT_PTR int *
INT_PTR p1, p2;   /* p1=int*, p2=int ❌ */

typedef int *IntPtr;
IntPtr p3, p4;    /* p3=int*, p4=int* ✅ */

3. 宏定義結尾分號陷阱

#define VAL 10;   /* 錯誤：分號會被帶入展開 */
int x = VAL;      /* 展開為 int x = 10;; 句法錯誤或多餘空語句 */

何時用哪個？

場景	推薦	理由
型別別名（含指標、函數指標、結構體）	`typedef` / `using` (C++11)	型別安全、作用域受控、除錯可讀
常數值（編譯期常數、魔數）	`const` / `enum` / `constexpr` (C++)	型別檢查、避免宏副作用
條件編譯、平台差異隔離	`#define` / `#ifdef`	前置處理器唯一能力
複雜程式碼片段重用	內聯函數 / 模板 (C++)	型別安全、偵錯支援

現代 C/C++ 最佳實務

C11：typedef + _Generic 實現型別泛型
C++11：using IntPtr = int*; 取代 typedef，支援模板別名 template<class T> using Vec = vector<T>;
常數改用 constexpr (C++) / enum / static const (C)
編譯器旗標 -Wmacro-redefined -Wshadow 捕獲宏濫用