C++模板

1 什么是模板

• 模板是一种 对类型进行参数化的工具. 主要有两种形式: 函数模板 和 类模板
  • 函数模板就是对参数类型不同的函数
  • 类模板针对数据成员和成员函数类型不同的类
• 使用模板的目的就是为了让程序员能够编写与类型无关的代码,重点关注逻辑功能与算法的实现.

2. 函数模板和类模板的区别

• 函数模板的实例化是由编译程序在处理函数调用时自动完成的.
• 类模板的实例化必须程序员在程序中显示指定.

3 特化 / 偏特化

特化

• 比如在 编写一个 判断是否相等的 类模板. 对于 int,float不能使用相同的方法进行判断. 就需要进行特化了. 相等于特殊处理

偏特化

• 偏特化是当有多个模板形参时，我们可以只特化一部分形参而不是全部。
• 函数模板是不允许偏特化的

特化与偏特化的调用顺序

• 对于模板 / 模板的特化 / 模板的偏特化 都存在. 那么需要最先匹配最特殊的.然后次特殊的.最后普通的.

4 模板代码膨胀问题

• 泛型会产生冗余代码是不可避免的. 因为每一个不同的参数. 编译器都会为它生成一套相应的代码.
• 如何消除代码膨胀?
  • 《Effective C++》中有一章专门提到: 不要在模板中使用不必要的参数。