C++ 模板類完整指南：從語法到實例化的深度解析

什麼是類模板？

類模板是類的參數化定義，將類中可能變化的類型抽象為「虛擬類型參數」，編譯時根據實際類型參數實例化出具體類。實現了泛型編程，提高代碼復用性與類型安全性。

定義與使用的標準流程

1. 編寫具體類作為藍圖

先寫一個針對特定類型（如 int）的完整類，確保邏輯正確。

2. 抽象類型參數

將需變化的類型替換為虛擬類型名（如 numtype）。

3. 加入模板聲明

template <typename numtype> // 或 template <class numtype>
class Compare {
public:
    Compare(numtype a, numtype b) : x(a), y(b) {}
    numtype max() { return (x > y) ? x : y; }
    numtype min() { return (x < y) ? x : y; }
private:
    numtype x, y;
};

4. 實例化對象

Compare<int> cmp1(3, 7);       // 具體化為 int 版本
Compare<float> cmp2(45.78, 93.6); // 具體化為 float 版本
Compare<char> cmp3('a', 'A');    // 具體化為 char 版本

關鍵點：Compare 是模板名，非具體類；numtype 是佔位符，僅在實例化時被實際類型替換。

類模板成員函數類外定義

template <typename numtype>
numtype Compare<numtype>::max() {
    return (x > y) ? x : y;
}

注意：定義時需帶上模板參數列表，且類名後跟 <numtype>。

進階特性

多類型參數

template <class T1, class T2>
class Pair {
    T1 first; T2 second;
public:
    Pair(T1 a, T2 b) : first(a), second(b) {}
};
Pair<int, double> p(10, 3.14);

作用域規則

類模板遵循普通類的作用域規則，僅在其可見範圍內可實例化對象。

編譯模型：包含模型

模板定義通常放在頭文件中（或 .inl 包含），因為編譯器需在使用點看到完整定義以進行實例化。這也是「頭文件只有聲明」慣例的例外。

常見誤區與最佳實踐

結語

類模板是 C++ 泛型編程的基石。掌握其定義、實例化機制、成員定義語法與編譯模型，能讓你編寫出類型安全、高復用、零開銷的泛型組件。