一.泛型编程
实现一个通用的交换函数
void swap(int& x, int& y)
{
int tmp = x;
x = y;
y = tmp;
}
这里如果想交换double类型的,可以再写一个重载函数。但代码太多了,最好有一个函数模板。
这就是泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。
模板分为函数模板和类模板
二.函数模板
1.概念及格式
函数模板代表了一大类函数,该函数模板与类型无关,在使用时被参数化,根据实参类型生成特定的类型的模板。
注意,在传入类型参数调用函数之前,这些函数还没有实例化出来,只有显式调用后,才会生成对应的模板。
格式:
template<typename T1,typename T2……>
返回值类型 函数名(参数列表){}
其中,typename是用来定义模板参数的关键字,也可以使用class
比如:
2.原理
函数模板本身并不是函数,而是一个蓝图一个模具,是编译器用来长生特定具体类型的函数的模具
在编译器编译阶段,对于模板函数的使用,编译器要根据传入的实参类型来推演生成对应类型的函数以供调用
3.函数模板的实例化
隐式实例化:让编译器根据实参推演模板参数的实际类型
通过a和b来推断出T为int
显式实例化:
4.模板参数的匹配原则
1.一个非模板函数可以与同名的模板函数同时存在,而且这个模板函数仍然能够被实例化为这个非模板函数
2.模板函数不会进行自动类型转换,但是普通函数可以进行自动类型转换
如上是普通函数,所以会自动将1.2转换为整型
但是要是使用模板,就无法进行自动类型转换,编译报错。
所以当这两个函数都存在时,add(1,1.2);就是直接调用非模板函数。
3.对于同名的模板和非模板函数,调用时会优先调用非模板函数,但要是非模板函数无法匹配,并且模板可以产生一个具有更好匹配的函数,那么将选择模板。
三.类模板
1.概念及格式
之前写过栈,我们希望可以创建多种栈,一个可以存放int,一个可以存放char……
一种方法是使用typedef,但是如果typedef DataType int后,里面就只能存int了,不能同时实例化一个存double的栈。此时就可以使用类模板:
2.如何在类外定义类模板的成员函数
在类外定义时,需要加上类模板的参数列表,如下:
3.类模板实例化
类模板实例化与函数模板实例化不同,必须是显式实例化
注意,类模板不是真正的类,实例化结果才是真正的类