泛型编程
对于C++来说,一个程序如果有很多实现的接口调用,亦或者说,代码复用率需要很高。从而就引出现在的问题:如何写出复用率高的代码。
通常我们都使用函数重载,但是函数重载不能很好解决大多数问题,而且一个函数出错,那么其他的函数也会有相应的错误。只要有新类型出现时,就需要增加对应的函数,这样会增加多余的工作量。
那么,我们能否用一个模板,让编译器根据不同的类型利用该模板生成代码呢。
函数模板
函数模板概念:函数模板代表了一个函数家族,该函数模板与类型无关,在使用的时候被参数化,根据实参类型产生函数的特定类型版本。
函数模板格式:
template<typename T1,typename T2>//还可以增加更多的参数
//示例:
template<typename T>
void Swap(T& left,T& right)
{
T temp=left;
left=right;
right=temp;
}
注意:typename是用来定义模板参数的关键字,也可以使用class,但是不能用struct。
函数模板原理:
首先,函数模板就像我们一般所认为的宏函数。但是它又与宏函数有着本质的区别。
函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定类型函数的模具。所以其实模板就是将本来应该我们做的工作交给了编译器。
在编译器阶段,对于模板的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以提供调用。
函数模板的实例化:
用不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为:隐式实例化和显示实例化。
- 隐式实例化:让编译器根据实参类型推演参数的实际类型。
template<typename T>
void Swap(T& left,T& right)
{
T temp=left;
left=right;
right=temp;
}
int main()
{
int a=10,b=30;
double c=1.1,d=1.3;
Swap(a,b);
Swap(c,d);
return 0;
}
注意:在模板中,编译器一般不会进行类型转换操作,因为一旦转换问题,编译器就需要背黑锅。
所以有两种就解决方式:1.用户自己来强制转化;2.使用显式实例化。
2. 显示实例化:函数名后面的<>中指定模板参数的实际类型
int main()
{
int a=10,b=30;
double c=1.1,d=1.3;
Swap<int>(a,b);
Swap<double>(c,d);
return 0;
}
函数模板在使用过程中,需要参数的类型一致,若不为一致则会出现编译错误。一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数。
对于非模板函数和同名函数模板,如果其他条件相同,在调用时会优先调用非模板函数而不会从该模板产生一个实例。如果模板可以产生一个具有更好匹配的函数,那么将选择模板。
类模板
类模板的定义格式
template<class T1,class T2>//可增加多个
class //后跟类模板名
{
//类成员定义
};
类模板的实例化
类模板的实例化与函数模板实例化不同,类实例化需要在类模板名字后跟<>,然后将实例的类型放在<>中即可,类模板名字不是真正的类,而实力化的结果才是真正的类。
//vector 类名,vector<int>才是类型
Vector<int> s1;
Vector<double> s2;