C++面向对象程序设计 作者 李兰_ 第7章.pptVIP

　　模板是C++?语言的一个重要特性。模板使得程序员能够快速建立具有类型安全的类库集合和函数集合，是通用程序设计的利器。它的实现，提供了重用程序源代码的有效方法，方便了更大规模的软件开发。 　　但宏定义有两个问题，一是它避开了类型检查，在某些情况下，会导致不同类型参数之间的比较，引起错误；二是可能在不该替换的地方进行了替换，如： class A { int max(int x,int y); //… } 　　同样，在声明了一个类模板之后，可以创建类模板的实例，它称为模板类。类模板与模板类的区别是：类模板是一个模板，不是一个实实在在的类，其中用到通用类型参数；而模板类是一个类，可以由它定义对象。　　模板经过实例化后就得到模板函数或模板类，模板函数或模板类再经过实例化后就得到对象。模板、模板类、对象和模板函数之间的关系如图7-1所示。 7.2.1 函数模板的声明　　(Declaration of Function Template)　　为了定义函数模板或类模板，首先要进行模板说明，其作用是说明模板中使用的类属参数。函数模板可以用来创建一个通用的函数，以支持多种不同的形参，避免重载函数的函数体重复设计。它的最大特点是把函数使用的数据类型作为参数。 函数模板的声明形式为： templatetypename类型形参表返回类型 函数名(参数表) { 函数体 } 例如： templatetypename T T fuc(T x, int y) { T x; //… } 　如果主调函数中有以下语句： double d; int a; fuc(d,a);　　则系统将用实参d的数据类型double去代替函数模板中的T生成函数： double fuc(double x,int y) { double x; //… } 7.2.2 函数模板(Function Template)　　函数模板定义由模板说明和函数定义组成。所有在模板说明的类属参数必须在函数定义中至少出现一次。函数参数表中可以使用类属类型参数，也可以使用一般类型参数。  7.2.3 模板函数(Template Function)　　函数模板是对一组函数的描述，它以类型作为参数及函数返回值类型。它不是一个实实在在的函数，编译时并不产生任何执行代码。当编译系统在程序中发现有与函数模板中相匹配的函数调用时，便生成一个重载函数。该重载函数的函数体与函数模板的函数体相同，参数为具体的数据类型。我们称该重载函数为模板函数，它是函数模板的一个具体实例。 【例7-1】 求两个数之中的大值。程序如下：//ex7_1.cpp//Max.h#includeiostream#includestringusing namespace std;#ifndef MAX_H#define MAX_H template typename TT Max(T a, T b){ return ab ? a : b; }#endifvoid main(){ int a,b;coutEnter two integer : \n;cin a b; cout Max( a , b ) = Max(a,b) endl;float x, y;cout Enter two double : \n;cin x y;cout Max( x , y ) = Max(x,y) endl;char c, d;cout Enter two character : \n;cin c d; cout Max( c , d ) = Max(c,d) endl;cout Enter two strings : \n;string g,f;cingf;cout Max( g , f ) = Max(g,f) endl;} 程序的运行结果为：　Enter two integer: 　12 45　Max(12,45)=45 　Enter two double:　3.5 8.4　Max(3.5,8.4) = 8.4 Enter two character:A bMax(A,b)=b Enter two strings :good betterMax(good,better)=good 　　C++语言将根据“实参表”中的类型生成一个重载函数即模板函数。该模板函数的定义体与