目录
1.泛型编程
我们常常在程序中使用swap函数用来交换两个数据。我们可以通过函数重载来实现不同数据类型的数据交换。
void swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
void swap(double& left, double& right)
{
double temp = left;
left = right;
right = temp;
}
void swap(long& left, long& right)
{
long temp = left;
left = right;
right = temp;
}
使用函数重载固然可以实现,但是有以下的缺陷:
1.重载的函数仅仅是类型的不同,代码复用率低,只要有新类型出现,用户就要自己增加对应的函数。
2.代码可维护性低,因为大部分代码都是一个复制来的,一个错所有代码可能都会出错。
那么能否提供一个模子,让编译器根据不同类型利用该模子来生成代码呢?
如果在C++中也有这样一个模具,通过给这个模具不同的材料(类型),来获得不同的实物(生成不同的代码),那么我们的代码就会简洁许多。
所以C++提供了泛型编程:
泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。
模板又分为函数模板和类模板
2函数模板
2.1概念:
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
格式:
template<typename T1, typename T2,......,typename Tn>
返回值类型 函数名(参数列表){}
template<typename T>
void swap(T& left,T&right)
{
T temp=left;
left=right;
right=temp;
}
注意:typename是关键字,也可以使用class来代替,但不可使用struct代替class。
2.3函数模板原理
函数模板是个蓝图,他并不是一个真正的函数,是编译器使用特定方式产生具体类型函数的模具。所以模板是把本来我们的工作交给了编译器。
面对不同类型的参数,编译器在编译阶段根据具体提供的实参来推演生成对应类型的函数,以供调用。比如当你想交换double类型的参数时,编译器通过对实参的推演确定T为double类型,则生成一份double类型的交换函数。
2.4函数模板的实例化
用不同类型的参数使用函数模板时,成为函数模板的实例化。函数模板实例化分为:显示实例化和隐式实例化。
1.隐式实例化:让编译器自己推演模板参数的实际类型。
我们看到编译器推导出了实际参数的类型帮我们生成了两个不同类型的add函数。
那如果我们如果同时提供了某一类型的相同函数,那么会怎么样呢?
template <class T>
T add(T& left, T& right)
{
return left + right;
}
int add(int& left, int& right)
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
printf("%d \n", add(a1, a2));
return 0;
}
我们在调试中发现,函数调用进入了int 类型的add函数,并没有使用函数模板来生成。因为编译器也会偷懒,如果已经有实际的函数了,编译器也不会再去生成一份。这叫做模板的特化。
那么我们能否使用不同类型的参数来实例化模板呢?
显然编译器并不能生成,因为他推导出T是整形,但是后面又变成了浮点型所以会发生冲突。
这里有两种解决方式:
一种是类型强转
还有一种就是显示实例化
3.类模板
3.1为什们要使用类模板?
与函数模板类似,,类也可以被一种或多种类型参数化。在之前写的所有数据结构都只能通过typedef存储一种类型的数据,要存储另一类型的话,就要改变typedef的内容,但同一段函数只能存储一种类型,还是不符合泛型编程的思想。
所有C++提出了类模板。
3.2类模板的定义格式
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可,类模板名字不是真正的类,而实例化的结果才是真正的类。
template <class T>
class Vector
{
public:
Vector(int capacity=10)
:_data(new T[capacity])
,_size(0)
,_capacity(capacity)
{}
~Vector();
private:
T* _data;
int _size;
int _capacity;
};
template<class T>
Vector<T>::~Vector()
{
if (_data)
{
delete[] _data;
_data = nullptr;
_size = _capacity = 0;
}
}
int main()
{
Vector<int> v1;
Vector<double> v2;
return 0;
}
注意:在类外定义类模板的函数时也要使用模板参数列表。
Vector时类名,Vector<int > 才是类型。