C++：模板类

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>。如下图所示：

转载于:https://my.oschina.net/u/920274/blog/3071813