先介绍一个概念
泛型编程
泛型编程:编写与类型无关的逻辑代码,是代码复用的一种手段,模板是泛型编程的基础。
函数模板
函数模板:代表了一个函数家族,该函数与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
函数模板的格式
template <typename Param1, typename Param2,...,class Paramn>
返回值类型 函数名(参数列表)
{
...
}
定义模板关键字
template <typename T>
T Add(T left, T right)
{
return (left + right);
}
模板形参名字可以随意
命名,typename 是用来定义模板参数关键字,亦可以使用class。
注意:不能使用struct代替typename。
模板函数也可以定义为inline函数
注意:inline关键字必须放在模板形参表之后,返回值之前,不能放在template之前
模板是一个蓝图,它本身不是类或者函数,编译器用模板产生指定的类或者函数的特定类型版本,产生模板特定类型的过程称为函数模板实例化。
注意:模板被编译两次:
1.实例化之前,检查模板代码本身,查看是否出现语法错误,如:遗漏分号
2.在实例化之前,检查模板代码,查看是否所有的调用都有效,如:实例化类型不支持某些函数调用
【实参推演】
从函数实参确定模板形参类型和值的过程称为模板实参推演
多个类型形参的实参必须完全匹配
【类型形参转换】
一般不会转换实参以匹配已有的实例化,相反会产生新的实例。
编译器只会执行两种转换:
1.const转换:接收const引用或者const指针的函数可以分别用非const对象的引用或者指针来调用
2.数组或函数到指针的转换:如果模板形参不是引用类型,则对数组或函数类型的实参引用常规指针转换。数组实参将当做指向其第一个元素的指针,函数实参当做指向函数类型的指针。
模板参数
函数模板有两种类型参数:模板参数和调用参数
模板形参名字只能在模板形参之后到模板声或定义的末尾之间使用,遵循名字屏蔽规则
模板形参的名字在同一模板形参列表中只能使用 一次
所以模板形参前面必须加上class或者typename关键字修饰
注意:在函数模板的内部不能指定缺省的模板实参。
【非模板类型参数】
非模板类型形参是模板内部定义的常量,在需要常量表达式的时候,可以使用非模板类型参数
例如数组长度
类型等价性
模板形参说明
1.模板形参表使用<>括起来
2。和函数参数表一样,跟多个参数是必须用逗号隔开,类型可以相同也可以不相同
3.模板形参不能为空
4.模板形参可以是类型形参,也可以是非类型新参,类型形参跟在class和typename 后
5.模板类型实参可作为类型说明符用在模板中的任何地方,与内置类型或自定义类型使用方法完全相同,可用于指定函数形参类型、返回值、局部变量和强制类型转换
6.模板形参表中,class和typename具有相同的含义,可以互换,使用typename更加直观,但关键字typename是作为c++中的,旧的编译器可能不支持。
模板函数重载
注意:函数的所有重载版本的声明都应该位于该函数调用位置之前。
【说明】
1.一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数。
2.对于非模板函数和同名函数模板,如果其他条件都相同,在调用时会优先调动非模板函数而不会从该模板产生出一个实例,如果模板可以产生一个具有更好匹配这个函数,那么将选择模板。
3.显示指定一个空的模板实参列表,该语法告诉编译器只有模板才能来匹配这个调用,而且所有函数模板参数都应该根据实参演绎出来。
4.模板函数不允许自动类型转换,但普通函数可以进行自动类型转换。
【模板函数特化】
有时候并不总是能够写出所由可能被实例化的类型都最适合的模板,在某些情况下,通用模板定义对于某个类型可能是完全错误的,或者不能编译,或者做一些错误的事情
模板函数特化形式如下:
1.关键字template后面接一对空的尖括号<>
2.再接模板名和一对尖括号,尖括号中指定这个特化定义的模板形参
3.函数形参表
4.函数体
只是定义了一个普通函数,该函数含有返回类型和与模板实例化相匹配的形参表。
注意:在模板特化版本函数的形参类型完全匹配,如果不匹配,编译器将为实参模板定义中实例化一个实例。
注意:特化不能出现在模板实例的调用之后,应该在头文件中包含模板特化的声明,然后使用该特化版本的每一源文件包含该文件。
模板类
【普通顺序表】
【模板类格式】
【模板类的实例化】
只要有一种不同的类型,编译器就会实例化出一个对应的类。
SeqList<int > sl1;
SeqList<double > sl2;
当 定义上述两种类型的顺序表时,编译器使用int 和double 分别代替模板形参,重新编写SeqList类,最后创建者名为SeqList<int >和SeqList<double >的类。
模板参数——实现容器适配器
模板的模板参数——容器适配器
非类型的类模板参数
注意:浮点数和类对象是不允许作为非类型模板参数的
类模板的特化
全特化
偏特化
模板的全特化和偏特化都是在已定义的模板基础之上,不能单独存在。
模板的分离编译
解决办法:
1.在模板头文件xxx.h里面显示实例化->模板类的定义后面添加template class SeqList<int >:一般不推荐这种方法,一方面老编译器可能不支持,另一方面实例化依赖调用者。(不推荐)
2.将声明和定义放到一个文件“xxx.hpp”里面,推荐使用这种方法。
模板总结
【优点】
模板复用了代码,节省资源,更快的迭代开发,c++的标准模板库(STL)因此而生。
增强了代码的灵活性。
【缺点】
模板让代码变得凌乱复杂,不易维护,编译代码时间变长。
出现模板编译错误时,错误信息非常凌乱,不易定位错误。