22.模板类
22.1 模板类
模板是泛型编程的基础，那什么是泛型编程呢？泛型编程是一种独立于任何特定数据类型编写代码的方式。
C++标准模板库中的数据容器、迭代器和算法，都是泛型编程的例子，它们都使用了模板的概念。比如动态数组vector是可以存放任何类型数据的容器，我们可以定义许多不同类型的vector，比如 vector <int> 或 vector <string>。我们还可以定义保存键值对数据的map<int，float>或map<string,int>。
在定义一个类时先不指定类中数据成员的具体类型，而是用一个通用类型 T 来暂时替代，等到实例化类的对象时才确定类的成员数据的类型，这就叫模板类。
有了模板类，编译器会在编译阶段从类模板自动生成多个具体类型的类定义。类模板避免了程序员重复编程，但是并不等于程序中没有具体类型类的代码。只要程序中有一个模板类的实例对象，就会存在对应的具体类的代码。
22.2 定义模板类
模板类声明的形式如下所示：
template <class T> class class_name {
...
}
T是一个占位符，类被实例化的时候T可以替换成某个具体的数据类型。比如下面这个例子中学生成绩的数据类型有时候是用整型表示，有时候是用浮点型表示，那就可以把它定义为泛型T。
<>中的泛型数据类型也可以是多个，比如<class T1, class T2>。
22.3 模板类的对象
实例化一个类模板时，对象的参数表中的参数必须是具体的类型名，如 string、int 或其他类的名字。它们用来一一对应地替换类模板定义中“类型参数表”中的类型参数。
22.4 模板类的派生
可以从模板类派生出新的模板类，格式如下图所示：
也从模板类派生非模板类 ，在派生中作为非模板类的基类，必须是类模板实例化后的类，并且在定义派生类前不需要模板声明语句：template<class T>。如下图所示：