第11章C++的模板-Read.ppt

第11章 C++的模板 ;11.1 循序渐进学理论 ;11.1.2 函数模板; 举一个函数模板的例子，求数组中最大的元素： template class Type, int size Type max(const Type (array)[size]) { const int loc_size = size; Type loc_array[loc_size]; // …… } 其中，在模板参数表中声明了一个模板类型参数Type和一个模板非类型参数size，前者代表数组元素的类型，后者代表数组的长度。size的值在调用时不必指定，编译器能够根据实参推导出size的值。 ;2. 函数模板的应用 当我们根据函数模板调用函数时，系统会根据函数的实参推导出模板类型参数和模板非类型参数的实参，这个过程被称为“模板实例化”。如果推导成功，模板类型参数将被实际的类型所代替，模板非类型参数将被常量值所代替，生成一个针对某种类型的函数实例。 此外，还有采用显式指定模板实参的方法，其格式是： 函数名 模板实参 (函数实参); 其中，模板实参是某种具体的类型，如int，double，char等。例如： a = fun int, int, double(b, c); ;3. 函数模板的重载 函数模板和普通函数一样，能够利用模板参数列表中模板参数的区别，构造一个函数模板的重载集。 需要注意的是，并不是所有被成功定义的重载函数模板都能够被成功调用，在调用时可能会发生二义性错误，也就是说，对于一个函数调用可能会有多个函数模板被实例化。所以，在定义重载函数时，必须确保所有的重载函数都是必要的。;4. 函数模板的特例 一个函数模板对于所有的调用来说，函数体中的算法都是相同的，唯一不同的只是变量或者对象的类型。但是，模板并不是万能的，某些模板对于某种类型的数据来说并不合适，或者执行效率并不高。 我们可以在函数模板的基础上，为它增加一个针对某种特定类型的模板特例。其定义格式如下： template 返回类型 函数名 模板实参 (函数参数列表); 其中，关键字template后面跟的是一对尖括号，内容为空，模板实参为某种指定的数据类型，函数参数列表中的参数类型也采用该指定类型。;5. 函数模板的文件组织 如果编写一个由多个文件组成的大中型程序，函数模板该如何组织呢？C++语言提供了两种方法： 一是将函数模板的声明定义全部放在头文件中，然后在每一个需要使用它的文件中包含该头文件，这种方法的缺点是增加了编译时间。 二是将函数模板的声明和定义分开，先把函数模板的声明放在头文件中；再把函数模板的定义放在模板文件中，并采用关键字export将它定义成“可导出的”；最后在需要调用函数模板的文件中包含声明了函数模板的头文件。 ;11.1.3 类模板;2. 函数模板的应用 （1）定义一个类模板对象 将类模板实例化为某种指定类型的类定义时，必须显式地指出它的模板实参，格式如下： 类模板名 模板实参 类对象名; 例如：List int list1; （2）在类模板中声明友元函数和友元类 类模板中的友元函数和友元类通常有三种情况：一是非模板的友元函数和友元类，二是具有相同模板参数的友元函数模板和友元类模板，三是具有不同模板参数的友元函数模板和友元类模板， ; （3）在类体外定义类模板的成员函数 在类体外定义类模板的成员函数时，必须用关键字template和模板参数指明它是一个类模板的成员函数。例如： template class Type void List Type :: insert (Type x) // 成员函数insert()的定义 { // 函数体 } （4）初始化类模板的静态数据成员 在类体外初始化模板的静态数据成员时，必须用关键字template和模板参数指明它是一个类模板的静态数据成员。例如，初始化类模板List中的静态变量head： template class Type List Type* ListType :: head= 12; ;3. 类模板的特例 和函数模板特例一样，类模板成员函数特例的定义格式如下： template 返