模板类型函数和模板类,非类型模板类（2012-02-17 16:51）

本文结合代码综合介绍一下模板类型函数，模板参数类和非类型模板参数。其中一些内容源于网络和书籍，因为来源太散就没有全部


标注出处。
1. 模板的概念。
我们已经学过重载(Overloading)，对重载函数而言,C++的检查机制能通过函数参数的不同及所属类的不同。正确的调用重载函数。


例如，为求两个数的最大值，我们定义MAX()函数需要对不同的数据类型分别定义不同重载(Overload)版本。

//函数1.int max(int x,int y);{return(x>y)?x:y ;}//函数2.float max( float x,float y){return (x>y)? x:y ;}//函数3.double max(double x,double y){return (c>y)? x:y ;}

但如果在主函数中，我们分别定义了 char a,b; 那么在执行max(a,b);时 程序就会出错，因为我们没有定义char类型的重载版本。
现在，我们再重新审视上述的max()函数，它们都具有同样的功能，即求两个数的最大值，能否只写一套代码解决这个问题呢？这样


就会避免因重载函数定义不 全面而带来的调用错误。为解决上述问题C++引入模板机制，模板定义：模板就是实现代码重用机制的一


种工具，它可以实现类型参数化，即把类型定义为参数， 从而实现了真正的代码可重用性。模版可以分为两类，一个是函数模版，


另外一个是类模版。
 
2.   函数模板的写法
函数模板的一般形式如下：

Template <class或者也可以用typename T>返回类型 函数名（形参表）{//函数定义体 }

说明： template是一个声明模板的关键字，表示声明一个模板关键字class不能省略，如果类型形参多余一个 ，每个形参前都要加


class <类型 形参表>可以包含基本数据类型可以包含类类型.
请看以下程序:

//模版类型函数声明和定义都在一个文件中template<class T>T GetMax(T a,T b){return a>b?a:b;}

上面这段代码，既可以同时放在头文件中，又可以同时放在源文件中，但是必须声明和定义要在一起。关于其原因，可以参见
模板函数的声明和定义都放在一个文件中


3. 类模板的写法
定义一个类模板：

Template < class或者也可以用typename T >class 类名{//类定义．．．．．．};

说明：其中，template是声明各模板的关键字，表示声明一个模板，模板参数可以是一个，也可以是多个。
例如：定义一个类模板：

//头文件,模板类声明template<class T1,class T2>class CTemplate{T1 m_x;T2 m_y;public:CTemplate(T1 a,T2 b)/*:m_x(a),m_y(b)*/;void ShowData();};

//源文件,模板类的定义

template<class T1,class T2>CTemplate<T1,T2>::CTemplate(T1 a,T2 b):m_x(a),m_y(b)//初始化列表只能在构造函数的定义中添加template<class T1,class T2>void CTemplate<T1,T2>::ShowData(){printf("m_x:%d,m_y:%d\n",m_x,m_y);}

//测试文件

CTemplate<int,char> *imp = new CTemplate<int,char>(1,2);imp->ShowData();

输出显示如下：

 


 
4.非类型模版参数


非类型形参，指的是模板中的模板形参不是使用class关键字定义的，而是使用C++内置类型定义的形参，比如template<class T, 


int a> class B{}，其中的形参a就是非类型形参，他是使用的内置类型int声明的。
一般来说，非类型模板参数可以是常整数（包括枚举）或者指向外部链接对象的指针。
那么就是说，浮点数是不行的，指向内部链接对象的指针是不行的。

//非类型模版参数template<class T1, int COUNT>class CStroage{public:const int vec_sz;CStroage(int a):vec_sz(COUNT){}T1 vec[COUNT];void Show(){printf("sizeof(vec[COUNT]):%d\n",sizeof(vec));}};

//测试程序CStroage<int,20> pImp(5);pImp.Show();

显示结果：

对于非类型模板的介绍，可以详细参见这篇blog

 
注意：非类型模板形参一般不能用于模板函数中，当然你也可以使用没有强制规定