类模板

  对于功能相同而数据类型不同的一些类，我们不必重复定义，可以定义一个可对任何类型变量进行操作的类模板(template)。

例：定义一个比较大小的类

template<class datatype>     //声明一个类模板，template是关键字，虚拟类型是datatype
class Compare
{
public:
	Compare(datatype x=0, datatype y=0) :_x(x)     //构造函数，初始化列表初始化
		, _y(y)
	{
	}
	datatype max()             //求较大的数
	{
		if (_a > _b)
			return _a;
		else
			return _b;
	}
	datatype min();         //求较小的数

private:
	datatype _x;
	datatype _y;
};


template<class datatype>            //如果类成员函数在类外定义，则需要再次声明类模板
datatype Compare<datatype>::min()   //这时的类时带参数的类
{
	if (_a > _b)
		return _b;
	else
		return _a;
}

int main()
{
	Compare<int> c1(8, 16);          //类模板实例化，指定虚拟类型为int
	system("pause");
	return 0;
}

1、template <class 类型参数名>

  template的意思是模板，是声明类模板时必须写的关键字。在template后面的尖括弧内的内容是模板的参数列表。关键字class后面的是类型参数，它只是一个虚拟类型参数名，在以后将被一个实际的类型名取代。这里的class可以用typename替代，typename是新加入到C++标准的，因为class容易与C++中类名混淆，而typename的意思很明确，就是类型名。

2、在建立对象时，如果将实际类型指定为int，则编译器会将所有的datatype换成int。如果指定为float，则用float取代所有的datatype.

3、由于类模板包含类型参数，因此又称参数化的类。如果说类是对象的抽象，对象是类的实例。则类模板就是类的抽象，类是类模板的实例。利用类模板可以建立各种数据类型的类。

4、建立类模板之后要怎么使用它？

  类模板名<实际类型名> 对象名（实参列表）；

  在上面的程序中，要定义一个对象，则必须要指定虚拟类型参数的类型，比如要建立一个int类型的对象，则Compare<int> c(1,2);  要建立float类型的对象，则Compare<float> c2(1.2,2.0);

5、在类外定义成员函数应当写出如下形式：

   template<class 虚拟类型参数>              //表示类模板

   函数类型 类模板名<虚拟类型参数>::成员函数名(参数列表)  //Compare<datatype>表示带参的类

     { ... }

6、类模板的类型参数可以有一个或多，但是每个类型前面都必须加class。

  如：template<class T1,class T2>

    class someclass

{....};

在定义对象时分别带入实际的类型名，如

someclass<int,double>  对象名;

7、类模板也有作用域，它的作用域使从声明开始，到本文件结束，只在当前文件内有效。