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