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>

编译器在调用模板时，偏特化模板优于全特化模板
总结：在调用模板时，优先级
普通函数<偏特化<全特化

原文地址：https://blog.51cto.com/14233078/2445254