面向对象程序设计12.pptVIP

第十二章 模板(补充) 模板 1、为什么需要模板？ 在C++中引入模板最主要的目标仍然是为了使代码具有好的可重用特性。在C++中，妨碍代码重用的原因之一在于函数以及类都和类型有很强的关联性，如果一个函数在定义时只能处理整型类型的输入参数，则该函数就不能处理字符型或其它程序员自定义的类型。类也具有相同的问题，类中的数据成员往往也具有确定的类型。模板的引入正是为了解决在这种情形下的代码重用问题。 在C++中有两类模板 函数模板 类模板 函数模板 先看一个例子（交换两个变量的内容）。 swap(int, int b)只能交换两个整型变量的内容，不能交换两个double型的变量或两个student类型的对象的内容。如：int ix = 6, iy = 7;swap(ix, iy);double dx =6.5, dy=7.5;swap(dx, dy);//错误，类型不匹配student sx(“王二”,, 98 ),sy(“陈清扬”,, 63 );swap(sx, sy); //错误，类型不匹配 参见注释部分的例子。 函数模板 C++中提供了函数重载的能力，可以用重载的办法定义能处理其它类型的函数。 重载提供了函数的另外一种定义，但不是代码重用，程序员仍须复制原有函数的函数定义，并在原有函数定义的基础上进行修改，在修改过程中，又有可能引入错误。 函数模板 在C++中，可以通过定义函数模板的方式解决因类型不同而导致的代码不能重用的问题。 在函数模板中，类型本身可被定义成模板参数，C++编译器根据函数调用时提供的参数的参数类型自动生成处理不同类型的正确函数。 通过函数模板定义的函数不是一个函数，而是一组函数。 定义函数模板使用保留字template，定义格式如下：template 模板参数表 返回类型 函数名( 函数型式参数表 ) { ... } 函数模板 模板参数表中的参数可以有多个，多个参数间用逗号间隔。模板参数通常代表一个类型（模板类型参数，注意和函数参数不同），模板类型参数形式如下：class 类型参数名 (或 typename 类型参数名) 在模板函数的函数定义中，可以使用模板参数表中的类型参数，就象使用一个基本数据类型或用户已定义好的类型一样。 函数模板 在完成模板函数定义后，可以象调用一般函数那样调用模板函数。int ix = 6, iy = 7;swap(ix, iy); C++ 编译器在遇到调用用模板方式定义的函数时，会根据调用函数的参数类型构造出一个个具体的函数。这个过程称为函数模板的例化（instaniation）。 类模板 和函数一样，类同样具有类型依赖性。在定义类的时侯，类中的数据成员、成员函数的返回值以及参数都必须有确定的类型，有时候这也会妨碍类代码的可重用性。 问题——定义动态数组元素个数应可动态变化元素类型应没有限制 例子: Stash.h Stash.cpp StashTest.cpp 类模板 为了解决类依赖类型的问题，可以使用类模板，类模板的定义和函数模板的定义类似，使用保留字template，格式如下：template模板参数表class 类名 { …;}; 模板参数表中的参数可以有多个，多个参数间用逗号间隔。模板参数通常代表一个类型，模板类型参数形式如下： class 类型参数名 (或 typename 类型参数名) 类模板 同函数模板一样，一个类模板实际上对应了一组类。 当定义一个模板类的对象时，程序员需要提供模板实参，C++编译器根据程序员提供的模板实参生成一个个具体的适合不同类型的类定义，形式如下：类名模板实参 对象名...Stashint intStash;Stashfloat floatStash; 类模板 C++编译器根据模板实参生成类的过程被称为类模板例化。 类模板 例化后的模板类和普通类一样可以出现在普通类可以出现的任何地方，如：void f1(Stashint a) {... }Stashint f2( int a) {...}Stashint* pIntStash = new Stashint; 类模板 类模板的成员函数可以在类内定义，也可以在类