C++ 型別別名與物件別名：typedef/using vs 參考的本質差異

前言：兩種「別名」，完全不同的語意層級

C++ 提供兩種建立別名的機制：

• 型別別名：typedef / using — 作用於 **型別層級**，編譯期概念
• 物件別名：參考 (Reference) — 作用於 **物件/執行期實體層級**，執行期概念

混淆兩者會導致設計錯誤。本文深度剖析兩者本質差異、適用場景與現代最佳實務。

型別別名：typedef vs using

傳統 typedef

typedef int Int32;
typedef char* PChar;
typedef void (*Callback)(int);
typedef std::map<std::string, int> StringIntMap;

// 缺點：函式指標、模板語法難讀，不支援模板別名

現代 using (C++11) — 統一語法、支援模板別名

using Int32 = int;
using PChar = char*;
using Callback = void(*)(int);
using StringIntMap = std::map<std::string, int>;

// 模板別名 (typedef 做不到)
template <typename T>
using Vec = std::vector<T>;

Vec<int> vi;        // std::vector<int>
Vec<std::string> vs; // std::vector<std::string>

// 函式指標陣列別名
using FuncPtrArray = void(*)[10](int);

型別別名特性總結

物件別名：參考 (Reference)

本質：別名 = 既有物件的另一個名字

int a = 5;
int& b = a;  // b 是 a 的別名，非新物件

// 編譯器內部：b 共享 a 的記憶體位址
// &a == &b  // 永遠為 true
// sizeof(b) == sizeof(int)  // 非指標大小

參考 vs 指標 核心差異

參考的主要用途

1. 函式參數傳遞：避免拷貝、允許修改原物件、多態參數
2. 回傳值：回傳現有物件別名 (非暫時物件)，支援鏈式呼叫 obj.SetX(1).SetY(2)
3. 範圍 for 迴圈：for (auto& x : vec) 避免拷貝、可修改元素
4. 別名現有變數：auto& ref = veryLongVariableName; 簡化代碼

C# 對比：using 別名 vs 類別別名

C# 無 typedef，但有 using 別名導向：

// C#
using People = MyProject.Human;  // 型別別名 (僅限檔案/命名空間作用域)

namespace MyProject {
    class Human { public int Age; public void Talk() {} }
    class Program {
        static void Main() {
            People p = new Human();  // 使用別名
            p.Age = 50;
            p.Talk();
        }
    }
}

差異：C# using 別名僅為編譯期語法糖，IL 中仍為完整型別名；C++ using/typedef 同樣純編譯期，但支援模板別名等進階功能。

進階議題：型別特徵與別名模板

// 標準庫型別特徵大量使用 using 別名
template <class T> struct remove_reference      { using type = T; };
template <class T> struct remove_reference<T>  { using type = T; };
template <class T> struct remove_reference<T&&> { using type = T; };

// C++14 別名模板簡化
template <class T> using remove_reference_t = typename remove_reference<T>::type;

// 使用
remove_reference_t<int>  // int
remove_reference_t<int&&> // int

最佳實務建議

1. 新代碼一律使用 using：語法統一、支援模板別名、可讀性優於 typedef。
2. 型別別名用於：
   • 平台相關型別抽象：using Handle = void*; (Windows) / using Handle = int; (POSIX)
   • 複雜模板簡化：using JsonMap = std::map<std::string, JsonValue>;
   • 模板元編程特徵：using type = ...
3. 參考用於：
   • 函式參數 (大型物件、輸出參數、多態)
   • 回傳現有物件 (運算子鏈、避免拷貝)
   • 範圍 for、結構化綁定 auto& [x,y] = pair;
4. 避免濫用參考：
   • 不回傳區域變數參考 (懸空參考)
   • 不將參考作為類別成員 (除非極清楚生命週期)，改用 std::reference_wrapper 或指標/智慧指標
   • 不可修改的輸入參數用 const T&，非 T&

結語

型別別名 是編譯期的「語法捷徑」，物件別名 (參考) 是執行期的「記憶體共享綁定」。前者零開銷、後者零開銷但有生命週期約束。現代 C++ 開發：using 取代 typedef，參考取代指標 (非擁有語意時)，std::reference_wrapper 處理需重新綁定/可為空的別名需求。