C++ 函數模板特化詳解：解決特定型別處理邏輯

模板特化核心概念

函數模板特化（非多載）針對特定模板參數提供專屬實作。使用 template<> 空尖括號表示支援原版本所有模板參數。注意：存在非模板函數時，匹配度相同優先使用非模板版本。

字串比較特化實例

/* 
 * CppPrimer.cpp - 函數模板特化範例
 * Created on: 2013.12.9
 * Author: Caroline 
 * eclipse cdt, gcc 4.8.1
 */
#include <iostream>
#include <vector>
#include <cstring>
using namespace std;

// 通用版本：適用於支援 < 運算子的型別
template <typename T>
bool compare(const T& t1, const T& t2) {
    std::cout << "first version" << std::endl;
    return (t1 < t2) ? true : false;
}

// 函數模板特化：const char* 指標比較內容而非地址
template<>
bool compare(const char* const &p1, const char* const &p2) {
    std::cout << "third version" << std::endl;
    return strcmp(p1, p2);
}

// 非模板版本（註解掉）：同樣處理 const char*，優先級高於特化
/*
bool compare(const char* const &p1, const char* const &p2) {
    std::cout << "forth version" << std::endl;
    return strcmp(p1, p2);
}
*/

// 重載版本：字串字面值（陣列引用）非型別參數
template<unsigned N, unsigned M>
bool compare(const char (&p1)[N], const char (&p2)[M]) {
    std::cout << "second version" << std::endl;
    return strcmp(p1, p2);
}

int main(void) {
    const char* w("Wendy");
    const char* c("Caroline");
    
    // 呼叫特化版本：比較指標指向的字串內容
    if (compare(c, w)) {
        std::cout << "Caroline is long." << std::endl;
    } else {
        std::cout << "Wendy is long." << std::endl;
    }
    
    // 呼叫重載版本：推導陣列大小 N=9, M=6
    if (compare("Caroline", "Wendy")) {
        std::cout << "Caroline is long." << std::endl;
    } else {
        std::cout << "Wendy is long." << std::endl;
    }
    
    return 0;
}

輸出結果分析

third version
Caroline is long.
second version
Caroline is long.

特化 vs 重載 關鍵差異

最佳實踐建議

1. 優先使用重載：處理不同參數型別/個數
2. 必要時特化：針對特定型別修正通用邏輯錯誤（如指標比較）
3. 避免混淆：同一型別同時提供特化與重載易造成誤解
4. 非模板優先：完全匹配時非模板函數勝出