c++模板

1. 模板是c++泛型编程的基础，是实现代码重用机制的一种工具，他可以实现类型参数化，即把类型定义为参数，从而实现真正的代码可重用性。模板分为两类，一个是函数模板，另外一个是类模板。形式为template<typename T>/template<class T>
2. 函数模板的实例化（利用给定的实参来推断模板参数或者是指定的模板参数）在编译期进行
3. 编译器不能为类模板推断模板参数类型，必须提供实参列表。
4. 类模板中的static成员,这些成员由相同类型的实例共享
5. 使用T::XXX时，加入xxx是一种类型，那么前面加上typename(不能使用class),不加，编译器默认是类的非类型成员
6. 类模板的函数模板：类里面的函数也是一个函数模板，成员函数模板不是虚函数
7. 函数模板的重载：函数模板可以被另一个模板或者普通非模板函数重载；匹配规则：非模板函数优先于模板函数实例，如果没有非模板函数，则选择一个更加特例化的实例
8. 类模板中，派生类调用基类成员，要加上this->
9. Traits(特性萃取)：需要根据数据类型不同进行不同的处理，但不会改变封装，可以使用Traits.
10. 模板元编程（TMP）是编写template-based c++程序并执行于编译期的过程。一种元编程技术，编译器使用模板产生暂时性的源码，然后再和剩下的源码混合并编译。如此利用模板可以被想成编译期的运行
11. TMP的特点：<1>执行于编译期，一些错误可以在编译期侦查到，不用在运行进行<2>使用TMP的程序更高效:较小的可执行文件，较短的运行期，较小的内存需求等
12. TMP的缺点：<1>编译时间更长了<2>语法较难以令人理解，对于元编程经验不丰富的程序员来说，程序难以维护（可读性差）