C++ template

最新推荐文章于 2024-10-06 20:32:41 发布

PowerfulYi

最新推荐文章于 2024-10-06 20:32:41 发布

阅读量569

点赞数

分类专栏： C++ 文章标签： c++

C++ 专栏收录该内容

2 篇文章 0 订阅

订阅专栏

转自 http://www.cnblogs.com/assemble8086/archive/2011/10/02/2198308.html

一、类模板定义及实例化

１. 定义一个类模板：

 
template<class 模板参数表>

class 类名｛

// 类定义．．．．．．

｝；

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

例：

 
template<class type,int width>

//type为类型参数，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)在类模板的前向声明和定义中，模板参数的名字可以不同。

 
 View Code 

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

 
 View Code 

(7)类模板名可以被用作一个类型指示符。当一个类模板名被用作另一个模板定义中的类型指示符时，必须指定完整的实参表

 
 View Code 

２．类模板实例化

定义：从通用的类模板定义中生成类的过程称为模板实例化。

例：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>对象的大小，为了计算大小，编译器必须根据类模板定义产生该类型。

} 
    
  

3.非类型参数的模板实参

要点：

①绑定给非类型参数的表达式必须是一个常量表达式。

②从模板实参到非类型模板参数的类型之间允许进行一些转换。包括左值转换、限定修饰转换、提升、整值转换。

③可以被用于非类型模板参数的模板实参的种类有一些限制。

例:

 
 View Code 

二、类模板的成员函数

要点：

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

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

 
 View Code 

三、类模板的友元声明

类模板中可以有三种友元声明：

１.非模板友元类或友元函数

 
 View Code 

2、绑定的友元类模板或函数模板。

3、非绑定的友元类模板或函数模板。

第二种声明表示类模板的实例和它的友元之间是一种一对一的映射关系。

如图：

第三种声明表示类模板的实例和它的友元之间是一种一对多的映射关系。

如图：

例：绑定的友元模板

 
 View Code 

例：非绑定的友元模板

 
 View Code 

注意：当把非模板类或函数声明为类模板友元时，它们不必在全局域中被声明或定义，但将一个类的成员声明为类模板友元，该类必须已经被定义，另外在声明绑定的友元类模板或函数模板时，该模板也必须先声明。

例：

 
 View Code 

四、类模板的静态数据成员、嵌套类型

１.类模板的静态数据成员

要点：

①静态数据成员的模板定义必须出现在类模板定义之外。

②类模板静态数据成员本身就是一个模板，它的定义不会引起内存被分配，只有对其实例化才会分配内存。

③当程序使用静态数据成员时，它被实例化，每个静态成员实例都与一个类模板实例相对应，静态成员的实例引用要通过一个类模板实例。

例：

 
 View Code 

2.类模板的嵌套类型

要点：

①在类模板中允许再嵌入模板，因此类模板的嵌套类也是一个模板，它可以使用外围类模板的模板参数。

②当外围类模板被实例化时，它不会自动被实例化，只有当上下文需要它的完整类类型时，它才会被实例化。

③公有嵌套类型可以被用在类定义之外，这时它的名字前必须加上类模板实例的名字。

例:

 
 View Code 

五、成员模板

定义：成员定义前加上template及模板参数表。

要点：

①在一个类模板中定义一个成员模板,意味着该类模板的一个实例包含了可能无限多个嵌套类和无限多个成员函数．

②只有当成员模板被使用时，它才被实例化.

③成员模板可以定义在其外围类或类模板定义之外．

例:

 
 View Code 

注意：类模板参数不一定与类模板定义中指定的名字相同。

六、类模板的编译模式

1.包含编译模式

这种编译模式下，类模板的成员函数和静态成员的定义必须被包含在“要将它们实例化”的所有文件中，如果一个成员函数被定义在类模板定义之外，那么这些定义应该被放在含有该类模板定义的头文件中。

2.分离编译模式

这种模式下，类模板定义和其inline成员函数定义被放在头文件中，而非inline成员函数和静态数据成员被放在程序文本文件中。

例：

 
 View Code 

Setup的成员定义在User.c中不可见,但在这个文件中仍可调用模板实例Graphics<int>::Setup(const int &)。为实现这一点，须将类模声明为可导出的：当它的成员函数实例或静态数据成员实例被使用时，编译器只要求模板的定义，它的声明方式是在关键字template前加关键字export