C++ 模板深度解析：函數模板、類模板與實例化機制

模板：泛型編程的基石

模板允許在不指定具體類型的情況下編寫通用代碼，編譯器根據實參類型自動生成具體代碼。分為**函數模板**與**類模板**。

一、函數模板

template <typename T>
T max(T a, T b) { return a > b ? a : b; }

• template <typename T> 宣告類型參數；
• 調用 max(3, 5) 時，編譯器推導 T 為 int，生成 int max(int, int)（**模板函數**）；
• 調用 max(3.14, 2.71) 生成 double max(double, double)。

關鍵區別：函數模板是「藍圖」，模板函數是編譯器實例化出的「實體代碼」。

二、類模板

template <typename T, int N>
class FixedArray {
    T data[N];
public:
    T& operator[](int i) { return data[i]; }
    int size() const { return N; }
};

FixedArray<double, 10> arr; // 實例化為模板類
arr[0] = 3.14;

• 類模板參數可為**類型參數**（typename T）或**非類型參數**（如 int N）；
• 實例化時需顯式提供所有模板參數；
• 模板類是具體的類定義，可像普通類一樣使用。

三、模板實例化細節

• 隱式實例化：使用模板時自動生成（最常見）；
• 顯式實例化：template class FixedArray<double, 10>; 強制生成，常用於庫的編譯單元分離；
• 顯式特化：為特定類型提供專用實現：
  template <> class FixedArray<bool, 10> { /* 位壓縮實現 */ };

四、常見陷阱與最佳實踐

1. 定義與聲明不可分離：模板代碼通常放在頭文件，因為編譯器需見到完整定義才能實例化；
2. 避免代碼膨脹：對非類型參數值敏感的模板，考慮將與參數無關的代碼提取到非模板基類或輔助函數；
3. 使用 typename 而非 class：語義更清晰，C++17 起 template <auto N> 更簡潔；
4. SFINAE 與 Concepts (C++20)：約束模板參數，提升錯誤信息可讀性。

結語

模板是 C++ 泛型編程的核心，標準庫（STL）即建立於此。深入理解實例化機制、特化、參數推導，對編寫高效、可復用的現代 C++ 代碼至關重要。