第9章模板浅析.pptVIP

第 9 章 模 板;9.1 函数模板 9.2 类模板 9.3 类模板静态成员与友元 9.4 派生类模板 9.5 本章知识点小结 ;9.1 函数模板;9.1.1 函数模板与模板函数;三个函数除了参数类型不同外，其余代码完全一样，若需适应更多的类型，就意味着要重复写更多的类似函数；是否可以写一个通用的函数，适用于不同的数据类型呢？解决的办法是使用函数模板。如果使用函数模板，其数据类型本身就是一个参数。函数模板的定义形式如下： template class T 或 templatetypename T 返回类型 函数名 (形参表) { 函数体的定义 } 关键字template表示声明一个模板，参数T是模板的数据类型参数，在每一个参数T之前必须有关键字class 或typename；在声明类型参数的时候，class和typename可以互换，两者意义相同。;下面是max函数的模板定义： template class T T max(T x, T y) { return (xy)? x : y; } 这里定义的max函数模板不是一个实实在在的函数，模板类型形式参数T实例化为 int ，float或任意其他类型（包括类类型）后，max 才是一个具体的函数。函数模板max代表的是一类函数，编译系统不为函数模板产生任何执行代码，函数模板的定义只是对函数的描述，必须将函数模板的类型形参T实例化后，才能成为具体函数，完成函数功能。函数模板的类型形式参数实例化的函数称为模板函数。;【例9-1】用函数模板实现通用max函数。 /* 9-1.cpp */; float fn,fn1,fn2; cinfn1fn2; fn=max(fn1,fn2); //函数模板的类型形参T实例化为float coutmaxfloat = fnendl; char ch, ch1, ch2; cinch1ch2; ch =max (ch1,ch2); //函数模板的类型形参T实例化为char coutmaxchar = chendl; return 0; };【分析与思考】 在上面主函数进行编译时，发现第11行：max(num1,num2)调用语句，编译程序将根据调用语句的实参类型，将int作为类型实参，num1、num2作为函数实参，生成一个int类型的重载函数，即模板函数： int max(int x,int y) { return (xy)? x : y; } 同样，第15行语句，主函数第二次用float 类型参数fn1，fn2作为实参调用模板max时，编译程序再次生成float类型的重载函数（模板函数）： float max(float x,float y) { return (xy)? x : y; };第19行语句，主函数第三次用char 类型参数ch1，ch2作为实参调用模板max时，编译程序又生成 char 类型的重载函数 char max(char ch1,ch2) 。 因此，当主函数执行调用 max() 时，实际是调用的由函数模板生成的模板函数 int max(int x, int y) 、float max(float x, float y) 和 char max(char ch1,ch2) 。 一个函数模板提供了一类函数的抽象，它以形式类型为参数，根据调用语句的实际类型以函数模板为样板生成一个实际函数，这个函数称为模板函数。 模板函数是函数模板的实例，就象类与对象一样。函数模板是具有相同程序功能的一类函数的抽象，可以适应任意类型，而模板函数是按函数的程序正文，生成的某一具体类型的函数，它是函数模板的一个实例。;*;【例9-2】函数模板如上例，模板实参为自定义的类类型，利用函数模板max求两个可比对象的大小。 /* 9-2.cpp */;ostream operator(ostream s, Complex com) { scom.real + com.imagi; return s; } templateclass T T max(T a,T b) { return(ab)?a:b; };int main( ) { double d1=1.1, d2=2.2,d3; Complex c1(1,2), c2(3,4), c3; d3=max(d1,d2); c3=max(c1,c2); coutThe result is:endl The bigger do