C++teplate.pptVIP

第12章 模板 本讲内容提要 函数模板 函数模板 模板函数 模板实参的省略 类模板 类模板的概念与定义 模板类 类模板的继承与派生 请看下面的函数： 一、函数模板 函数模板是通过对参数类型进行参数化后，获取有相同形式的函数体。 它是一个通用函数，它可适应一定范围内的不同类型对象的操作。 函数模板将代表着不同类型的一组函数，它们都使用相同的代码，这样可以实现代码重用，避免重复劳动，又可增强程序的安全性。 1.函数模板 利用函数模板解决上述问题。 add模板可以定义为： 其中，“ ”括起部分就是模板的形参表，T是一个虚拟类型参数。注意，可以用多个虚拟参数构成模板形参表。 不但普通函数可以声明为函数模板，类的成员函数也可以声明为函数模板。 2.模板函数 函数模板是模板函数的一个样板，它可以生成多个重载的模板函数，这些模板函数重用函数体代码。 模板函数是函数模板的一个实例。 函数模板的实例化（instantiation） 例12.1： 问题：分析程序输出结果。 3.模板实参的省略 模板实参的省略是有条件的。 以下四种情况模板实参不能省略: 从模板函数实参表获得的信息有矛盾。 需要获得特定类型的返回值，而不管参数的类型如何。 虚拟类型参数没有出现在模板函数的形参表中。 函数模板含有常规形参。 从模板函数实参表获得的信息有矛盾。 例如： templatetypename T T add(T a,T b){return a+b;} 若调用函数的语句为：coutadd(3,5); 则编译系统无论是从3还是5所获得的信息都是T对应于int，因此可顺利地生成如下模板函数：int add(int a, int b){return a+b;} 调用语句变为： coutaddint(3.0,5); 其中，紧跟在函数名后的int就是模板实参表，此时，编译系统生成如下的模板函数： int add(int a,int b){return a+b;} 需要获得特定类型的返回值，而不管参数的类型如何。 例如， 如果需要add返回一个int型的值， 那么直接以addint(a,b);形式调用即可。 虚拟类型参数没有出现在模板函数的形参表中。 由于虚拟类型参数没有出现在模板函数的形参表中，所以调用时不可能从模板函数的实参表中获得相应的信息，因此无法省略。 例12.2 分析程序输出结果。 函数模板含有常规形参。 当函数模板含有常规形参时，如果常规参数的信息无法从模板函数的实参表中获得，则在调用时必须显式的给出对应于常规参数的模板实参。 例12.3 分析程序输出结果。 二、类模板 1.为何要引进类模板？ 按不同的方式重用相同的代码 使代码参数化（通用化），即不受类型和操作的影响 使用类模板所定义的一种类类型，类中的某些数据成员和某些成员函数的参数及返回值可以选取一定范围内的多种类型，从而实现代码重用。 是一种参数化类型的类，是类的生成器。 讨论引进类模板的必要性 有如下程序：Node是链表的节点类，List为链表类。 class Node {……}; class List{ public:List(); ~List(); void Add(Node ); void Remove(Node ); Node *Find(Node ); …… }; //该类的实现部分略…… 通用化修改，使用参数T class List{ public:List(); ~List(); void Add(T ); void Remove(T ); Node *Find(T ); …… }; //该类的实现部分略…… 2.类模板 (1)类模板的定义 template模板参数表 class 类名 {类体说明}; //类体实现 模板参数表 class 标识符 例如，array.h文件中类模板的定义 (2)用类模板定义对象的格式是： 类名模板实参表对象名(构造函数实参表)； 3. 模板类 模板类 在定义了类模板后，可根据需要生成相应的模板类。即，对模板参数，指定具体的类型。 例如，当指定AType 为int型时，生成模板类 array int 利用模板类创建对象格式如下： array int a1=10; 例12.4： 问题：分析程序输出结果。 4.类模板的继承与派生 模板类的派生与普通类一样，也分为公有派生类、保护派生类和私有派生类三种。 模板派生类中成员的访问控制规则与普通类也是一样的。 下面给出常见的几种情况： 普通类继承类模板 模板类继承普通类 模板类继承模板类 模板类继承模板参数给出的基类 普通类继承类模板 可以通过继承类模板的一个实例来声明一个类 ，例如： 模板类继承普通类 模板类TDerived继承了普通类TBase，这种情况十分常见。