C++面向对象程序设计[杜茂康等编著]ch7.pptVIP

第7章 模板与STL 模板（template）是C++实现代码重用机制的重要工具，是泛型技术（即与数据类型无关的通用程序设计技术）的基础。 模板是C++中相对较新的?语言机制，它实现了与具体数据类型无关的通用算法程序设计，能够提高软件开发的效率，是程序代码复用的强有力工具。 本章主要介绍了函数模板和类模板两类，以及STL库中的几个常用模板数据类型。 7.1 模板的概念 1、模板概念 模板是对具有相同特性的函数或类的再抽象，模板是一种参数多态性的工具，可以为逻辑功能相同而类型不同的程序提供一种代码共享的机制。 一个模板并非一个实实在在的函数或类，仅仅是一个函数或类的描述，是参数化的函数和类。 2、模板分类 函数模板 类模板 7.1 模板的概念 3、实例化instantiation 抽象 变量→类型 对象→类 函数→函数模板 类→类模板 实例化是抽象的逆过程 用实际数据类型代入模板 每一种不同数据类型的实例化，都将生成一份不同的代码 模板被使用前必须实例化 模板函数实例化后得到的函数叫模板函数 模板类实例化得到的类叫模板类 7.1 模板的概念 7.2 函数模板与模板函数 函数模板提供了一种通用的函数行为，该函数行为可以用多种不同的数据类型进行调用，编译器会据调用类型自动将它实例化为具体数据类型的函数代码，也就是说函数模板代表了一个函数家族。 与普通函数相比，函数模板中某些函数元素的数据类型是未确定的，这些元素的类型将在使用时被参数化；与重载函数相比，函数模板不需要程序员重复编写函数代码，它可以自动生成许多功能相同但参数和返回值类型不同的函数。 7.2 函数模板与模板函数 1、引例：实现求不同数据中最大数的max函数方法 Macro in C 实现 #define max(x,y) ((x)(y) ? (x) : (y)) char ch = max(‘a’, ‘b’);char ch = ((‘a’)(‘b’)?(‘a’)(‘b’)) int i = max(2, 3);int i = ((2)(3)?(2):(3)); float f = max(5.0, 9);float f = ((5.0)(9)?(5.0):(9)) 特点： “自动具备多态特征” 简单的文本替代，不进行任何语法检查 不适合表达复杂的逻辑 7.2 函数模板与模板函数 C＋＋实现max可采用如下的重载方式 实现 int max (int i, int j) {return ij ? i: j;} int max (char c1, char c2) {return c1c2 ? c1 : c2; } float max (float f1, float f2) {return f1f2 ? f1 : f2; } …… int i = max (3, 4); char ch = max (‘a’, ‘A’); float f = max (5.0, 1.0); …… 特点： 可以进行完备的语法检查、适于描述复杂逻辑 相同逻辑重复描述，繁琐、不易扩充 7.2 函数模板与模板函数 引例：用C＋＋ Template 实现的max 实现 template class T T max (T a, T b) { return ab ? a : b;} int i = max (3, 4); char ch = max (‘a’, ‘A’); float f = max (5.0, 1.0); …… 特点： 可以进行完备的语法检查、适于描述复杂逻辑 相同逻辑只描述一次，针对不同类型的版本由编译器自动生成相应代码 7.2 函数模板与模板函数 引例：实现max Template in C＋＋ 实现 template class T T max (T a, T b) { return ab ? a : b;} int i = max (3, 4); char ch = max (‘a’, ‘A’); float f = max (5.0, 1.0); …… 特点： 可以进行完备的语法检查、适于描述复杂逻辑 相同逻辑只描述一次，针对不同类型的版本由编译器自动生成相应代码 7.2.1 函数模板的定义 1、函数模板的定义 template class T1, class T2,…返回类型 函数名(参数表){ …… //函数模板定义体 } template是定义模板的关键字；写在一对中的T1，T2，…是模板参数，其中的class表示其后的参数可以是任意类型。 模板参数常称为类型参数或类属参数，在模板实例化（即调用模板函数时）时需要传递的实参是一种数据类型，如int或double之类。 函数模板的参数表中常常出现模板参数，如T1，T2