第七章类模板与向量

最新推荐文章于 2022-05-01 12:09:01 发布

bsr1983

最新推荐文章于 2022-05-01 12:09:01 发布

阅读量264

点赞数

分类专栏： C++学习笔记文章标签：操作系统

本文链接：https://blog.csdn.net/bsr1983/article/details/84019547

版权

C++学习笔记专栏收录该内容

10 篇文章 0 订阅

订阅专栏

第七章类模板与向量

7.1 类模板

如果将类看作包含某些数据类型的框架，然后将这些数据类型从类中分离出来形成一个通用的数据类型T，为这个数据类型T设计一个操作集，并且允许原来那些数据类型的类都能使用这个操作集，这将避免因为类的数据类型不同而产生的重复性设计，其实，类型T并不是类，而是对类的描述，常称之为类模板。在编译时，由编译器将类模板与某种特定数据类型联系起来，就产生一个特定的类（模板类）。利用类模板能大大简化程序设计。

7.1.1 类模板基础知识

1.类模板的成分及语法

关键字class在这里的含义是“任意内部类型或用户定义类型”，但T也可能是结构或类。

对于函数模版及类模板来说，模板层次结构的大部分内容都是一样的，然而在模板声明之后，对类而言便显示出了根本性的差异。为了窗机类模板，在类模板参数表之后应该有类声明。在类中可以像使用其他类型（如int或double）那样使用模板参数。

类模板声明的一般方法如下：

template <类模板参数> class 类名{//类体}；

2.类模板的对象

类模板也称为参数化类。初始化类模板时，只要传给它指定的数据类型，编译器就用指定类型替代模板参数产生相应的模板类。

用类模板定义对象的一般格式如下：

类名<模板实例化参数类型> 对象名（构造函数实参列表）；

类名<模板实例化参数类型> 对象名；//默认或者无参数构造函数

使用模板类时，当给模板实例化参数类型一个指定的数据类型时，编译器自动用这个指定数据类型替代模板参数。

在类体外面定义成员函数时，必须用template重写类模板声明。一般格式如下：

template <模板参数>

返回类型类名<模板类型参数>::成员函数名(函数参数列表){//函数体}

<模板类型参数> 是指template的“< >”内使用class（或typename）声明的类型参数，构造函数和析构函数没有返回类型。

模板实例化参数类型包括数据类型和值。编译器不能从构造函数参数列表推断出模板实例化参数类型，所以必须显式地给出对象的参数类型。

7.1.2 类模板的派生与继承

类模板也可以继承，继承的方法与普通的类一样。声明模板类继承之前，必须重新声明类模板。模板类的基类和派生类都可以是模板（或非模板）类。类模板的派生与继承很复杂，本书仅简单介绍模板类继承非模板类和从模板类派生一个类模板两种情况。

可以用一个非模板类为一组模板提供一种共同的实现方法。

7.2 向量与泛型算法

在数组生存期内，数组的大小是不会改变的。向量是一维数组的类版本，它与数组相似，其中的元素项总是连续存储的，但它和数组不同的是：向量中存储元素的多少可以在运行中根据需要动态地增长或缩小。向量是类模板，具有成员函数。

7.2.1 定义向量列表

向量（vector）类模板定义在头文件vector中，它提供4种构造函数，用来定义由各元素组成的列表。用length表示长度，数据类型用type表示，对象名为name。

向量定义的赋值运算符“=”，允许同类型的向量列表相互赋值，而不管它们的长度如何。向量可以改变赋值目标的大小，使它的元素数目与赋值源的元素数目相同。

向量的第一个元素也是从0开始。

不能使用列表初始化向量，但可以先初始化一个数组，然后把数组的内容复制给向量。

7.2.2 泛型指针

“与操作对象的数据类型相互独立”的算法称为泛型算法。也就是说，泛型算法提供了许多可用于向量的操作行为，而这些算法和想要操作的元素类型无关。这是借助一对泛型指针来实现的。向量具有指示第一元素的标记begin和指示结束的标记end，也就是标识要进行操作的元素空间。如果begin不等于end，算法便会首先作用于begin所指元素，并将begin前进一个位置，然后作用于当前begin所指元素，如此继续进行，直到begin等于end为止。因为end是最后一个元素的下一个位置，所以元素存在的范围是半开区间[begin，end)。