函数模板特化

4.模板特化
有些时候，我们编写的模板定义并不总是适用于所有类型

template<typename T>
int compare(const T&v1,const T&v2)
{
    if(v1<v2)return -1;
    if(v1>v2)return 1;
    return 0;
}

当这个函数的参数类型是C风格字符串时，这个函数不能正常工作(这个函数将比较两个指针在内存中的相对位置，但没有比较指针指向对象的大小)，这时候我们必须提供一个针对C风格字符串的特殊定义,这就是模板特化

1.函数模板的特化
特化的形式如下:

关键字tempalte后面接一对空的尖括号(< >)
函数名后接模板名和一对尖括号，尖括号中指定这个特化定义的模板形参
函数形参表
函数体
template<>
int compare<const char *>(const char *const &v1,const char *const &v2)
{
    return strcmp(v1,v2);
}

1.声明模板特化
与任意函数一样，函数模板特化可以声明而无须定义。

template<>
int compare<const char *>(const char *const &,const char *const &);

2.函数重载与模板特化
如果在特化中省略空的模板形参表template<>,那么结果是函数的重载而不是模板特化

int compare(const char *const&,const char *const&);
//声明了该函数的重载版本而不是模板版本

3.特化的作用域规则
在调用模板的这个特化版本之前，特化的声明必须在作用域中

template<class T>
int compare(const T&t1,const T& t2)
{
    ...
}
 
int main()
{
    int i=compare("hello","world");
    ...
}
 
template<>
int compare<const char *>(const char *const &s1,const char *const &s2)
{
    ...
}

这个程序有错误，这个函数将会调用未特化的原模板函数

特化出现在对该模板实例的调用之后是错误的
————————————————
版权声明：本文为CSDN博主「Gamer_code」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/m0_52902391/article/details/120614881

函数模板特化

推荐阅读更多精彩内容