第十章 模板和泛型编程.pptVIP

函数模板的使用 函数模板的实例化 如果要它真正地工作起来，必须将其变成真正的函数。这个变化过程成为“实例化(instantiation)”。由函数模板实例化出的函数称为“实例函数(instantiated function)”，或者更直接地称为“模板函数”。(ex10-1) 10.2.2 重载模板函数和非模板函数 如果在代码中写出如下模板应用代码： Greater(1.0, 2); 那么结果会怎样呢？ 也许大家会认为隐式类型转换规则会起作用，int数据自动转换成double，然后再套用模板 bool Greater(const double a, const double b) 来完成工作 类型为double 类型为int 在有的情况下，隐式转换规则会工作的很好，但在此例中却行不通，编译器会报出类似于“类型T不明确”(VC9)或“no matching function for call to Greater(double, int)”(gcc)的错误。 问题解决 消除错误的做法其实并不难。既然比较的两个数分属于不同的类型，那么就可以重载一个Greater模板，它可以接受两个类型参数： template typename T, typename U bool Greater(const T a, const U b) { return a b; } 函数模板的调用 在C++中，编译器在尝试调用函数模板还是同名的非模板函数时遵循下述约定： 寻找一个参数完全匹配的非模板函数，如果找到了，就调用它。 否则，寻找一个函数模板，将其实例化产生一个匹配的模板函数，如果找到了，就调用它。 否则，试一试低一级的对函数的重载方法，如通过类型转换可产生参数匹配等，如果找到了，就调用它。 如果(1)(2)(3)均未找到匹配的函数，那么这个调用是一个错误。 如果在第一步有多于一个的选择，那么这个调用是意义不明确的，并且是一个错误。 10.2.3函数模板的特化 函数模板不总是对所有类型都是最合适的 模板特化(template specialization) 编写指定类型的模板 为什么函数模板需要特化 在例10-1中，我们用Greater模板进行了两个string类型数据的比较。这是可行的，因为string类重载了运算符。但如果两个参数是C风格的字符串(char *)，那么模板就不能正确工作。 提问：为什么？ （ex10-2） 函数模板的特化 typedef char * cstring; template bool Greatercstring(const cstring s1, const cstring s2) { out C-style string comparasion: ; return strcmp(s1, s2) 0 ? true : false; } 特化的模板没有模板参数。 特定的类型跟在函数名后面。 特化的模板仍然是个模板。 处理特定类型的方法。 参数的类型修饰要与普通模板一样。 10.3 类模板 10.3.1类模板的定义和使用 1. 类模板的定义 类模板的形式化定义如下： template typename T, [const 类型 常量表达式, …] class 类名 { //成员定义; }; 模板参数与函数模板的规格一样。 类模板例 template typename T class List { protected: struct Node { T data; Node *next; Node(const T q) : data(q) {} } *head, *tail; public: List() : head(NULL), tail(NULL) {} List(const List l) : head(l.head), tail(l.tail) {} }; 成员函数的类外定义 如果成员函数的声明在类内，而定义在类外，那么必须用类似下列的语法： template typename T ListT::List() : head(NULL), tail(NULL) {} 类模板的非类型参数 与函数模板一样，可以为类模板指定非类型参数。如果我们要限制链表存储的形体数目，那么可以用一个整型常量来完成： template typename T, const int maxLen class List {…} Listdouble,10 l; 类模板的使用 类模板由于未绑定类型，因此不是一个真正意义上的类。要是类模板真正地工作，需要对其进行实例化，其语法如下： 模板名参数类表 对象名; 例如，我们要使列表存储int类型的数据，可以用如下语句： Listint li; 这里，