[理学]模板与STL.ppt

学习目标 1、掌握函数模板 2、掌握类模板 3. 了解模板库的概念 4、使用容器 5、使用迭代器 6、使用泛型算法 函数模板 函数模板是用类型做参数，设计出的通用的函数。 其定义形式为： template class T1,class T2,,, 函数返回类型 函数名(函数参数表) { //函数模板定义 } 其中template表示定义的是模板，里是模板的类型参数，可以是一个或多个。函数模板的返回值类型可以是普通类型，也可以是模板参数表中指定的类型。函数参数表给出的类型可以是普通类型，也可以是模板参数表中指定的类型。在模板参数表中指明的类型参数不必都用于函数参数表中。例如： template class T T max(T a,T b) { return ab? a:b; } 在上例中，如果用一个普通类类型来实例化该函数模板，那么T应该重载””运算符。 例：(见备注中的代码） 函数模板 也可以明确指定其实例化所用的类型参数。比如在上面的例子中加上： int iRet=Maxint(c1,c2); 函数模板之间也可以重载 例：（见备注中的代码） 函数模板 函数模板表示了一组相同的函数，这些函数之间(包括重载的函数模板)，以及这些函数与其他同名的普通函数之间是重载的关系。这些重载函数之间的匹配规则如下： 如果发现某一函数的参数正好与调用函数所使用的参数匹配，则调用该函数；比如Func(1)，则执行Func(int t)这个函数，否则按照2执行； 如果从相应的模板所生成的某个函数，其参数正好与调用函数的参数匹配，调用时使用从模板实例化生成的函数，否则执行3； 对相应参数进行隐式转换后，调用普通的函数； 例：（见备注中的代码） 类模板 类模板的主要用途是实现包容类，如集合、链表等。虽然模板的功能很大程度上可以通过宏实现，但是模板带有类型信息，编译器可以进行类型检查，而且具有更好的通用型。 类模板的定义形式为： template class T1,class T2...class Tn class 类模板名 { //类模板定义 } 其中template是C++关键字，表示是对模板进行定义。tempalte后的里是模板的参数，参数可以有一个或多个，每个参数用class关键字修饰，并用逗号格开。class关键字也可以用基本数据类型代替。在类模板实例化时，T可以是任意类型。接下来的关键字class 说明模板是类模板，后面紧接的是类模板名。例如：(见备注代码） 类模板 由于类模板中T是一个类型参数，不是实际的类型，因此，不能由它直接生成实例对象。为类模板中的类型参数指定具体类型的过程叫做类模板的实例化，类模板实例化的结果是类，而不是对象。实例化类模板的一般形式为： 类模板名具体类型表 比如上面的： typedef TStackchar CStackChar; typedef TStackint CStackInt; 用类模板实例化了两个类CStackChar,CStackInt. 类模板的成员函数也可以在类模板的外面定义。如 templateclass T void TStackT::Push(T t) { *pLast++=a; } 类模板 类模板成员函数也可以重载，如： templateclass T T TStackT::Pop(int i) { return *(pLast-i); } 类模板可以从普通类中派生，如： class CBase { //... }; templateclass T class TDerived:public CBase { public: T t; //... }; 类模板 类模板的基类也可以是类模板，比如： templateclass T class CBase { public: T t; }; templateclass T1,class T2 class TDerived:public CBaseT2 { public: T1 t; }; 注意，派生的类模板的基类是类模板时，派生类模板的参数表中应包含基类模板的参数。 如果派生类没有类型参数，或者它的类型参数与基类的参数相同时，派生类模板的参数只需包含基类模板的参数。如： templateclass T TDerived:public CBaseT { public: T d; //... }; 类模板 类模板之间也可以多重继承： templateclass T class TBase { public: T tb; }; class CBase { //... }; templateclass T class TDerived:public TBaseT,public CBase { public: