函数模板

模板是为了解决使用编程语言时因为参数类型不同,但实现过程相同的方法

首先声明
template<class T,…>或者template<typename T ,…>告诉编译器紧跟的函数代码里出现T不要报错;ps:T可以换成其他字符
列如:
声明函数void mySwap(T &a ,T &b)类型也需要传入,类型实参化调用
调用函数myswap(a,b)自动类型推导,按照a,b的类型来替换T
或者myswap(a,b)显示指定类型

函数模板的局限性:
模板不能解决所有的类型,如果出现不能解决的类型,可以通过第三方具体化来解决问题
template<> 返回值 函数名<具体类型>()
第三方具体化能够自定义数据类型,解决原本函数不能解决的问题(具体化函数必须跟原函数返回值相同),如果具体化能
够优先匹配,那么就选择具体化
列如:
template
bool myCompare(T &a,T &b)
{
if(a= =b)
{return true;
}
return false;
}
template<> bool myCompare(person &a, person &b)
{
if(a.age==b.age)return true;
return false;
}

类模板
1,写法
template<class T,…>后面紧跟类
2,与函数模板的区别,可以有默认的类型参数
列:
template<class T,class U=int>
其中U就有默认参数
3,函数模板可以进行自动类型(列如:const int ,ps:就是加了修饰词)推导,而类模板不可以

类模板做函数的参数
三种方式:
1显示指定类型;如:void dowork(person<string,int> &p);
2参数模板化;如:
template<class T1,class T2>
void dowork(person<T1,T2>& p);
3整体模板化;
template
void dowork(T &p)

当出现类模板作为基类,而子类要去继承的时候,必须指定参数类型,否则T无法分配内存
如基类templateclass Base{},当子类要继承的时候,class Child:public Base;

类模板的类外实现
如果在person类定义一个dowork函数
那么类外实现是
template person::dowork(T x)
{}