面向对象程序设计及C++第6章_模板.pptVIP

6.1 模板的概念 模板 （模板函数和类模板） 模板函数 模板类 对象 模板、模板函数、模板类与对象之间的关系示意图 返回 6.2 函数模板与模板函数 函数模板就是实现数据类型参数化的函数定义，得到一个函数族。当函数中的数据成员、函数的返回值类型需要用未知类型进行抽象时，就需要定义函数模板。在需要使用函数时，用实际的数据类型对类型参数自动实例化得到对应的模板函数，调用该函数完成特定功能。 6.2.1 函数模板的定义与模板函数的使用 1.函数模板的一般定义形式是： template class 类型形式参数 函数返回类型 函数名（形式参数表） ｛ … //函数体 ｝ 其中template是一个声明模板的关键字，class在此只是借用此关键字表示其后是一个类型参数。类型形式参数表中是用来抽象类型的标识，将来可以用任何实际的类型（包括类类型）进行实例化。 2.模板函数 在使用函数模板时，关键字class后面的类型形式参数必须实例化，即用实际的数据类型实例化类型形式参数，根据实在参数类型，将生成一个具体的模板函数，该模板函数的函数体与函数模板的函数体完全相同。所以，在程序中真正执行的代码是模板函数的代码。 6.2.1 函数模板的定义与模板函数的使用 //li6_1.cpp:函数模板示例 #includeiostream using namespace std; templateclass T //类型未知，用类型参数T表示 T Max(T a,T b) //返回两个同类型的形式参数 { return ab ?a :b ; } // a,b中的较大者 void main() { coutMax(2,8) is Max(2,8)endl; //用int型实例化T，根据调用时实参的类型自动进行 coutMax(2,8) is Max(2,8)endl; //用char型实例化T，根据调用时实参类型自动进行 } 6.2.1 函数模板的定义与模板函数的使用 6.2.1 函数模板的定义与模板函数的使用 NOTE （1）参数类型的实例化是隐式进行的，根据调用时最先遇到的实在参数的类型系统自动实例化类型参数，产生一个具体的模板函数，实例化时无需显式声明 （2）函数模板的异常处理问题。在应用函数模板生成模板函数时，必须遵守参数类型一致性原则，若出现不一致情况，可采用强制类型转换等手段。 6.2.1 函数模板的定义与模板函数的使用 （3）在template语句与函数模板的定义语句之间不能插入其他语句。 （4）“类型形式参数表”可以由多个参数类型组成，则每个类型前都必须由关键字class引导 6.2.2 重载模板函数 模板函数类似于重载函数，但是它的要求更严格，例如：函数重载时在每个函数体中可以执行不同的任务，但是同一个函数模板实例化后的所有模板函数必须执行相同的任务. 所以，在遇到执行的任务有所差异时，就不可以简单的套用函数模板了，但是可以像重载普通函数那样重载模板函数。 6.2.2 重载模板函数 //li6_2.cpp：重载模板函数示例 #includeiostream #includestring using namespace std; templateclass T T Max(T a,T b) //函数模板 { return ab?a:b; } char* Max(char* a,char* b) //重载模板函数 { return (strcmp(a,b)0?a:b); } void main() { coutMax(2,8) is Max(2,8)endl; coutMax(\ABCD\,\ABAB\) is Max(ABCD,ABAB)endl; } 程序运行结果： Max (2,8) is 8 Max(ABCD,ABAB) is ABCD 6.2.2 重载模板函数 分析例6.2 函数char* Max(char* a,char* b)中的函数名与函数模板的函数名相同，但操作不同，函数体中的比较采用了字符串比较函数，所以有必要用重载的方法把它们区分开来，这种情况就是重载模板函数。 返回 6.3 类模板与模板类 一个类模板如同函数模板一样，就是实现数据类型参数化的类定义，得到一个类族 当类中的数据成员、成员函数的参数或成员函数的返回值类型需要用未知类型进行抽象时，就需要定义类模板。 在需要定义对象时，首先显式地将类模板中的未知类型实例化得到一个具体的模板类，再定义模板类的对象。这样，类中的数据成员、成员函数的参数及成员函数的返回值能够根据模板参数的匹配情况获得任意想要的数据类型，当然也