第7篇模板--类的再抽象.pptVIP

第7章模板--类的再抽象 《解析C++面向对象程序设计》 第7章 模板——类的再抽象 内容提要 STL标准模板库的形成原因 函数模板和模板函数 类模板与模板类 STL标准模板库的简单应用 提出问题 7.1 标准模板库的设计问题 【例7-1】能否设计一个“通用函数”，该函数能对各种数据类型的数组（基本类型数组或对象数组）进行倒序？ 我们首先想到用已学知识----重载来解决该问题 【例7-2】函数重载实现倒序。 // example7_2.cpp //对整型数组地址begin到end-1的元素倒序 void Reverse(int* begin,int* end) { //首尾元素交换 //然后begin指针增1，end指针减1 for(;begin!=endbegin!=--end;begin++) { int temp; temp=*begin; *begin=*end; *end=temp; } } 【例7-2】续 //对实型数组地址begin到end-1的元素倒序 void Reverse(float* begin,float* end) { for(;begin!=endbegin!=--end;begin++) { float temp; temp=*begin; *begin=*end; *end=temp; } } 函数重载不仅方便用户对函数名的记忆，而且更主要的是完善了同一个函数的代码功能，给调用带来了许多方便。 它允许多个同名的函数存在，但同名的各个函数的形参必须有区别：要从形参的类型、个数或顺序几个方面来区分。 显然，如果需要处理所有数据类型的参数，则需要更多的代码进行函数重载。其冗余增加。 分析问题 从例7-2的代码可以看出，两个重载函数从算法上来看是一样的，整个程序的区别仅仅在于函数所处理数据类型的不同。如果可以将数据类型参数化，那么我们只需要编写一个函数，就可以解决各种数据类型数组的倒序问题，即函数模板。 下面介绍模板： 7.2 模板的概念 模板(Template) 使用参数化的C++类型创建相应的函数和类，分为两种类型： 函数模板（Function Template） 类模板（Class Template） 一个模板并非一个实实在在的类或函数，仅仅是一个类或函数的描述，是参数化的函数和类。 7.3 函数模板 先看一个例子 函数模板的定义 函数模板的定义格式 模板函数的生成 函数模板是对一组函数的描述，它以任意类型T为参数及函数返回值。 它不是一个实实在在的函数，编译系统并不产生任何执行代码。 当编译系统在程序中发现有与函数模板中相匹配的函数调用时，便生成一个重载函数，该重载函数的函数体与函数模板的函数体相同。 【例7-3】示例函数模板的定义，实现对不同数据类型数组进行排序。 //example7_3.cpp //对任意类型数组地址begin到end-1的元素由小到大排序 template class T void Sort(T* begin,T* end) { T* pi,*pj; for(pi=end;pibegin;pi--) for(pj=begin+1;pjpi;pj++) if(*(pj-1)*pj) //采用冒泡法排序 { T temp; temp=*(pj-1); *(pj-1)=*pj; *pj=temp; } } 7.4 类模板 类模板的定义： 类模板中的成员函数的定义 可以放在类模板的定义体中（此时与类中的成员函数的定义方法一致） 也可以放在类模板的外部定义成员函数，此时成员函数的定义格式如下： 注意！ 在类模板外定义成员函数时，每一个函数前均加上： template 类型参数表 类模板的使用 利用类模板定义的只是对类的描述，它本身还不是一个实实在在的类。要定义类模板的对象（即实例），需要用下列格式的语句： 类模板名 实际的类型 类模板名 实际的类型 对象名[(实际参数表)]; 【例7-4】栈类模板的设计。设计如下的类图: 7.5 解决问题 下面我们可以来实现7.1节所提到的问题了。//example7_1.cpp //自定义函数模板，实现对任意类型数组倒序 template class T void Reverse(T* _F,T* _L) { //_F表示首指针，指向首元素； //_L表示尾指针，指向最后一个元素。 for(; _F != _L _F != --_L; ++_F) {