本文作者：黄邦勇帅
学习本文需要对 C++的构造函数，C++中的各种类成员，C++中类的继承，有一定的了解。
模板是 C++中的重点内容，因此应熟悉 C++模板的使用，本文是 C++的模板专题，因此本文集中介绍了 C++的模板问题，
主要介绍了类模板和函数模板的形参与实参(这是学习模板的关键内容)，模板的具体化(特化)方法，模板实参推演，模板
函数的匹配，类模板中的模板成员，模板与继承，模板与友元，typename 关键字。本文内容全面，简单易懂，是对于学
习模板模棱两可的读者的很好的参考文现。
本文内容完全属于个人见解与参考文现的作者无关，其中难免有误解之处，望指出更正。
声明：禁止抄袭本文，若需要转载本文请注明转载的网址，或者注明转载自“黄邦勇帅”。
主要参考文献：
1、C++.Primer.Plus.第五版.中文版 [美]Stephen Prata 著 孙建春 韦强译 人民邮电出版社 2005 年 5 月
2、C++.Primer.Plus.第四版.中文版 Stanley B.Lippman、Barbara E.Moo 著 李师贤等译 人民邮电出版社 2006 年 3 月
3、C++.Primer.Plus.第三版.中文版 Stanley B.Lippman 等著 潘爱民 张丽译 中国电力出版社 2002 年 5 月
4、C++入门经典 第三版 [美]Ivor Horton 著 李予敏译 清华大学出版社 2006 年 1 月
5、C++参考大全 第四版 [美]Herbert Schidt 著 周志荣 朱德芳 于秀山等译 电子工业出版社 2003 年 9 月
6、21 天学通 第四版 C++ [美]Jesse Liberty 著 康博创作室 译 人民邮电出版社 2002 年 3 月
第 17 章 模板
使用模板的目的就是能够让程序员编写与类型无关的代码。比如编写了一个交换两个整型 int 类型的 swap 函数，这
个函数就只能实现 int 型，对 double，字符这些类型无法实现，要实现这些类型的交换就要重新编写另一个 swap 函数。
使用模板的目的就是要让这程序的实现与类型无关，比如一个 swap 模板函数，即可以实现 int 型，又可以实现 double 型
的交换。模板可以应用于函数和类。下面分别介绍
注意：模板的声明或定义只能在全局，命名空间或类范围内进行。即不能在局部范围，函数内进行，比如不能在 main
函数中声明或定义一个模板。
一、模板函数通式
1、 模板函数的通用形式为：template <class 形参名，class 形参名> 反回类型 函数名(参数列表){函数体}。其中 template
和 class 是关见字，class 可以用 typename 关见字代替，在这里 typename 和 class 没区别，<>括号中的参数叫模板形
参，模板形参和函数形参很相像，模板形参不能为空。一但声明了模板函数就可以用模板函数的形参名声明类中的
成员变量和成员函数，即可以在该函数中使用内置类型的地方都可以使用模板形参名。模板形参需要调用该模板函
数时提供的模板实参来初始化模板形参，一旦编译器确定了实际的模板实参类型就称他实例化了函数模板的一个实
例。比如 swap 的模板函数形式为 template <class T> void swap(T& a, T& b){}，当调用这样的模板函数时类型 T 就会
被被调用时的类型所代替，比如 swap(a,b)其中 a 和 b 是 int 型，这时模板函数 swap 中的形参 T 就会被 int 所代替，
模板函数就变为 swap(int &a, int &b)。而当 swap(c,d)其中 c 和 d 是 double 类型时，模板函数会被替换为 swap(double
&a, double &b)，这样就实现了函数的实现与类型无关的代码。
2、 注意：对于函数模板而言不存在 h(int,int)这样的调用，不能在函数调用的参数中指定模板形参的类型，对函数模板
的调用应使用实参推演来进行，即只能进行 h(2,3)这样的调用，或者 int a, b; h(a,b)。
二、类模板通式
1． 类模板的通用形式为：template<class 形参名，class 形参名…> class 类名{}，类模板和函数模板都是以 template
开始后接模板形参列表组成，模板形参不能为空，一但声明了类模板就可以用类模板的形参名声明类中的成员变量
和成员函数，即可以在类中使用内置类型的地方都可以使用模板形参名来声明。比如 template<class T> class A{public:
T a; T b; T hy(T c, T &d);};在类 A 中声明了两个类型为 T 的成员变量 a 和 b，还声明了一个反回类型为 T 带两个类型
为 T 的函数 hy。
2． 类模板对象的创建：比有一个模板类 A，则使用类模板创建对象的方法为 A<int> m;在类 A 后面跟上一个<>尖括号
并在里面填上相应的类型，这样的话类 A 中凡是用到模板形参的地方都会被 int 所代替。当类模板有两个模板形参
时创建对象的方法为 A<int, double> m;类型之间用逗号隔开。
3、 对于类模板，模板形参的类型必须在类名后的尖括号中明确指定。比如 A<2> m;用这种方法把模板形参设置为 int
是错误的，类模板形参不存在实参推演的问题。也就是说不能把整型值 2 推演为 int 型传递给模板形参。要把类模板
形参调置为 int 型必须这样指定 A<int> m。
剩余11页未读，继续阅读
资源评论
