1 什么是模板
- 模板是一种 对类型进行参数化的工具. 主要有两种形式: 函数模板 和 类模板
- 函数模板就是对参数类型不同的函数
- 类模板针对数据成员和成员函数类型不同的类
- 使用模板的目的就是为了让程序员能够编写与类型无关的代码,重点关注逻辑功能与算法的实现.
2. 函数模板和类模板的区别
- 函数模板的实例化是由编译程序在处理函数调用时自动完成的.
- 类模板的实例化必须程序员在程序中显示指定.
3 特化 / 偏特化
特化
- 比如在 编写一个 判断是否相等的 类模板. 对于 int,float不能使用相同的方法进行判断. 就需要进行特化了. 相等于特殊处理
偏特化
- 偏特化是当有多个模板形参时,我们可以只特化一部分形参而不是全部。
- 函数模板是不允许偏特化的
特化与偏特化的调用顺序
- 对于模板 / 模板的特化 / 模板的偏特化 都存在. 那么需要最先匹配最特殊的.然后次特殊的.最后普通的.
4 模板代码膨胀问题
- 泛型会产生冗余代码是不可避免的. 因为每一个不同的参数. 编译器都会为它生成一套相应的代码.
- 如何消除代码膨胀?
- 《Effective C++》中有一章专门提到: 不要在模板中使用不必要的参数。