template

出处：1.http://blog.csdn.net/beyondhaven/article/details/4204345

             2.http://blog.csdn.net/djinglan/article/details/6689839

1.函数模板的声明和模板函数的生成

1.1函数模板的声明

函数模板可以用来创建一个通用的函数，以支持多种不同的形参，避免重载函数的函数体重复设计。它的最大特点是把函数使用的数据类型作为参数。

函数模板的声明形式为：

template<typename 数据类型参数标识符>

<返回类型><函数名>(参数表)

{

    函数体

}

其中，template是定义模板函数的关键字；template后面的尖括号不能省略；typename（或class)是声明数据类型参数标识符的关键字，用以说明它后面的标识符是数据类型标识符。这样，在以后定义的这个函数中，凡希望根据实参数据类型来确定数据类型的变量，都可以用数据类型参数标识符来说明，从而使这个变量可以适应不同的数据类型。例如：

template<typename T>

T fuc(T x, int y)

{

    T x;

    //……

}

如果主调函数中有以下语句：

double d;

int a;

fuc(d,a);

则系统将用实参d的数据类型double去代替函数模板中的T生成函数：

double fuc(double x,int y)

{

    double x;

    //……

}

函数模板只是声明了一个函数的描述即模板，不是一个可以直接执行的函数，只有根据实际情况用实参的数据类型代替类型参数标识符之后，才能产生真正的函数。

关键字typename也可以使用关键字class，这时数据类型参数标识符就可以使用所有的C++数据类型。

1.2.模板函数的生成

函数模板的数据类型参数标识符实际上是一个类型形参，在使用函数模板时，要将这个形参实例化为确定的数据类型。将类型形参实例化的参数称为模板实参，用模板实参实例化的函数称为模板函数。模板函数的生成就是将函数模板的类型形参实例化的过程。例如：

使用中应注意的几个问题：

⑴ 函数模板允许使用多个类型参数，但在template定义部分的每个形参前必须有关键字typename或class，即：

template<class 数据类型参数标识符1，…，class 数据类型参数标识符n>

<返回类型><函数名>(参数表)

{

     函数体

}

⑵ 在template语句与函数模板定义语句<返回类型>之间不允许有别的语句。如下面的声明是错误的：

template<class T>

int I;

T min(T x,T y)

{

   函数体

}

⑶ 模板函数类似于重载函数，但两者有很大区别：函数重载时，每个函数体内可以执行不同的动作，但同一个函数模板实例化后的模板函数都必须执行相同的动作。

2 函数模板的异常处理

函数模板中的模板形参可实例化为各种类型，但当实例化模板形参的各模板实参之间不完全一致时，就可能发生错误，如：

template<typename T>       

void min(T &x, T &y)

{  return (x<y)?x:y;  }

void func(int i, char j)

{

   min(i, i);

   min(j, j);

   min(i, j);

   min(j, i);

}

例子中的后两个调用是错误的，出现错误的原因是，在调用时，编译器按最先遇到的实参的类型隐含地生成一个模板函数，并用它对所有模板函数进行一致性检查，例如对语句

min(i, j)；

先遇到的实参i是整型的，编译器就将模板形参解释为整型，此后出现的模板实参j不能解释为整型而产生错误，此时没有隐含的类型转换功能。解决此种异常的方法有两种：

⑴采用强制类型转换，如将语句min(i, j);改写为min(i,int( j));

⑵用非模板函数重载函数模板

方法有两种：

① 借用函数模板的函数体

此时只声明非模板函数的原型，它的函数体借用函数模板的函数体。如改写上面的例子如下：

template<typename T>       

void min(T &x, T &y)

{  return (x<y)?x:y;  }

int min(int,int);

void func(int i, char j)

{

   min(i, i);

   min(j, j);

   min(i, j);

   min(j, i);

}

执行该程序就不会出错了，因为重载函数支持数据间的隐式类型转换。

② 重新定义函数体

就像一般的重载函数一样，重新定义一个完整的非模板函数，它所带的参数可以随意。C++中，函数模板与同名的非模板函数重载时，应遵循下列调用原则：

• 寻找一个参数完全匹配的函数，若找到就调用它。若参数完全匹配的函数多于一个，则这个调用是一个错误的调用。

• 寻找一个函数模板，若找到就将其实例化生成一个匹配的模板函数并调用它。

• 若上面两条都失败，则使用函数重载的方法，通过类型转换产生参数匹配，若找到就调用它。

•若上面三条都失败，还没有找都匹配的函数，则这个调用是一个错误的调用。

