typedef 與 #define 根本差異：型別別名 vs 文字替換的陷阱與最佳實踐

核心差異一覽

經典陷阱：指標宣告

#define PINT int *
typedef int * pint;

const PINT p1;  // 展開 → const int *p1  (指向常數的指標，p1 可改)
const pint p2;  // 等價 → int * const p2 (常數指標，p2 不可改)

typedef 引入的名稱具備封裝性，const pint 鎖定的是指標本身；#define 只是文字替換，const PINT 變成 const int* 鎖定的是指向的資料。

多變數宣告差異

#define PTR int *
typedef int * tPTR;

PTR a, b;    // 展開 → int *a, b;  (a 是指標，b 是 int)
tPTR a, b;   // 正確 → int *a, *b; (兩者皆為指標)

其他關鍵差異

• 語意檢查：typedef 在編譯期檢查型別正確性；#define 錯誤延遲到展開後編譯才發現
• 函數指標：typedef void (*Handler)(int); 清楚易讀；#define 極難正確定義
• 模板/泛型：typedef 可用於模板參數；#define 不可
• 分號：typedef 需分號結尾；#define 不可加分號 (會連同分號一起替換)

現代 C++ 最佳實踐

1. 型別別名優先用 using (C++11)：using Handler = void(*)(int); — 語法統一、支援模板別名
2. 常數定義用 constexpr / const：型別安全、有作用域、除錯可見
3. 宏僅用於：
   • 條件編譯 (#ifdef)
   • 編譯器特定屬性 (#pragma 包裝)
   • 字串化/連接運算子 (#, ##)
   • 跨語言/平台相容性處理
4. 避免 定義型別別名、常數值、類函數宏

總結口訣

typedef 是型別系統一員，有語意、有作用域、可除錯；#define 是文字編輯器，無語意、無作用域、除錯盲區。能用 typedef/using/constexpr 就別用宏。