8 函数模板与类模板.ppt

第8章 函数模板与类模板 8.1 模板的概念 8.2 函数模板 8.3 类模板 8.1 模板的概念 定义求最大值函数max(): int max(int x，int y) {return (xy)？x∶y；} float max(float x，float y) { return (xy)？x∶y；} double max(double x，double y) { return (xy)？x∶y；} 解决这个问题的方法: 使用模板 模板是实现代码重用机制的一种工具， 它把类型定义为参数，实现类型参数化。 调用时，T 可以分别取为int 、float 、double int max(int x，int y) { return (xy)？x∶y；} float max(float x，float y) { return (xy)？x∶y；} double max(double x，double y) { return (xy)？x∶y；} 8.2.1 函数模板的声明 函数模板可声明如下： 函数模板也可以定义成如下形式： 例如，求最大值函数模板，如下所示： template template T T max(T x，T y) { return (xy)？x∶y；} 也可以定义成如下形式: template class T T max(T x，T y) { return (xy)？x∶y；} 8.2.2 函数模板的使用 函数模板代表的是一类函数,使用时,类型参数必须实例化,即用实际的数据类型(既可以是系统预定义的标准数据类型(int 、float 、double等), 也可以是用户自定义的类型)替代它。 将函数模板中的类型参数实例化的参数称为模板实参。 用模板实参实例化的函数称为模板函数。 当编译系统发现有一个函数调用: 函数名(模板实参表); 时,将根据模板实参表中的类型生成一个函数即模板函数。该模板函数的函数体与函数模板的函数体相同。 //例8.1-1 #includeiostream using namespace std; template template T T max(T x,T y) { return (xy) ? x:y;} main( ) { int i1=10, i2=56; float f1=12.5, f2=24.5; double d1=50.344, d2=4656.346; char c1=’k’,c2=’n’; coutthe max of i1,i2 is:max(i1,i2)endl; coutthe max of f1,f2 is:max(f1,f2)endl; coutthe max of d1,d2 is:max(d1,d2)endl; coutthe max of c1,c2 is:max(c1,c2)endl; return 0;} 可见：所谓函数模板，实际上是建立一个通用函数，其函数返回类型和形参类型不具体指定，用一个虚拟的类型来代表。函数模板经实例化而生成的具体函数称为模板函数。 函数模板代表了一类函数， 模板函数表示某一具体的函数。 说明： 　(1) 在函数模板中允许使用多个类型参数。但是应当注意template定义部分的每个类型参数前必须有关键字typename （或class ）。 例8.3-1 建立了有两个类型参数的函数模板。 #includeiostream using namespace std; template typename type1, typename type2 void myfunc( type1 x, type2 y) { coutx’ ’yendl;} main() { myfunc(10, hao); myfunc(0.123, 10L); return 0;} (2) 在template语句与函数模板定义语句之间不允许有别的语句。 例如下面的程序段就不能编译。 template typename T int i； //错误 T max( T x，T y ) { return ( xy)？x∶y；} (3)