模板为什么存在?
相信大家都写过Add函数
创新互联公司是专业的临湘网站建设公司,临湘接单;提供成都网站制作、网站设计,网页设计,网站设计,建网站,PHP网站建设等专业做网站服务;采用PHP框架,可快速的进行临湘网站开发网页制作和功能扩展;专业做搜索引擎喜爱的网站,专业的做网站团队,希望更多企业前来合作!
int Add(int left,int right)
{
return left+right;
}
或
double Add(double left,int right)
{
return left+right;
}
这种写法会使代码冗余,而且不美观,所以就需要一个通用的Add函数,模板就出现了
template //或template
T Add(T left,T right)
{
cout << typeid(T).name() << endl;//查看调用模板的类型
return left+right;
}
模板特化存在的必要性
上面的模板只能解决一些普通的类型,但对于特殊的类型就会出错
比如:
template
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*& 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
T1& Max(T1& left, T2& right) //返回类型自定T1或T2
{
return left > right? left : right;
}
2.偏特化(部分特化)
//都可以
template
template
template
template
编译器在调用模板时,偏特化模板优于全特化模板
总结:在调用模板时,优先级
普通函数<偏特化<全特化