面向对象的程序设计语言----C++第09章.pptVIP

对于重载函数而言，C++的检查机制能通过函数参数的不同及所属类的不同，正确的调用重载函数。例如，为求两个数的最大值，定义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 ; } 但如果在主函数中定义了变量a、b为char类型，则在执行函数调用语句max(a,b);时，程序就会出错，因为我们没有定义char类型的max函数的重载版本。 现在，我们再重新审视一下这些max()函数，它们都具有同样的功能，即求两个数的最大值，那么能否只写一套代码解决这个问题呢？这样就会避免因重载函数定义不全面而带来的调用错误。 也就是说，在进行相同方式的处理时，只有当参加运算的数据类型不同时，才可以定义模板。 模板提供了函数与类的“参数化设计”方法。“参数化设计”是在设计函数或类的时候，将其中某些形参、变量、返回值的类型用“模板参数”替代，生成函数模板或类模板；编译系统根据这些模板，可以生成能对不同类型数据操作的函数或类。 其中： （1）“类型形参表”中的参数，可看作是形式参数，各参数需要给出其参数名，参数的类型可由下列标识符修饰： ①“class”标识符：表示该参数可以接受一个类型参数。 ②“类型说明符”标识符：表示该参数可以接受一个由“类型说明符”所规定类型的常量作为参数。 当“类型形参表”同时有多个参数时，各参数间需用逗号隔开。 （2）类模板中的成员函数可以放在类模板的定义体中（此时与类中的成员函数的定义方法一致）定义，也可以放在类模板的外部定义，此时，成员函数的定义格式如下： template 类型形参表 函数值的返回类型 类模板名类型名表::成员函数名（形参） { 函数体 } 其中，“类型形参表”即是类模板定义中的“类型形参表”;“类模板名”即是类模板中定义的名称；“类型名表”即是类模板定义中的“类型形参表”中的参数名。 （3）利用类模板定义的只是对类的描述，它本身还不是一个实实在在的类，是类模板。 （4）要定义类模板的对象（即实例），需要用下列格式的语句： 类模板名 类型实参表 对象名表； 其中，“类型实参表”是由逗号分隔的若干类型标识符或常量表达式构成，它与类模板定义中的“类型形参表”中的参数的个数和类型要一一对应。如果类模板定义中的“类型形参表”中的某个参数类型标识为“class”，则此处的实参应为某个类型标识符；如果类模板定义中的“类型形参表”中的某个参数类型标识为某种类型标识符，则此处的实参应为该种类型的常量。 （此时与类中的成员函数的定义方法一致） 由于 C++中的数据类型很多，针对某种类型设计的函数显然不能用于其他类型。 因此，对于同一个功能的不同要求就不得不编制多个相似的函数。 第9章 模板 本章主要内容 （1）掌握什么是模板以及引入模板的原因。 （2）掌握在程序中如何定义和使用类模板。 （3）掌握在程序中如何定义和使用函数模板。 （4）掌握模板的实例化机制。 北京林业大学 软件教研室 * 具有同样功能的函数，能否只写一套代码? 模板机制。 模板的作用就是使程序能够对不同类型的数据进行相同方式的处理。 模板是实现代码重用机制的一种工具，它可以实现类型参数化，即把类型定义为参数，从而实现了真正的代码可重用性。 C++中的模板分为函数模板和类模板。 北京林业大学 软件教研室 * 9.1 类模板 9.1.1 类模板的定义 template 类型形参表 class 类模板名 { private: 私有成员定义 protected: 保护成员定义 public: 公有成员定义 }； 可以包含基本数据类型，也可以包含类类型。 北京林业大学 软件教研室 * 类模板中的成员函数的定义 可以放在类模板的定义体中定义 也可以放在类模板的外部定义，此时成员函数的定义格式如下： template 类型形式参数表 函数值的返回类型 类模板名类型名表：： 成员函数（形参） { 函数体} 类模板中定义的名称 类模板定义中的类型形式参数表中的参数名 北京林业大学 软件教研室 * 9.1.2 类模板的使用 【例9-1】定义类模板ABC，其内含成员函数set和get