C++模板特化（template）

模板爲何存在？
相信你們都寫過Add函數

int Add(int left,int right)
{
    return left+right;
}

或

double Add(double left,int right)
{
    return left+right;
}

這種寫法會使代碼冗餘，並且不美觀，因此就須要一個通用的Add函數，模板就出現了

template<class T>       //或template<typename T>
T Add(T left,T right)
{
    cout << typeid(T).name() << endl;//查看調用模板的類型
    return left+right;
}

模板特化存在的必要性
上面的模板只能解決一些普通的類型，但對於特殊的類型就會出錯
好比：

template<class T>
T& Max(T& left, T& right)
{
    return left > right? left : right;
}
int main()
{
    char* p1 = "world";
    char* p2 = "hello";
    cout << Max(p1, p2) << endl;
}

模板特化中的函數特化
對於上面char*類型的解決方法：

template<>
 char*& Max<char*>(char*& left, char*& right)
 {
    if (strcmp(left, right) > 0)
        return left;

    return right;
 }

【注意】

使用模板特化時，必需要先有基礎的模板函數（就是上面第一個模板函數）

使用特換模板函數時格式有要求：

1.template 後直接跟<> 裏面不用寫類型
2.函數名<特化類型>（特化類型 參數1， 特化類型 參數2 , …） 在函數名後跟<>其中寫要特化的類型

特化的函數的函數名，參數列表要和原基礎的模板函數想相同，避免沒必要要的錯誤
也能夠寫爲

char* Max(char* left, char* right)
{
    if (strcmp(left, right) > 0)
        return left;

    return right;
}

編譯器當檢測到普通函數和模板均可以使用時，優先使用普通函數
因此，函數模板通常不須要特化，直接將不能處理類型的具體函數給出
模板特化中的類特化
1.全特化

template<class T1,class T2>
T1& Max(T1& left, T2& right)  //返回類型自定T1或T2
{
    return left > right? left : right;
}

2.偏特化（部分特化）

//均可以
template<T,int>
template<T,int>
template<double,T>
template<T,double>

編譯器在調用模板時，偏特化模板優於全特化模板
總結：在調用模板時，優先級普通函數<偏特化<全特化