转载自Out man

一、类模板定义及实例化

定义一个类模板：

template<class 模板参数表>

class 类名｛

// 类定义．．．．．．

｝；

其中，template是声明类模板的关键字，表示声明一个模板，模板参数可以是一个，也可以是多个，可以是类型参数，也可以是非类型参数。类型参数由关键字class或typename及其后面的标识符构成。非类型参数由一个普通参数构成，代表模板定义中的一个常量。

例：

//type为类型参数，width为非类型参数
template<class type,int width>
class Graphics;

注意：

(1) 如果在全局域中声明了与模板参数同名的变量，则该变量被隐藏掉。

(2) 模板参数名不能被当作类模板定义中类成员的名字。

(3) 同一个模板参数名在模板参数表中只能出现一次。

(4) 在不同的类模板或声明中，模板参数名可以被重复使用。

typedef string type;

template<class type,int width>

class Graphics

{

type node;//node不是string类型

typedef double type;//错误：成员名不能与模板参数type同名

};

template<class type,class type>//错误：重复使用名为type的参数

class Rect;

template<class type> //参数名”type”在不同模板间可以重复使用

class Round;

(5)在类模板的前向声明和定义中，模板参数的名字可以不同。

// 所有三个 Image 声明都引用同一个类模板的声明

template <class T> class Image;

template <class U> class Image;

// 模板的真正定义

template <class Type>

class Image { //模板定义中只能引用名字”Type”,不能引用名字”T”和”U” };

(6)类模板参数可以有缺省实参，给参数提供缺省实参的顺序是先右后左。

template <class type, int size = 1024>

class Image;

template <class type=double, int size >

class Image；

类模板实例化

Graphics<int> gi;

类模板什么时候会被实例化呢？

①当使用了类模板实例的名字，并且上下文环境要求存在类的定义时。

②对象类型是一个类模板实例，当对象被定义时。此点被称作类的实例化点。

③一个指针或引用指向一个类模板实例，当检查这个指针或引用所指的对象时。

template<class Type>

class Graphics{};

void f1(Graphics<char>);// 仅是一个函数声明，不需实例化

class Rect 

{

　　Graphics<double>& rsd;// 声明一个类模板引用，不需实例化

　　Graphics<int> si;// si是一个Graphics类型的对象,需要实例化类模板

}

int main(){

　　Graphcis<char>* sc;// 仅声明一个类模板指针，不需实例化

　　f1(*sc);//需要实例化,因为传递给函数f1的是一个Graphics<int>对象。

　　int iobj=sizeof(Graphics<string>);//需要实例化，因为sizeof会计算Graphics<string>对象的大小，为了计算大小，编译器必须根据类模板定义产生该类型。

}

二、类模板的成员函数

要点：

①类模板的成员函数可以在类模板的定义中定义(inline函数)，也可以在类模板定义之外定义(此时成员函数定义前面必须加上template及模板参数)。

②类模板成员函数本身也是一个模板，类模板被实例化时它并不自动被实例化，只有当它被调用或取地址，才被实例化。

template<class type>

Class Graphics{

Graphics(){…}//成员函数定义在类模板的定义中

void out();

};

template<class type>//成员函数定义在类模板定义之外

void Graphics<type>::out(){…}