码迷,mamicode.com
首页 > 编程语言 > 详细

C++模板特化(template)

时间:2020-06-18 10:42:20      阅读:63      评论:0      收藏:0      [点我收藏+]

标签:pen   img   不用   add   冗余   注意   c++   temp   类型   

模板为什么存在?
相信大家都写过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>

编译器在调用模板时,偏特化模板优于全特化模板
技术图片总结:在调用模板时,优先级
普通函数>偏特化>全特化

C++模板特化(template)

标签:pen   img   不用   add   冗余   注意   c++   temp   类型   

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

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!