C++模板详解.pdfVIP

C++模板 模板是 C++支持参数化多态的工具，使用模板可以使用户为类或者函数声明一种一般模 式，使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型。 模板是一种对类型进行参数化的工具； 通常有两种形式：函数模板和类模板； 函数模板针对仅参数类型不同的函数； 类模板针对仅数据成员和成员函数类型不同的类。 使用模板的目的就是能够让程序员编写与类型无关的代码。比如编写了一个交换两个 整型 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、类模板的格式为： templateclass 形参名，class 形参名，… class 类名 { ... }; 类模板和函数模板都是以 template 开始后接模板形参列表组成，模板形参不能为空， 一但声明了类模板就可以用类模板的形参名声明类中的成员变量和成员函数，即可以在类 中使用内置类型的地方都可以使用模板形参名来声明。比如 templateclass T class A{public: T a; T b; T hy(T c, T d);}; 在类 A 中声明了两个类型为T 的成员变量a 和 b，还声明了一个返回类型为T 带两个参数类 型为 T 的函数 hy 。 2、类模板对象的创建：比如一个模板类A ，则使用类模板创建对象的方法为 Aint m; 在类 A 后面跟上一个尖括号并在里面填上相应的类型，这样的话类 A 中凡是用到模板形 参的地方都会被 int 所代替。当类模板有两个模板形参时创建对象的方法为 Aint, double m;类型之间用逗号隔开。 3、对于类模板，模板形参的类型必须在类名后的尖括号中明确指定。比如A2 m;用这 种方法把模板形参设置为 int 是错误的（编译错误：error C2079: a uses undefined class Aint ），类模板形参不存在实参推演的问题。也就是说不能把整型值 2 推演为 int 型传递 给模板形参。要把类模板形参调置为 int 型必须这样指定 Aint