第六章 类属 首都师范大学.pptVIP

第七章 类属和模板 在程序设计中，我们总会发现程序的某些组成模块 所实现的逻辑功能是相同的，而不同的只是被处理对 象（数据）的类型，例如下列函数模块： int max(int x, int y) { return (x y)? x : y; } float max(float x, float y) { return (x y)? x : y; } double max(double x, double y) { return (x y)? x : y; } 若能将处理对象（数据）的类型作为参数传递给提 供同一逻辑功能的模块，便可以实现用同一模块处理 不同类型对象的目的，从而大幅度地提高代码重用度 和可维护性。这种将程序模块编写成参数化模板的方 法就是类属编程。 在 C++ 中，类属编程有两种实现方式： ⑴ 传统的采用创建类属数据结构的编程方式； ⑵ 采用 C++ 提供的类属工具 —— 参数化模板进行编 程的方式。 本章的重点是模板编程，但对传统类属编程的了解 将有助于对模板的理解。 ⑵ 模板类可以有多个参数，例如： #include iostream.h template class T1, class T2 class myclass { T1 i; T2 j; public: myclass(T1 a, T2 b) { i = a; j = b; } void show() {cout i = i j = j endl; } }; main() { myclass int, double ob1(12, 0.15); myclass char, char* ob2(*, This is a test); ob1.show(); ob2.show(); return 1; } 运行显示如下结果： i = 12 j = 0.15 i = * j = This is a test ⑶ 在使用类模板的源程序中必须包含类模板的完全定 义，即不仅要包含类模板的定义代码，还要包含类 模板的实现代码。因此，如果类模板的完全定义分 写在头文件 .h 和实现文件 .cpp 两个文件中，则在使 用类模板的源程序中就必须包含能体现类模板完全 定义的实现文件 .cpp，而不能只包含仅体现类模板 定义的 .h。例如：程序中有一个类模板 vector，其 定义代码在 vector.h 中，实现代码在 vector.cpp 中， 则在使用类模板 vector 的程序源文件中使用的包含 应该是： #include “vector.cpp” 而不应是 #include vector.h 。 2 类模板使用举例 例7-2 定义一个简单队列类模板，并将该模板实例化一 个对自定义职员类信息进行存储和操作的队列。 问题分析： 简单队列是最有代表性的一种队列是一种具有 “先 进先出” 操作机制的数据容器。队列中存放的数 据，可以是预定义或自定义的任何类型。 本例中采用了链表队列模板。首先定义一个结构模 板 quenode 作为队列的结点，它与定义类模板方法 类似，再定义一个队列类模板 queue，结构模板和 类模板取同样的模板形参名 T。 另外定义了一个职员类 staff，并将队列模板 queue 实例化为 staff 类型的队列 staffque。 结构模板 quenode、队列类模板 queue、职员类 staff 和实例化后的职员信息队列对象 staffque 之间的关 系如下图所示： quenode +nodedata:T +next:quenode* T queue #head:quenodeT #tail:quenodeT #quesize:int #allocateerror:bool #copy(in q:queueT):queueT +pop(in x:T):bool +push(in x:T) +isempty() +operator=(in q:queueT):queueT +getallocateerror():bool T head 1 tail 1 staff +name:string +sex:string +age:int +salary:float +assign(in name:string, in age:int, in salary:float, in sex:string) +print() staffque: bind staff