类模板的定义和使用：

如同函数模板一样，使用类模板使用户可以为类定义一种模式，使得类中的某些数据成员、某些成员函数的参数、某些成员函数的返回值能取任意类型。类模板是对一批仅仅成员数据类型不同的类的抽象，程序员只要为这一批类所组成的整个类家族创建一个类模板，给出一套程序代码，就可以用来生成多种具体的类，(这类可以看作是类模板的实例)，从而大大提高编程的效率。

　定义类模板的一般形式是：
　template <类型名 参数名1，类型名参数名2，…>
　class 类名
　{
　　类声明体
　}；
　例如，template <class T>
　class Smemory
　{…
　　public:
　　void mput(T x);
　　…
　}
　表示定义一个名为Smemory的类模板，其中带类型参数T。

在类模板的外部定义类成员函数的一般形式是：
　template <类型名 参数名1，类型名参数名2，…>
　函数返回值类型 类名<参数名 1 参数名 2，…>：：成员函数名(形参表)
　{
　　函数体
　}
　例如：template <class T>
　　void Smemory<T>::mput(T x)
　　{…}
　　表示定义一个类模板Smemory的成员函数，函数名为mput，形参x的类型是T，函数无返回值。
　　类模板是一个类家族的抽象，它只是对类的描述，编译程序不为类模板(包括成员函数定义)创建程序代码，但是通过对类模板的实例化可以生成一个具体的类以及该具体类的对象。

与函数模板不同的是：函数模板的实例化是由编译程序在处理函数调用时自动完成的，而类模板的实例化必须由程序员在程序中显式地指定，
其实例化的一般形式是：
　　类名 <数据类型 1(或数据)，数据类型 2(或数据)…> 对象名
　例如，Smemory<int> mol；
　　表示将类模板Smemory的类型参数T全部替换成int 型，从而创建一个具体的类，并生成该具体类的一个对象mol。

下面举例说明类模板的定义和使用方法。 　　例9.3.1：类模板的定义和使用。 　#include <iostream.h> 　#include <conio.h> 　const int SIZE=8; 　template <class T> 　class Smemory { //定义类模板Smemory 　　　　T data[SIZE]; //类型为T，长度为SIZE的数组data[]为数据成员 　　　　int count; 　　　　public: 　　　　Smemory( ){ count=0; } 　　　　void mput(T x); //mput()函数的参数x的类型是T 　　　　T mget( ); //声明返回值类型为T的成员函数mget() 　　　}; 　template <class T> 　void Smemory<T>::mput(T x) //定义成员函数mput()，函数的参数类型为T,该函数用于为数据成员　data数组的各个元素赋值 　{ 　　　　if(count==8) { cout<<"Memory is full"; return; } 　　　　data[count]=x; 　　　　count++; 　} 　template <class T> 　T Smemory<T>::mget( )　　//定义成员函数mget()，函数的返回类型为T，该函数用于取出数据成员　data数组的各个元素 　{ 　　　　if(count==0) { cout<<"Memory is empty"; return 0; } 　　　　count--; 　　　　return data[count]; 　｝ void main( ) 　{ 　　Smemory<int> mo1; int i; char ch='A';//将Smemory实例化，并创建对象mo1 　　　Smemory<char> mo2; //将Smemory实例化，并创建对象mo2 　　　for(i=0; i<8;i++) 　　　{ 　　　　mo1.mput(i);　　　　　　　　　　//调用成员函数mput() 　　　　mo2.mput(ch); ch++; //调用成员函数mput() 　　　} 　　　cout<<"Get mo1 => "; 　　　for(i=0;i<8;i++) 　　　cout<<mo1.mget( );　　　　　　　　//调用成员函数mget() 　　　cout<<"\nGet mo2 => "; 　　　for(i=0;i<8;i++) 　　　cout<<mo2.mget( ); //调用成员函数mget() 　　　getch(); 　} 　　程序的运行结果是： 　Get mo1=> 76543210 　Get mo2=> HGFEDCBA

说明：类模板Smemory带一个类型参数T，T是代表数据类型的参数，在类型参数前面必须加关键字class，用class表示类型参数的类型。在实例化时，对应类型参数T必须是具体的数据类型名，这里建立第一个对象时数据类型名是int，表示将类模板Smemory中的所有类型参数T都替换成int型, 从而创建一个具体的类及其对象mo1；在建立第二个对象时数据类型名是char，表示将模板Smemory中的所有类型参数T都替换成char，从而创建一个具体的类及其对象mo2。