我的数据结构.pptVIP

C++程序设计（六） 常宝宝 北京大学计算机科学与技术系 chbb@pku.edu.cn 模板 为什么需要模板？在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）。 函数模板 在调用函数模板时，C++编译器通常是根据函数实参的类型来例化函数模板，这个过程由C++编译器自动进行，称为模板参数推导（template argument deduction）。 程序员在调用模板函数时也可显式指定用以替换模板类型参数的模板实参，这样，C++编译器无需进行模板参数推导即可对函数模板进行例化。此时，模板函数的调用形式如下：模板函数名模板实参表(函数实参表);如:float fx = 6.5 , fy = 7.5;swapfloat(fx, fy); 指定的模板实参应和函数实参类型匹配。如：int ix = 6, iy = 7;swapfloat(ix, iy);//错误 函数模板 若程序员不提供模板实参，C++编译器自动进行模板参数推导，有时候，作为函数返回类型的模板参数不能被推导出来。此时，需要显式指明模板实参。 程序员可以仅提供部分模板实参，其余的模板实参仍由编译器自动推导。且省略掉的实参必须是模板参数表尾部的参数对应的实参。 函数模板 有时候，定义的模板函数并不能适合任何一种数据类型，对这些数据类型例化得到函数可能包含错误。 因为模板函数总是考虑到尽可能多的数据类型，因此对某一种具体数据类型而言，模板例化得到函数效率可能不高。 函数模板 当函数模板不适于某类数据类型时，此时可以通过特化的方式为该数据类型提供合适的函数定义，形式如下：template返回类型 函数名模板实参表(函数形参表) { ...} 在进行函数模板特化时，保留字template、后面的不可缺少，函数名后的模板实参在编译器能够成功推导的情况下可以省略。 类模板 和函数一样，类同样具有类型依赖性。在定义类的时侯，类中的数据成员、成员函数的返回值以及参数都必须有确定的类型，有时候这也会妨碍类代码的可重用性。 问题——定义动态数组元素个数应可动态变化元素类型应没有限制 例子: Stash