typedef 與 #define 核心區別深度解析：類型別名 vs 宏替換的本質差異

核心結論先行

typedef 是編譯階段的類型別名機制，具有語義封裝性；#define 是預處理階段的文本替換，無類型語義。

機制層面對比

經典陷阱：指針類型別名

// typedef 版本
typedef int *pINT;
pINT a, b;  // 等價於 int *a, *b; 兩個整型指針

// #define 版本
#define pINT2 int *
pINT2 a, b; // 等價於 int *a, b;  一個指針 + 一個整型變量！

原因：typedef 建立完整類型實體，聲明時每個標識符都獲得該類型；#define 只是文本展開，int * a, b 中 * 僅綁定 a。

const 與 typedef 的交互陷阱

typedef char *PSTR;
const PSTR p;  // 等價於 char * const p (常量指針：指針本身不可修改)
               // 而非 const char *p (指向常量的指針：指向內容不可修改)

規則：const 修飾的是 typedef 定義的整個類型實體，而非展開後的文本。

四大核心用途

1. 簡化複雜類型聲明

// 函數指針類型
typedef int (*PFUNC)(int, char*);  // 返回 int，參數 (int, char*)
PFUNC func_array[10];              // 清晰聲明 10 元函數指針陣列

// 對比直接聲明
int (*func_array[10])(int, char*); // 晦澀難讀

2. 結構體標籤簡化 (C 風格)

// 傳統 C 需攜帶 struct 關鍵字
struct Point { int x, y; };
struct Point p1;  // C 必須

// typedef 合併定義
typedef struct {
    int x, y;
} Point;
Point p1;  // 簡潔，C++ 風格

3. 平台無關類型抽象

// 平台 A：64 位長整數
typedef long int64_t;

// 平台 B：32 位長整數 + 長長整數
typedef long long int64_t;

// 極簡平台：無 64 位類型
typedef struct { int hi, lo; } int64_t;

// 業務代碼完全不用修改
int64_t big_number;

4. 簡化極其複雜的聲明 (右左法則輔助)

// 原聲明：void (*b[10]) (void (*)());
// 步驟 1：替換右側參數
typedef void (*pFunParam)();
// 步驟 2：替換左側變量
typedef void (*pFunx)(pFunParam);
// 最終：pFunx b[10];

兩大語法陷阱

陷阱一：typedef 是存儲類關鍵字

typedef static int INT2;  // ❌ 編譯錯誤：多重存儲類指定符
// 同理：typedef extern、typedef register、typedef auto 皆非法

陷阱二：函數參數中的數組退化

typedef int ARRAY[10];
void func(ARRAY a);  // 實際參數類型為 int *a，大小資訊丟失
// sizeof(a) 在函數內為指針大小，非 40

最佳實踐建議

現代 C++ 替代方案

// C++11 別名模板 (typedef 無法處理模板)
template
using Vec = std::vector;

Vec v;  // 等價 std::vector

// 固定寬度整數 (標準庫)
#include 
int32_t i32;  // 替代自定義 typedef
uint64_t u64;

// 類型推導
auto p = std::make_unique();  // 替代繁瑣 typedef

總結：如何選擇？

1. 定義常量 → const / enum / constexpr (C++)
2. 定義類型別名 → typedef (C) / using (C++11)
3. 簡單代碼片段 → inline 函數 / 模板
4. 條件編譯、平台差異 → #define 配合 #ifdef
5. 複雜聲明簡化 → typedef 分層拆解

「typedef 讓類型系統為你工作；#define 讓文本編輯器為你工作——前者更安全、更智能。」