数据结构实验课：C++模板.ppt

第3讲C++模板模板的概念函数模板类模板模板的概念所谓模板是一种使用无类型参数来产生一系列函数或类的机制，是C++的一个重要特性。它的实现，方便了更大规模的软件开发。模板是以一种完全通用的方法来设计函数或类而不必预先说明将被使用的每个对象的类型。通过模板可以产生类或函数的集合，使它们操作不同的数据类型，从而避免需要为每一种数据类型产生一个单独的类或函数。例如，设计一个求两参数最大值的函数，不使用模板时，需要定义四个函数：intmax(inta,intb){return(ab)?a:b;}longmax(longa,longb){return(ab)?a:b;}doublemax(doublea,doubleb){return(ab)?a:b;}charmax(chara,charb){return(ab)?a:b;}若使用模板，则只定义一个函数：Templateclasstypetypemax(typea,typeb){return(ab)?a:b;}函数模板1函数模板说明2使用函数模板3重载模板函数返回首页1函数模板说明函数模板的一般说明形式如下：template模板形参表返回值类型函数名（模板函数形参表）{ //函数定义体}其中，模板形参表可以包含基本数据类型，也可以包含类类型。类型形参需要加前缀class。如果类型形参多于一个，则每个类型形参都要使用class。模板函数形参表中的参数必须是惟一的，而且在函数定义体中至少出现一次。2使用函数模板函数模板只是说明，不能直接执行，需要实例化为模板函数后才能执行。当编译系统发现有一个函数调用：函数名（实参表）;时，将根据实参表中的类型生成一个重载函数即模板函数。该模板函数的定义体与函数模板的函数定义体相同，而形参表的类型则以实参表的实际类型为依据。例1：编写一个对具有n个元素的数组a[]求最小值的程序，要求将求最小值的函数设计成函数模板。#includeiostream.htemplateclassTTmin(Ta[],intn){ inti; Tminv=a[0]; for(i=1;in;i++) if(minva[i]) minv=a[i]; returnminv;}voidmain(){inta[]={1,3,0,2,7,6,4,5,2}; doubleb[]={1.2,-3.4,6.8,9.8}; couta数组的最小值为：min(a,9)endl; coutb数组的最小值为：min(b,4)endl;}此程序的运行结果为：a数组的最小值为：0b数组的最小值为：-3.4**函数模板与模板函数的关系模板函数max(intx,inty)函数模板max(Tx,Ty)模板函数max(doublex,doubley)模板函数max(Xx,Xy)实例化实例化实例化就像类和对象的关系一样，函数模板将具有相同正文的一类函数抽象出来，可以适应任意类型T。**参数为类对象引起的问题对于上述的max函数模板，如果参与比较的是两个类对象（如Complex类的对象），该怎么办？ Complexc1,c2,c3; c3=max(c1,c2);那么编译器将不能明白“”运算符作用在类类型上是什么意思。在这种情况下，为了避免这个问题，必须为参与运算的类类型重载“”运算符。**另一个问题请思考下面情况： voidFunc(intnum,charch){ inta=max(num,ch); intb=max(ch,num); }此时为函数模板提供了两个不同的类型（int和char），编译器无法按模板的规则实例化出那样的函数。但是int和char直接的隐式类型转换是很普遍的。解决办法：C++允许一个函数模板可以使用多个模板参数或者重载一个函数模板。3重载模板函数例2：给出以下程序的运行结果。#includeiostream.h#includestring.htemplateclasstypetypemax(typea,typeb){ return(ab)?a:b;};char*max(char*a,char*b){ return(strcmp(a,b)0?a:b);};voidmain(){ coutmax(\afternoon\,\night\)is:max(af