使用模板是为了防止写重复性代码,才把类或者函数写成与类型无关的代码;
根据用户给的不同的实力化,让编译器生成处理具体类型的代码,大部分情况下可以完成需求,有时则不行,
不支持分文件的声明与定义分离
函数模板:
原理:编译器根据用户所提供实例化中的不同类型,编译器将参数推演完后,能够将模板参数列表中的类型用实际类型替换生成真正的函数以备调用
关键字:typename
也可以使用class
代替
模板也可以有缺省参数typename T=int;
- 模板并不是真正的函数,只是告诉编译器这是一个函数编写样板
- 模板参数列表可以带多个参数
template <typename T, typename S>
,关键字不能省略- 函数模板实例化后会生成相应的函数
- 不能这样调用
Add(1, 2.0)
,解决方法:
. 对其中一个参数强转;
. 提供多个模板参数列表;
. 进行显式实例化
代码在运行之前先要进行编译,在编译阶段对于模板有两种方式
隐式实例化 | 编译器会对传递的实参类型进行推演,然后确定模板参数列表中实际的类型 |
---|---|
确定出来后再根据确定的类型生成实际类型的代码 | |
显式实例化 | 用户在<> 内指明T的类型生成相应的函数,不需要编译器推演; |
生成代码之后,会将不同类型的实参进行隐式类型转化(转化失败则报错) |
模板不等于泛型编程,泛型编程更高级
const修饰函数模板参数
模板参数的匹配原则:
- 一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数
- 对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板
(调非模板函数发生类型转化,而调模板函数不会则调模板函数)
Add< int >(1, 2)和Add<>(1, 2)则让编译器调用模板函数- 模板函数不允许自动类型转换,但普通函数可以进行自动类型转换
类模板
类模板:将类中涉及到类型的用一个参数代替,将该参数在类前用模板声明
- 实例化对象时不能用
SeqList s
,因为SeqList不是具体的类,是类模板;
必须加<>
显式实例化- 实际的类由编译器生成
- 在模板类内声明函数,类外定义函数时,函数的作用域限定也需要用
<>
表示,不能省略
void SeqList<T>::Pushback() {}